Kiran's home page~ personal blog
Lean proved this program correct; then I found a bug
AI agents are getting very good at finding vulnerabilities in large-scale software systems.
- Points
- 395
- HN comments
- 178
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringMath & Algorithms2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 14, 2026 | Lean proved this program correct; then I found a bug by bumbledraven | 395 | 178 |
