1
The Math Is Haunted
A taste of Lean.
Dan Abramov
A blog by Dan Abramov
- Popular posts
- 23
- Total points
- 10,023
- HN comments
- 4,974
- Rank
- #83 personal
Visit overreacted.io → RSS feedOn Hacker News Dec 2018 – Sep 2026
Software Engineering 17Web & Frontend 15Math & Algorithms 3Society, Policy & Culture 2Networking & Internet 2Life, Learning & Writing 2
2
I vibed a proof of Conway's conjecture
You can just prove things, apparently.
3
The “Bug-O” Notation
What is the 🐞(n) of your API?