Hacker News new | ask | show | jobs
by shusson 600 days ago
Agreed, I think a lot of people do not appreciate the complexity of software systems. If we could prove software, we wouldn't have bugs. https://wiki.c2.com/?ProofsCantProveTheAbsenceOfBugs