Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
stephenlf
65 days ago
|
parent
|
context
|
favorite
| on:
Three ways formally verified code can go wrong in ...
This is incredible. This post led me to your GitHub, which is full of similarly incredible content. “Awesome Cold Showers”? Beautiful.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
