Linus's Fallacy: “With enough eyeballs, all bugs are shallow.”
-
@dibblego@jonsterling@zooko@nuttycom Writing OpenSSL in a language, *any* language, other than C eliminates a whole class of problems.
@djspiewak @jonsterling @zooko @nuttycom I have made no mention of a language.
-
-
@dibblego@jonsterling@zooko@nuttycom The implicit question at the root of the conversation was surrounding formally verified impls.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@jonsterling@zooko@nuttycom For example, an Idris or Coq implementation. -
@djspiewak@jonsterling@zooko@nuttycom Yes, a method of software verification other than the most idiotic one ("many eyeballs"). - Show replies
New conversation -
-
-
@dibblego@jonsterling@zooko@nuttycom I would be hilariously off-base to argue that writing OpenSSL in a real lang wouldn’t improve things -
@djspiewak@jonsterling@zooko@nuttycom You would be attacking the wrong part of the idiocy. That it is written in C is not the point.
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.