We've banned this account for trolling. Please don't create accounts to break HN's guidelines with.

We detached this subthread from https://news.ycombinator.com/item?id=13282028 and marked it off-topic.

You don't have to "solve the halting problem" to have better heuristics/primitives than C that give a compiler more optimization room. Even Fortran does it, and of course there's tons of room for way bigger "intention defining" features in a language than what Fortran offers.

So nothing strange about the statement, except your hyperbole.