"Lean proved this program correct; then I found a bug" from Hacker News Best, ranked #15. Domain: kirancodes.me. 391 points, 174 comments. Data from Daily Trends.
Lean proved this program correct; then I found a bug
- Rank
- 15
- Points
- 391
- Domain
- kirancodes.me
- By
- bumbledraven
- Time
- 1 day ago
- Comments
- 174
- Snapshot time
- 4/16/2026, 12:00:00 AM