Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
AnimalMuppet
88 days ago
|
parent
|
context
|
favorite
| on:
Three ways formally verified code can go wrong in ...
Only if you verify it for every search. If you haven't touched the list since the last search, the verification is still good. For some (
not
all) situations, you can verify the list at the start of the program, and never have to verify it again.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: