outrageous. The 'dont implement your own crypto' wisdom has made the entire internet incredibly vulnerable. crypto community shame. :-(
@runarorama but that applies to dynamic languages in general, right? what languages have !terrible tooling/support for verification?
-
-
@inthecloud247 Idris, Coq, Agda, etc. -
@runarorama which of those has the most active community? - 1 more reply
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.