Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
charcircuit
66 days ago
|
parent
|
context
|
favorite
| on:
Three ways formally verified code can go wrong in ...
Yet, big sites like Google or TikTok constantly deal with hardware failures everyday while keeping their services and apps running.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
