ssl vulnerability

http://heartbleed.com

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

cross posted from /g/

>>25
dependent type language forces you to write more for same amount of code. You need type inference if you want same benefits with less typing. But then who knows what inferred type will be.