My Blog

First Proof, Third Batch webinar - Just a short note that First Proof is announcing the result of their “third batch” evaluation at a webinar at 3PM ET hosted by ICARM today. (Registration r...

South Korea, ACX Meetups Everywhere Fall 2026 - Hello! Join us if you're broadly interested in ratsphere (LW/ACX/AI safety/EA/etc) stuff and also at Korea around the date of this meetup. I don't have a...

Why I didn’t sign the Fields medallists’ letter - [This post has been cross-posted to Terence Tao’s blog.] When I was around 11 I heard for the first time about Fermat’s Last Theorem. I was immediately cap...

Polymath News and AI - A post over “Combinatorics and More” describes Nissan Hajaj’s proposal to combine AI with polymath projects. Together with Nissan Hajaj and Ido Kaminer we ...

The Golden Rational Tetrahedra in Zome - [image: The Golden Rational Tetrahedra in Zome preview image]

Blade of the Immortal Bakumatsu Arc 07 - Act 7

Comsos : Review - [image: Cosmos]Cosmos by Carl Sagan My rating: 5 of 5 stars Carl Sagan's beautiful words transform you to outside the earth, into the cosmos and lets you ...

Irrationality Of E - Prove that e is irrational. Problem ID: 377 (17 Oct 2010) / Difficulty: 4 star