Yesterday's solutions to today's problems brought to you by PL. #heartbleed
-
-
@edwinbrady@khstandrews@azumanga@lambda_calculus You might want to speak to@avsm about this -
@tnhh@edwinbrady@khstandrews@Azumanga@lambda_calculus we're doing the same in a strict language (ocaml). Lazy dependent would be fun
End of conversation
New conversation -
-
-
@Azumanga you should really say 'provably secure'! /cc@edwinbrady@khstandrews@lambda_calculusThanks. 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.