It is amazing how long this thread is.
Next time I'll write my README in EBCDIC.
Muhahahaha! 
pic.twitter.com/tXYaEQm2ge
On Hacker News: Teeny Tiny Mansion: text adventure game formally proven to have no dead ends: https://news.ycombinator.com/item?id=14132735 …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks, this is interesting!
Will be exploring formal! Wondering what all can be formally verified, apart from just hardware/software. 
-
Yes. Big topics for formal are biological systems and molecular engineering. See for example: http://www.cs.cmu.edu/~sasb2017/
- 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.