bzt wrote:
That's pretty simple actually. We are lucky that OSDev is a science where objective answers exists. I mean, the only question is, "is there a program that can do this or that?" If you can prove something with a PoC, then others shouldn't question that.
I agree that computers are deterministic and that you can prove whether or not a piece of code or program is correct. But I don't agree the activity of programming and software design in particular has these characteristics.
Design is always about tradeoffs and decisions will be influenced by your believes / values / priorities at any time. If this wasn't the case, there wouldn't be a need for design and we would just implement the "correct" solution.
Computer programming is as much an art as a science. Reasonable people will not get into arguments about how many bits fit in a structure or the runtime complexity of a piece of code. But given the same information and facts, they might come to a different conclusion and structure their code / design differently.
More food for thoughts:
Tabs vs spaces? Which is right?
K&R vs Allman? Which is right?
...