[1]: http://www.mojang.com/notch/mario/
edit: I'm not sure about this, but I got the idea that it randomly generates the map/levels.
Reply on news.ycombinator.com