Tootfinder

#ShamelesslyStolenFromTumblr

Fascinating how so many people in the retrocomputing community seem butthurt about those new Commodore products.
Just don’t buy them if you don’t like it—but for the love of Jack Tramiel stop with the shit-flinging.
Don’t you want more people to join the hobby? See more modern games and software for old platforms? More spare parts and mods for both old hardware and new?
What’s with this weird gatekeeping?

Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
Francesco Vitale, Tommaso Zoppi, Francesco Flammini, Nicola Mazzocca
https://arxiv.org/abs/2509.10419 https://…

Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
Ensuring the resilience of computer-based railways is increasingly crucial to account for uncertainties and changes due to the growing complexity and criticality of those systems. Although their software relies on strict verification and validation processes following well-established best-practices and certification standards, anomalies can still occur at run-time due to residual faults, system and environmental modifications that were unknown at design-time, or other emergent cyber-threat sce…

Filling MIDI Velocity using U-Net Image Colorizer
Zhanhong He, David Cooper, Defeng Huang, Roberto Togneri
https://arxiv.org/abs/2508.07751 https://arxiv.o…

Filling MIDI Velocity using U-Net Image Colorizer
Modern music producers commonly use MIDI (Musical Instrument Digital Interface) to store their musical compositions. However, MIDI files created with digital software may lack the expressive characteristics of human performances, essentially leaving the velocity parameter - a control for note loudness - undefined, which defaults to a flat value. The task of filling MIDI velocity is termed MIDI velocity prediction, which uses regression models to enhance music expressiveness by adjusting only th…

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan
https://arxiv.org/abs/2509.08727

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
Authors of cryptographic software are well aware that their code should not leak secrets through its timing behavior, and, until 2018, they believed that following industry-standard constant-time coding guidelines was sufficient. However, the revelation of the Spectre family of speculative execution attacks injected new complexities. To block speculative attacks, prior work has proposed annotating the program's source code to mark secret data, with hardware using this information to decide wh…

#Microsoft finishes swallowing #Github, the largest repository of #OpenSource software.
GitHub just got less independent at Microsoft after CEO resignation | The Verge

GitHub just got less independent at Microsoft after CEO resignation
Microsoft is bringing GitHub into its AI engineering team. It’s part of an AI shakeup, following the GitHub CEO resigning.

From the comments: up_versus_down Marine Corps sniper here: In a sniper-spotter team, the communication is highly coordinated and silent. While there is no single, universally recognized hand signal for the precise moment of a sniper shot, a series of signals are used leading up to and confirming the engagement. The specific signals can vary by military branch or operational context, but they generally involve the following.

Stress-induced Martensitic transformation in epitaxial Ni-Mn-Ga thin films and its correlation to optical and magneto-optical properties
M. Make\v{s}, J. Z\'azvorka, M. Hubert, P. Ve\v{r}t\'at, M. Rame\v{s}, J. Zemen, O. Heczko, M. Veis
https://arxiv.org/abs/2507.04907

Stress-induced Martensitic transformation in epitaxial Ni-Mn-Ga thin films and its correlation to optical and magneto-optical properties
The optical and magneto-optical properties of thin epitaxial Ni-Mn-Ga films, with thicknesses ranging from 8 to 160 nm, were investigated across the spectral range of 0.7-6.4 eV. The films were deposited by DC magnetron sputtering on MgO substrate with stress-mediating Cr buffer layer. Structural and magnetic characterization revealed an stress-induced martensitic transformation for the films thicker than 80 nm, while thinner films remained in austenite structure deformed by substrate constrain…

SHIELDA: Structured Handling of Exceptions in LLM-Driven Agentic Workflows
Jingwen Zhou, Jieshan Chen, Qinghua Lu, Dehai Zhao, Liming Zhu
https://arxiv.org/abs/2508.07935 https:…

SHIELDA: Structured Handling of Exceptions in LLM-Driven Agentic Workflows
Large Language Model (LLM) agentic systems are software systems powered by LLMs that autonomously reason, plan, and execute multi-step workflows to achieve human goals, rather than merely executing predefined steps. During execution, these workflows frequently encounter exceptions. Existing exception handling solutions often treat exceptions superficially, failing to trace execution-phase exceptions to their reasoning-phase root causes. Furthermore, their recovery logic is brittle, lacking stru…

A 66-Gb/s/5.5-W RISC-V Many-Core Cluster for 5G Software-Defined Radio Uplinks
Marco Bertuletti, Yichao Zhang, Alessandro Vanelli-Coralli, Luca Benini
https://arxiv.org/abs/2508.06176

A 66-Gb/s/5.5-W RISC-V Many-Core Cluster for 5G+ Software-Defined Radio Uplinks
Following the scale-up of new radio (NR) complexity in 5G and beyond, the physical layer's computing load on base stations is increasing under a strictly constrained latency and power budget; base stations must process > 20-Gb/s uplink wireless data rate on the fly, in < 10 W. At the same time, the programmability and reconfigurability of base station components are the key requirements; it reduces the time and cost of new networks' deployment, it lowers the acceptance threshold for industry pl…