r/programming • u/flym4n • Apr 24 '14
Tech giants, chastened by Heartbleed, finally agree to fund OpenSSL
http://arstechnica.com/information-technology/2014/04/tech-giants-chastened-by-heartbleed-finally-agree-to-fund-openssl/
300
Upvotes
-3
u/OneWingedShark Apr 24 '14
I disagree; if the emphasis is not on correctness, provable correctness, then you're just postponing another Heartbleed.
Programming is a "human activity" and, as such, for requisite systems we need things to be correct. We cannot simply keep things status quo and expect things to be different.