Tootfinder

#ReleaseFriday — New version 3.1.0 of the recently talked about https://thi.ng/args package, a declarative & functional CLI argument parser & app framework. I updated the arg specifications to be fully self-desc…

A potential actually-useful use-case for chatbots: Back in The Good Old Days when programmers did not fear being swamped by bug reports, especially the not-so-great reports, software would carry a global-scoped 'gripe' button, when clicked, a redacted snapshot of the machine state was bundled with whatever they wished to put into the text box, and no reply was expected beyond 'received'. Given the ease of recognizing pure noise in the input, an LLM might coallate a bunch and produce a useful report? False positives happen in support all the time 😅
That kinda puts the #LLM in the 'triangle' position on a #StaffordBeer #VSM diagram, what which measures expected vs actual like a steam-engine governor, reducing Variety to useful patterns and all. 🤔

Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education
Shalini Chakraborty, Lola Burgue\~no, Nathalie Moreno, Javier Troya, Paula Mu\~noz
https://arxiv.org/abs/2509.13896

Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education
Generative Artificial Intelligence (GenAI) is rapidly gaining momentum in software modeling education, embraced by both students and educators. As GenAI assists with interpreting requirements, formalizing models, and translating students' mental models into structured notations, it increasingly shapes core learning outcomes such as domain comprehension, diagrammatic thinking, and modeling fluency without clear ethical oversight or pedagogical guidelines. Yet, the ethical implications of this in…

Do We Need Subsidiarity in Software?
Louisa Conwill, Megan Levis Scheirer, Walter Scheirer
https://arxiv.org/abs/2509.13466 https://arxiv.org/pdf/2509.1346…

Do We Need Subsidiarity in Software?
Subsidiarity is a principle of social organization that promotes human dignity and resists over-centralization by balancing personal autonomy with intervention from higher authorities only when necessary. Thus it is a relevant, but not previously explored, critical lens for discerning the tradeoffs between complete user control of software and surrendering control to "big tech" for convenience, as is common in surveillance capitalism. Our study explores data privacy through the lens of subsidia…

High Proper Motion Discoveries from the UKIRT Hemisphere Survey
Wings Zhang, Adam C. Schneider, Thomas P. Bickle, Adam J. Burgasser, Emma Softich, Federico Marocco, Daniella Bardalez Gagliuffi, Jacqueline K. Faherty, Aaron M. Meisner, J. Davy Kirkpatrick, Marc J. Kuchner, Martin Kabatnik, Frank Kiwy, Arttu Sainio, J\"org Sch\"umann, Karl Selg-Mann, Nikolaj Stevnbak Andersen, Bruce Baller, Paul Beaulieu, John Bell, Dan Caselden, Guillaume Colin, Alexandru Dereveanco, Christoph…

High Proper Motion Discoveries from the UKIRT Hemisphere Survey
We used the third data release of the UKIRT Hemisphere Survey to locate previously unrecognized high proper motion objects. We identify a total of 127 new discoveries with total proper motions $\gtrsim$300 mas yr$^{-1}$. A significant fraction of these sources with counterparts in the Gaia DR3 catalog are found to be distant ($>$100 pc) low-mass stars, where their large tangential velocities and placement on color-magnitude diagrams suggest that they are likely low-metallicity M-type subdwarfs.…

Stranding $\mathfrak{sl}_n$ webs
Heather M. Russell, Julianna Tymoczko
https://arxiv.org/abs/2510.12035 https://arxiv.org/pdf/2510.12035

Stranding $\mathfrak{sl}_n$ webs
Webs are a kind of planar, directed, edge-labeled graph that encode invariant vectors for quantum representations of $\mathfrak{sl}_n$. The theory of webs developed organically for $\mathfrak{sl}_2$, where they are also known as noncrossing matchings and the Temperley-Lieb algebra, before being formalized by Kuperberg for $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$ as the morphisms in a diagrammatic categorification of quantum representations called the spider category. Various models extend webs t…

🇺🇦 #NowPlaying on #BBC6Music's #ChrisHawkins
The Family Battenberg:
🎵 Spiders
#TheFamilyBattenberg
https://open.spotify.com/track/6Tfuk7VdaswohermTcCtW8