Mario is hard, and that's mathematically official | Hacker News Reader