@bascule Have you heard of https://github.com/saltstack/salt ?
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 -
-
-
@bascule Every time I see "temporal logic" in your tweets, I mentally replace it with "timey wimey stuff"Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.