A Stronger Foundation for Computer Science and P=NP (PDF, 2017) | Hacker News Reader