Hacker News new | ask | show | jobs
by suremarc 1434 days ago
The absence of a proof of correctness is not a proof of incorrectness, strictly speaking.