@stevedekorte @ReinH @jc00ke I too obsess about productivity and security. Shit’s hard
-
-
@bascule@stevedekorte@jc00ke I also obsess about program correctness and the ability to reason about and derive programs with confidence. -
-
-
@stevedekorte@bascule@jc00ke I write code in a language where the type system is also a formal theorem prover. Have you tried that?
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.