Paul Graham's Beliefs Converted into Propositional Logic | Hacker News Reader