O3 eval numbers are very impressive

new translation of Ahlfors’ “Complex Analysis” beginning “tell me about a complicated field”

All of my emails just disappeared into a whiteness as profoundly & fatally white as the great white whale that sank the Pequod. Entire account just expired as if it had never been. Ominous sign for my 2025.

TIL Newark is short for New Ark, short for “New Ark of the Covenant”

Our Lady of Arbitrage.

At this point deleting your account would be a mercy killing

Bear markets really do make Twitter better

Implement the implementation plan.

Why do people play so much bad music? There is an endless amount of good music, freely available and curated by reliable curators. Yet most of the time when I go out, the music is terrible? How can bad taste persist in this universally indexed age?!

I like that both "World War III" and "WWIII" are trending right now!

A game: Anyone who wants to comment on the IMO golds from OpenAI has to first read one of these .txt files and then explain in a more classic human-readable form what the proof actually is :-)

Our IMO gold model is not just an "experimental reasoning" model. It is way more general purpose than anyone would have expected. This general deep think model is going to be shipped so stay tuned! 🔥

Not paying up on a publically-agreed upon bet about speculative future possibilities is one of the greatest possible losses of nerd honor

One thing I was pleased to figure out in year 1 of graduate school during D. H. Phong's fantastic complex analysis class was that this was known certainly by 1900 -- something about theta functions and hyper-elliptic curves. Deserves a blog post. (below authors know this ofc.)

Let’s go to the post-AGI Kumbh Mela