Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
nwmcsween
on Feb 29, 2016
|
parent
|
context
|
favorite
| on:
OpenSSL CVE-2016-0799: heap corruption via BIO_pri...
Almost all of these are solvable without the added abstraction, code size increase that most languages bring, see dependent types.
pjmlp
on Feb 29, 2016
[–]
Dependent types are great, but I fear not for the average programmer on the street, at least not on the current languages that make use of it.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
