Super Mario Bros. is easy with lexicographic orderings and time travel | Hacker News Reader