[HN Gopher] Writing a Fuzzer for NES Games
       ___________________________________________________________________
        
       Writing a Fuzzer for NES Games
        
       Author : rhema
       Score  : 40 points
       Date   : 2021-11-24 22:42 UTC (3 days ago)
        
 (HTM) web link (pseudorandom.resistant.tech)
 (TXT) w3m dump (pseudorandom.resistant.tech)
        
       | dane-pgp wrote:
       | I wonder if it will ever be possible for games like Super Mario
       | Bros. to be "solved" in the sense that there is a formal proof of
       | the shortest possible completion time (for a given category /
       | ruleset of speedrun).
       | 
       | Presumably that would first require a disassembly of the game,
       | with a proven compilation process back to the original ROM
       | (something like what CompCert does[0]) and then, after
       | enumerating all the possible glitches, building some sort of
       | state machine that defines how the character can progress through
       | each level.
       | 
       | [0] https://compcert.org/
        
       | SCUSKU wrote:
       | Wow! This is badass!! Really interesting article, TIL fuzzing :)
        
       | alexose wrote:
       | Ever since I saw someone beat Super Mario World by reprogramming
       | the game from _within the game itself_
       | (https://youtu.be/14wqBA5Q1yc), I realized that speedrunning
       | retro games is truly next-level these days.
        
       ___________________________________________________________________
       (page generated 2021-11-27 23:01 UTC)