When computer scientists solved a centuries old philosophy problem | Hacker News Reader