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