Exhaustive Testing is Not a Proof of Correctness | Hacker News Reader