Similar could be said for Goto Fail and the GnuTLS bug. I wonder how something like Coq could handle the Debian random number bug, though. Still, 3 out of 4 ain't bad.
Do any functional or logic programming languages or libraries have a concept of entropy, and entropy generating/reducing operations?
Do any functional or logic programming languages or libraries have a concept of entropy, and entropy generating/reducing operations?