BREAKING: Tesla's Roadster flips off a ramp and hovers back to the ground. "Flying cars are real."

I’m still calling bullshit on the software factory bois. I’ve not written code since March. I’m using Codex, Claude, and Grok Bot non stop through the day; at home, in the cab, at the gym. I’m building stuff people actually use. Not millions but tens of thousands. And I’m still not running 20 agents in parallel for 8 hours at a time. And every time some dude tries to prove me wrong , he shows me a piece of shit generic software factory or social media scheduler. It has no users and the sloppiest of landing pages (“coming soon”). It still takes a LOT of work to drive what to say no to and to sweat the details.

Airline seatbelts prevent ~100 injuries per year (of ~5B passengers), at the expense of imagining anything better than extra legroom.

People clowning on him don’t understand what he’s saying. All the wealth of humanity to date supports perhaps 250k living math phds. Roughly the population of St. Louis, Missouri. The training pipeline for that group has been irreparably shattered in the last month. A phd is supposed to make an original contribution to their field to graduate. That’s just…. not possible anymore. 938 years after the founding of the first university in Bologna… Do universities now reward… teaching ? comprehension of something discovered by a machine? application ? do mathematicians become quotidian (gasp of disgust) engineers? Tao is upset because he knows none of those outside the field care about its future. He is a horrified gardener watching humanity gorge on its seed corn. It is irreparable of course. The old way is dead dead. We live in the short interregnum before the new king is born: a Lean crawler that spawns a billion copies exploring every corner of math latenspace. So much math to understand that even if 8 billion humans had the ability of the 250k mathematicians alive today, it would still take a million years to comprehend. It is ironic and sad.. because Tao himself is a pioneer of collaborative math: math that is understood by a combination of minds rather than an pindividual. The tools that Tao began exploring a few years ago, solving problems through blog posts and using Lean to guarantee each mind’s contribution stood on its own when assembled into the greater truth, have been turned against him. Math’s path to utilize multiple minds didn’t restrict access to human minds, and now the machines have blitzkrieged themselves into the heart of the matter. The agents use rudimentary message boards, working 10,000 to a task, tirelessly, using Lean to verify the correctness of each contribution. It was good while it lasted… and now it’s gone.

An Australian engineer built a micro nuclear reactor that can be mass-produced in months, fits on the back of a ute, with a 5 year refuel cycle - as simple as a swap-and-go gas bottle to replace. The fastest and lowest cost reactor build in American history. Trump called Australian Bobby Gallagher "one of the greatest in the world". This is banned in Australia.