Venkatesh Rao Retweeted Martin Spindler 🛰
TIL about TLA+ https://en.m.wikipedia.org/wiki/TLA%2B https://twitter.com/mjays/status/920514738622169093 …
Venkatesh Rao added,
0 replies
1 retweet
2 likes
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.