andreasdotorg Retweeted Matthew Green
"that’s why people who do formal verification of protocols don’t have many friends." among the many puns. Also, IEEE sucks.https://twitter.com/matthew_d_green/status/919917920226070528 …
andreasdotorg added,
8:42 AM - 16 Oct 2017
0 replies
5 retweets
8 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.