ssl vulnerability

http://heartbleed.com

Reminder to update your machines and invalidate your possibly compromised certs.

cross posted from /g/

>>23
Prevention of buffer overreads by typing requires dependent type, which people don't know how to use and syntax obtuse and the existing systems are terrible. You can't get things done when you restrict yourself to a type system. But after the program is written, you can look at each point a routine is invoked, and check that the parameters passed will never cause problem.