-
-
Replying to @stevedekorte
@stevedekorte@bascule@jc00ke I think we have a different understanding or at least different goals for our type systems.1 reply 0 retweets 0 likes -
Replying to @stevedekorte
@stevedekorte@ReinH@jc00ke I too obsess about productivity and security. Shit’s hard1 reply 0 retweets 0 likes -
Replying to @bascule
@bascule@stevedekorte@jc00ke I also obsess about program correctness and the ability to reason about and derive programs with confidence.3 replies 0 retweets 0 likes -
Replying to @ReinH
@ReinH@stevedekorte@jc00ke I just want a compiler that can tell me: does this program leak secrets y/n? And make “y” an error1 reply 0 retweets 0 likes -
Replying to @bascule
@bascule@stevedekorte@jc00ke Yep, that falls under the auspices of "program correctness" too as far as I'm concerned.1 reply 0 retweets 0 likes -
Replying to @ReinH
@ReinH@stevedekorte@jc00ke I think leakage of secret values and misusage of tainted values are problems dependent types could solve1 reply 0 retweets 0 likes -
Replying to @stevedekorte
@stevedekorte@bascule@jc00ke I'm not sure what "it doesn't" is referring to here due to twitter's shitty conversation threading.2 replies 0 retweets 0 likes
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.