How did software get so reliable without proof? by from Hacker News on 2020-03-03 20:49 (#506VN) Comments