Proof, computation and truth | Dark Hacker News