Anatomy of a Lean Proof : I've felt a little disappointed I never stuck with math after an undergraduate degree. The field is undergoing a transformation not dissimilar to the one that software engineers are currently experiencing. Trying to learn Lean from scratch feels like an amazing entrypoint back in :)
What is Codemode : another great Armin explainer. This one cinched it for me - codemode as a native harness tool and not an mcp tool also makes a lot of sense.
The Carbon Wave : Stokes is a great narrative writer for the field she's in. There aren't many communicators like her out there and I'm glad this is out!