Correctness, 44 years later | Hacker News Reader