Terrence Howard proves the rationality of root 2 | Hacker News Reader