The world is not a theorem | Hacker News Reader