Hacker News new | past | comments | ask | show | jobs | submit | from login

Make formal verification and provably correct software practical and mainstream (github.com/magmide) 204 points by peanutcrisis on May 28, 2022 | past | 191 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: