NIPS test of time award talk: Make AI rigorous again | Hacker News Reader