alt Hacker NewsIt does make it correct in the reality sense
If someone says something happens and the code says something else, the code wins.
It does make it correct in the reality sense
If someone says something happens and the code says something else, the code wins.
That's technically correct but consider the following:
You're implementing quicksort. The actual algorithm is a conceptual piece of math. You write the code. But sometimes the code produces output that isn't sorted.
The code "wins" in that whatever the code says is what actually happens. But the code is wrong. It must be edited to match the algorithm. The _algorithm_ is the thing that is proven correct; the _algorithm_ is what we wanted to execute. The code is a representation of the algorithm.