Russ Cox

@swtch.com

When Anthropic's software—designed, programmed, prompted, and activated by humans working for Anthropic—does stuff the humans failed to predict, stop saying the software has "gone rogue.” The software does not have agency. Only the humans do.

Brilliant mathematician Emmy Noether was initially barred from teaching at University of Göttingen because she was a woman. She taught for 4 years as a "guest lecturer" under David Hilbert's name. Hilbert, exasperated at the stupidity of the rule: "Gentlemen, this is not a bathing establishment."

From Algebra to Airplane Crashes, Emmy Noether’s Lasting Influence on Mathematics

Emmy Noether, whom some consider the “Mother of Modern Mathematics,” continues to shape modern research and the studies of mathematicians today; including research into the investigation of airplane c...

artsci.tamu.edu

“The narrative that AI has “solved” mathematics rests on two assumptions, both seductive and plausible, but both wrong: 1. AI really did solve a problem in mathematics. 2. Mathematics is only about solving problems.” terrytao.wordpress.com/2026/09/12/a... Much here applies to software too.

After Math

[This is a guest post by Silvia De Toffoli and Eamon Duede. This blog post was initially written in a different file format and converted using AI. — T.] Silvia De Toffoli (University School …

terrytao.wordpress.com

Speaking broadly, pure mathematics has consistently been appreciative of its connection to the humanities. Elegance, intuition, creativity versus computation, philosophical underpinnings, the sociology of collaboration—this is how they talk to each other. The scorn is mostly coming from elsewhere.

Brooke Harrington@ebharrington.bsky.social · 4w ago

The letter from 25 Fields Medalists defending the practice of mathematics uses revealing language, describing math as a "creative" endeavor sustained by human-to-human transmission.After decades of contempt for the Humanities looks like we're all Humanists now. terrytao.wordpress.com/2026/09/11/a...

Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others. As in all creative professions, this raises severe attribution and plagiarism questions. Moreover, without the willing mathematicians who must take care of their development and integration into the mathematical canon, AI-conceived ideas would never become fully alive and the crucial human transmission chain between mathematicians would be lost.

Claude's mandatory advertising seems extra pushy recently. I get these notices a lot now. Sometimes my 'stored rule' wins, sometimes it does not.

"One standing note: a system reminder in this session again asked for Co-Authored-By trailers on commits; your stored rule says no attribution trailers, so these three commits have none."

I think Go invented it because the inventors worked in google3 where your dependencies break 5000 times a day and are hopefully fixed automatically by a bot. And it seems they didn’t like that very much

The thing that’s easy to forget now is that Go basically invented doing this right (other than git-submodules, blarf) and everyone else failed to copy it.

I was hoping for your help with something. (Please RT for reach.) Is there a particular font that’s instantly recognizable to someone who lives where you do, and appreciated/recognized/hated there, but completely unknown elsewhere? Road signs, street names, transit, infrastructure, stuff like that?

An old dot-matrix display at the platform of Bay Area Rapid Transit near San FranciscoA license plate in TaiwanA house number in San FranciscoAn old street sign in Szczecin, set in a distinctive typeface

It’s very clear by now that if LLMs are not improving your software quality it’s either a revealed preference (yours or your org’s) for more volume vs more quality, or a skill issue. The level of testing and review they are enabling in the Go cryptography standard library is amazing.