Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,851 posts.

Math & Algorithms
Any year
1962

Learning Lean: Part 1

Motivation I’ve been captivated by the recent movement to popularize mathematics formalization through the Lean theorem prover, and this year I’m diving deeper into learning it. For those unfamiliar with this revolution, I highly recommend watching Kevin Buzzard’s talks on YouTube for an overview of why formal…