Abstracting Away Correctness | Dark Hacker News