My Blog

Updates from METR report: short timelines vs IE - It's important to distinguish between two different takeaways you could have from the recent METR report: 1. Shorter timelines: AI will soon fully automa...

Lean Grimoire - Back in July, I started experimenting with using modern coding agents to build a number of mathematical visualization applets. With the extremely hectic ev...

How worried should we be about extinction risk from AI? - A little over two months ago, Jacob Tsimerman surprised a lot of people by announcing, immediately after he had received a Fields Medal, that he would be g...

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