Tootfinder

To add a single example here (feel free to chime in with your own):
Problem: editing code is sometimes tedious because external APIs require boilerplate.
Solutions:
- Use LLM-generated code. Downsides: energy use, code theft, potential for legal liability, makes mistakes, etc. Upsides: popular among some peers, seems easy to use.
- Pick a better library (not always possible).
- Build internal functions to centralize boilerplate code, then use those (benefits: you get a better understanding of the external API, and a more-unit-testable internal code surface; probably less amortized effort).
- Develop a non-LLM system that actually reasons about code at something like the formal semantics level and suggests boilerplate fill-ins based on rules, while foregrounding which rules it's applying so you can see the logic behind the suggestions (needs research).
Obviously LLM use in coding goes beyond this single issue, but there are similar analyses for each potential use of LLMs in coding. I'm all cases there are:
1. Existing practical solutions that require more effort (or in many cases just seem to but are less-effort when amortized).
2. Near-term researchable solutions that directly address the problem and which would be much more desirable in the long term.
Thus in addition to disastrous LLM effects on the climate, on data laborers, and on the digital commons, they tend to suck us into cheap-seeming but ultimately costly design practices while also crowding out better long-term solutions. Next time someone suggests how useful LLMs are for some task, try asking yourself (or them) what an ideal solution for that task would look like, and whether LLM use moves us closer to or father from a world in which that solution exists.

STO stream is LIVE from Linux! Get ready for some space adventures on Twitch! #STO #LinuxGaming

High-gain model-following control for trajectory tracking
Nicals Tietze, Kai Wulff, Johann Reger
https://arxiv.org/abs/2506.13463 https://

High-gain model-following control for trajectory tracking
We consider trajectory tracking for minimum-phase nonlinear systems in Byrnes-Isidori form using the model-following control (MFC) architecture. The tracking problem is motivated by a hierarchical control concept where a higher-level instance provides the reference trajectory at run-time. We present a computational efficient implementation of the feedback linearisation MFC design, and apply high-gain feedback in the process control loop (PCL) to achieve practical tracking in presence of Lipschi…

Nonlinear Joint Spectral Radius
Piero Deidda, Nicola Guglielmi, Francesco Tudisco
https://arxiv.org/abs/2507.11314 https://arxiv.org/…

Nonlinear Joint Spectral Radius
We introduce a nonlinear extension of the joint spectral radius (JSR) for switched discrete-time dynamical systems governed by sub-homogeneous and order-preserving maps acting on cones. We show that this nonlinear JSR characterizes both the asymptotic stability of the system and the divergence or convergence rate of trajectories originating from different points within the cone. Our analysis establishes upper and lower bounds on the nonlinear JSR of a sub-homogeneous family via the JSRs of two …

Creating a beautiful Wood Style Plant Pot with the perfect soundtrack: 80s synthwave! ✨ Join the 3D printing stream on Twitch and unwind with us. #3DPrint

Die ePetition 180634 an den Bundestag aus dem Bereich Lebens- und Genussmittel mit dem Titel
Verhinderung der Lebensmittelverschwendung in Produktionsstätten
kann bis zum Donnerstag 24. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Mit der Petition wird gefordert, die Lebensmittelverschwendung in Produktionsst…

MK2 at PBIG Competition: A Prompt Generation Solution
Yuzheng Xu, Tosho Hirasawa, Seiya Kawano, Shota Kato, Tadashi Kozuno
https://arxiv.org/abs/2507.08335

MK2 at PBIG Competition: A Prompt Generation Solution
The Patent-Based Idea Generation task asks systems to turn real patents into product ideas viable within three years. We propose MK2, a prompt-centric pipeline: Gemini 2.5 drafts and iteratively edits a prompt, grafting useful fragments from weaker outputs; GPT-4.1 then uses this prompt to create one idea per patent, and an Elo loop judged by Qwen3-8B selects the best prompt-all without extra training data. Across three domains, two evaluator types, and six criteria, MK2 topped the automatic le…

Continued Rapid Radio Brightening of the Tidal Disruption Event AT2018hyz
Yvette Cendes, Edo Berger, Paz Beniamini, Ramandeep Gill, Tatsuya Matsumoto, Kate D. Alexander, Michael F. Bietenholz, Aprajita Hajela, Collin T. Christy, Ryan Chornock, Sebastian Gomez, Mark A. Gurwell, Garrett K. Keating, Tanmoy Laskar, Raffaella Margutti, Ramprasad Rao, Natalie Velez, Mark H. Wieringa

Continued Rapid Radio Brightening of the Tidal Disruption Event AT2018hyz
We present ongoing radio observations of the tidal disruption event (TDE) AT2018hyz, which was first detected in the radio at 972 days after disruption, following multiple non-detections from earlier searches. The new observations presented here span approximately 1370-2160 days and 0.88-240 GHz. We find that the light curves continue to rise at all frequencies during this time period, following a power law of about F ~ t^3 (compared to F_nu ~ t^5.7 at 972-1400 days), and reaching a peak lumino…

I have seen toots warning about this and wanted to comment on it.
They are impersonating the Mastodon team to require users to ‘verify their account’ and saying that until they do this their account is suspended.
Verification on mastodon is free and you can do it yourself without giving any personal information and it is TOTALLY OPTIONAL.
No server/instance is going to require verification.
I have my verification with my neocities page, on tkz.one, misskey.social and …