The Probability of a Correct Program | Hacker News Reader