As a baby I had pyloric stenosis. A valve in your intestine is too tight and food can’t get through. Before Conrad Ramstedt figured how to fix this via surgery in 1911, it was a death sentence. Nowadays, it’s a simple surgery with a survival rate of nearly 100%.

It’s funny how many different things the GLP-1 drugs improve. It’s like drinking a potion of +1 Constitution

The AIs finally beat my IMO score. I'm a bit sad... but it would have been more disappointing if AI had stopped making progress. Now it's exciting. What will we be able to build or discover with the tool of superhuman math AI?

The formal Turing Test still has not been passed, for a reason that I would never have suspected 15 years ago: that demonstrating your AI is good at misleading people would be bad PR

"The fix is correct - the test expectation was wrong." Lies

TIL the knife I take backpacking is illegal to carry in public in England.

Good article about the DSA-2000, hopefully soon to be the most powerful radio telescope in the world. The bitter lesson of radio astronomy is that we just need to keep scaling the number of dishes! pubs.aip.org/physicstoday/o…

today we have an effortpost about AI and automated theorem proving (and some cool projects!)

TIL that the Addams family was originally a New Yorker comic en.m.wikipedia.org/wiki/The_Addam…

Guess it's time to give Codex another shot

A challenge that Claude Code isn't quite up to, but I feel like a future generation should be able to solve: "Here's a million-line codebase, and a command. The output of this command is supposed to be deterministic. But it isn't, as you can verify. Please figure out why."

oh heisenbug where did you go? you're haunting my code you're stealing my flow open.spotify.com/track/3QInZvyn…

It would be more secure if 2FA codes were difficult for English speakers to describe or pronounce. Like: ژ ऊ ʃ Ҕ You could select these from a dropdown pretty easily, but scammers often rely on you reading them the code.

I’m not sure what will happen. According to levels.fyi, a Facebook E5 (senior engineer) already makes about $450k in California and $320k in Vancouver. An extra 100k isn’t nothing, but still. Is this going to stop H1Bs, or just shift the quota to the tech giants?