List of interesting blogs

Table of Contents April 2026: The fall of the theorem economy - David Bessis These are some links to interesting posts around the web, with some quick quotes/notes. April 2026: The fall of the theorem economy - David Bessis Link 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: