Hard Proof and Logic | Dark Hacker News