If I ever get to the point I can include temporal logic in my slides, I will continue to refer to it as "squiggly lines"
-
-
Replying to @bascule
@bascule Have you heard of https://github.com/saltstack/salt ?1 reply 0 retweets 0 likes -
Replying to @krainboltgreene
@krainboltgreene was just tweeting about how their transport protocol description was not written in "mathematical prose" per Leslie1 reply 0 retweets 0 likes -
Replying to @bascule1 reply 0 retweets 1 like
Replying to @krainboltgreene
.@krainboltgreene documenting a cryptographic transport protocol... NO: http://docs.saltstack.org/en/latest/topics/specs/salt_auth_proto_abs.html … YES: http://curvecp.org/packets.html
1 reply
1 retweet
1 like
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.