On Hacker News: Teeny Tiny Mansion: text adventure game formally proven to have no dead ends: https://news.ycombinator.com/item?id=14132735 …
-
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/
-
-
Nice!
I originally had business models/processes in mind. Enjoyed reading this: https://link.springer.com/chapter/10.1007%2F3-540-45140-4_11?LI=true … -
Here's another one that I think is interesting: http://ieeexplore.ieee.org/abstract/document/6083857/ …
End of conversation
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.