Super Mario Derivations Farid Zakaria explores how Nix's lazy evaluation allows using attribute paths as a sequence of button presses to generate Super Mario Bros. 3 game frames. comments