How Did Software Get So Reliable Without Proof? | Hacker News Reader