Leonardo de Moura personal blog
Postmortem for Kernel Soundness Bug #14576
Leonardo de Moura — Creator of Lean and Z3
- Points
- 162
- HN comments
- 62
- Submissions
- 1
- Cited by
- 7 commenters
Software EngineeringOpen Source2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 1, 2026 | Postmortem for Kernel Soundness Bug #14576 by juhopitk | 162 | 62 |
Cited in comments
Linked from 8 Hacker News comments by 7 different people, from Aug 2026 to Oct 2026.
Most recent:
