Comment by _proofs | Hacker News Reader