@bascule sounds like you should be using a dependently typed programming language (curry-howard, total language, correct by construction).
-
-
-
@brixen heh, I asked Leslie Lamport about modeling the correctness of cryptosystems using TLA+ ;)
End of conversation
New conversation -
-
-
@bascule i misread that as “meth,” which would explain OpenSSLThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule “the implementation is trivial and should be obvious to the reader”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.