A proposal for a dialect of C that is free of undefined behavior.
Now, undefined behavior is, of course, useful to compiler vendors because it enables certain optimizations. But in my mind it just makes a C a strange language without a clear idea of itself: It is not the portable assembly language that many of its users treat it as, one that you can rely on to translate into predictable hardware-level instructions; yet at the same time it is not a high-level language either, unsafety and machine specifics lurking behind every corner.
The same author later follows up rejecting the idea of achieving broad consensus before implementing such a dialect as unrealistic. Instead, they argue, someone influentual enough should just pave the way by writing their code in a Friendly C and making it the quasi-standard.