Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
bluGill
3 months ago
|
parent
|
context
|
favorite
| on:
Memory Safety for Skeptics
If I'm going to rewrite I'm going to look at if formal proofs offer me anything, something ada can give. Ada is tiny I'll grant, but it has always been there.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
