Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
burke
on Oct 21, 2016
|
parent
|
context
|
favorite
| on:
Formal Verification Creates Hacker-Proof Code
Yep. Imagine a prover that accepts all statements. It would accept a buggy program, and it would accept itself.
It would obviously help reduce errors but it wouldn't categorically eliminate them.
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
It would obviously help reduce errors but it wouldn't categorically eliminate them.