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

Tests can only prove the presence of bugs, not their absence.


That's also true of type safety, and every other technique...


Not if you take into account the bug classes the technique intends to eliminate.




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: