Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
tsimionescu
4 months ago
|
parent
|
context
|
favorite
| on:
Three ways formally verified code can go wrong in ...
That only works up to some level of bit flips, like all error correcting codes. It works for our maybe even two bit flips, but not more than that.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: