Hacker News new | ask | show | jobs
by will1am 716 days ago
While achieving absolute certainty in code correctness is often impossible