Logicomix: comic about the foundations of logic and computer science | Hacker News Reader