I think the best point in this article is that C, a language invented to write OS code, is currently difficult to use for that purpose due to the current handli

I think the best point in this article is that C, a language invented to write OS code, is currently difficult to use for that purpose due to the current handling of undefined behavior. If you write low level OS code, you are keenly aware of the behavior of the machine you target. There is no point trying to define a language like C in such a way that the only valid programs are those that would run identically on any hypothetically allowed hardware. For instance, on x64, there are no alignment restrictions, why should I be punished for making use of that fact? And what about all this C code with SSE intrinsics? should we ban that too?