#infosec still seems in its infancy to me.
We have building codes for houses and cars, but not for critical software. cc @BetterCrypto
-
-
Replying to @taoeffect
Something like provably correct
#Haskell programs could be where we need to go. http://stackoverflow.com/a/4082963/1781435 …@BetterCrypto2 replies 0 retweets 0 likes -
Replying to @taoeffect
@taoeffect did you check out my Rust Crypto slides/talk?https://speakerdeck.com/tarcieri/thoughts-on-rust-cryptography …1 reply 0 retweets 1 like -
Replying to @bascule
"
@bascule:@taoeffect did you check out my Rust Crypto slides/talk? https://speakerdeck.com/tarcieri/thoughts-on-rust-cryptography …” I did, and more folks should read them!
2 replies 0 retweets 3 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.