The Prover, the Skeptic, and the Judge | Dark Hacker News