The reason you're wrong is that I wasn't talking about C :) Yes, for any current programming language, humans do have some advantage by being able to utilize b

The reason you're wrong is that I wasn't talking about C :) Yes, for any current programming language, humans do have some advantage by being able to utilize both low- and high-level semantic information that simply cannot be communicated to the compiler. The trump card, I believe, is coming up with new languages where this is not the case.