Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
doonesbury
on Aug 2, 2020
|
parent
|
context
|
favorite
| on:
Blue Team Rust: What Is “Memory Safety”, Really?
Amen to that. Integrated formal systems giving the spec working with the programming language on the implementation side is the holy grail.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
