hackernews proofs