The future of software isn't tests. It's proofs | Hacker News Reader