Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> I used to laugh at Dijkstra's idea that all code should be mathematically proven correct.

That would not help for this outage.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: