• Tom Leinster on categorical mathematics.
• If you want to know what ACT is and why I'm so passionate about it, I recommend this talk by David Spivak on the matter. I selected some highlights here.
• A short biography of Alexandre Grothendieck.
• A beautiful essay on the sorry state of scientific institutions and the role LLMs (don't) play in it..
• The essay of our time: The fall of the theorem economy. It's long overdue we correct the confusion that mathematics is about proving hard theorems rather than understanding mathematical (and thus human) thought.