Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Retra
on Feb 24, 2018
|
parent
|
context
|
favorite
| on:
Why writing a linked list in safe Rust is so damne...
Inline ASM can't be verified either.
andrewflnr
on Feb 24, 2018
[–]
Inline ASM is exactly as verifiable as the underlying CPU, given an adequate model in the verifier. That's probably easier than verifying C, which introduces extra ambiguity in its semantics. But yeah, verifiable CPUs would be nice.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
