A GitHub repository offering a reconstructed, educational source-code recreation of the Stuxnet worm for static analysis and defensive research; it reproduces original modules, propagation methods, rootkits, and the PLC-targeting payload that manipulated Siemens Step 7/S7 PLCs. The project includes build instructions, analysis guidance, and legal disclaimers emphasizing academic/non-malicious use.
A new AI-assisted proof of the Spherical Hadwiger Theorem signals that large language models are beginning to do research-level mathematics, prompting the author to argue we must rethink how to support and value pure mathematicians—perhaps as a kind of cultural 'conservatory'—as AI takes on more of the technical labor. The piece frames the milestone, its implications for incentives and verification, and a call to preserve human-centered mathematical culture.