3 ms·
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 w
by throwaway2048 8y ago
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 8y agoThat'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 8y agoCode is itself a specification.
- crimsonalucard 8y agoIt can be, but generally it is not.