understood for code written for self-use only. but how to evaluate if other ppl ( w diff experience / intelligence ) can read/understand.
-
-
Replying to @inthecloud247
@inthecloud247 Laymen do not verify mathematical proofs.1 reply 0 retweets 0 likes -
Replying to @johanatan
@johanatan curious to know what % of 'expert' crypto programmers would be able/willing to write formal proofs for their code.2 replies 0 retweets 0 likes -
Replying to @inthecloud247
@johanatan are there any OSS crypto libraries that have formal (and OSS) proofs included?1 reply 0 retweets 0 likes -
Replying to @inthecloud247
@inthecloud247 Yes, the F* one I mentioned. Can't google it right now1 reply 0 retweets 0 likes -
Replying to @johanatan
@johanatan this one? http://frama-c.com/what_is.html2 replies 0 retweets 0 likes -
Replying to @inthecloud2471 reply 0 retweets 0 likes
Replying to @johanatan
@johanatan ah cool. you have the google-fu :-) neat.
6:06 PM - 11 Apr 2014
0 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.