Motivation can come from unexpected places: - my interest in theorem provers: IDA Pro's decompiler made a mistake once and wasted my time and I wanted this to never ever happen again
Show this thread
-
must've been somewhen between 2013 and 2015
I still want to write a proper engine for formally verified adventure games btw. Just no time/energy for weird projects like that.. Re thinking alike: Same, but just now. This somehow feels really nice. ^__^
-
-
TTTM looks amazing! This is along the lines of what I'm hoping to do, but I'm thinking more single-screen 2d puzzlers
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.