Hacker News new | ask | show | jobs
by mark4 4 days ago
Relevant keynote I wrote about

Formal methods won, now what? https://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote....