Profound Non-Proofs of Hard Problems | Hacker News Reader