@dibblego Implementations of our key security layers in a total language. Now that would be something. Prod, prod.
openssl :: a -> a Oh woops, we wrote a proof but it is the wrong one! Yes, this is the real practical problem. Uh huh yep right.
-
-
-
@paul_okeeffe well proof checkers only eliminate bugs that fools would write, not hardened trench programmers.
End of conversation
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.