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"
@krainboltgreene was just tweeting about how their transport protocol description was not written in "mathematical prose" per Leslie
-
-
.
@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 more reply
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.