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
-
- my interest in model checking: for a flag based visual novel engine I was developing I wanted to provide a check that there is no "stuck state" in the game, that the end is always reachable
Show this thread
OMG I didn't know that. Was that before or after I published TTTM? http://svn.clifford.at/handicraft/2017/tttm/README …
-
-
I think I found yours a bit later. I was amused to find we think alike.
-
must've been somewhen between 2013 and 2015
- Show replies
New conversation -
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.