Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
zozbot234
4 days ago
|
parent
|
context
|
favorite
| on:
From Zero to QED: An informal introduction to form...
In principle, it's no different than failing to understand the details of any calculation. If the calculating process is executed correctly, you can still trust the outcome.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: