Abstracting Away Correctness | Hacker News Reader