danielmorozoff
Solving a 31-year-old grand challenge in – the KLS conjecture
The Dead Salmons of AI Interpretability
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
Big Blob of Compute: The Essay That Started the AI Race
F.02 Decomission
Who Killed Paulina Borsook's Career?
Goosebumps: A Paradigm Shift Is Occurring in Robotics
Re:When A.I. Becomes an Enemy [video]
on Thursday September 17, 2026 @09:50PM (#49749303)
Are you implying I’m an llm? That’s a first.
When A.I. Becomes an Enemy [video]
AI models in 'surreal' dialect mixing poetic language and tech bro jargon
NASA-backed scientists turn plastic waste into edible cookies
From Academia to Alignment
OGAS- National Automated System for Computation
What the Hugging Face Incident Means for Security Leaders
An atlas of periodic solutions to the three-body problem
Re:Show HN: Copperhead – Hardware as Fast as Software
on Tuesday September 08, 2026 @04:22PM (#49616471)
any idea how it stacks up against zoo / zookeeper?
Re:On the Navier–Stokes Millennium Prize Problem
on Tuesday September 08, 2026 @03:17PM (#49615394)
Sebastien Bubeck’s (OAI project lead) response: https://x.com/sebastienbubeck/status/2097379411691516310?s=4...
Re:Show HN: Copperhead – Hardware as Fast as Software
on Tuesday September 08, 2026 @10:04AM (#49610524)
Has anyone had experience with Copperhead vs Astra and kicad? Looking for a similar tool soon
Blowup for the Euler Equations with Smooth Forcing
Commentary by T. Tao:https://mathstodon.xyz/@tao/117233527638291447