Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
throwaway2048
on April 18, 2019
|
parent
|
context
|
favorite
| on:
How the Boeing 737 Max disaster looks to a softwar...
You can argue that no code ever has bugs by that logic, after all you defined the program to do one thing, and it did it, it was merely human expectation that was in error.
crimsonalucard
on April 19, 2019
[–]
That's what I'm arguing. Code can be proven correct against a formal spec.
However, because we don't do proofs in software, there are bugs.
throwaway2048
on April 19, 2019
|
parent
[–]
Code is itself a specification.
crimsonalucard
on April 19, 2019
|
root
|
parent
[–]
It can be, but generally it is not.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
