List of interesting blogs

Table of ContentsApril 2026: The fall of the theorem economy - David Bessis

endtoc

These are some links to interesting posts around the web, with some quick quotes/notes.

April 2026: The fall of the theorem economy - David BessisLink to heading

from the moment I conceived of Theorem 0.5, I knew it was true and that proving it would be straightforward.

Too long but wow: