Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
102910201
on Dec 29, 2016
|
parent
|
context
|
favorite
| on:
Rust is Software's Salvation
Expect a blog post within four hours "Rust has solved the halting problem!"...
prodigal_erik
on Dec 30, 2016
[–]
Even when you can't prove what arbitrary code does, proving what well-written code does is useful, and not writing unprovable code would be a small price to pay.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
