Computer Scientists Figure Out How to Prove Lies | Hacker News Reader