A discussion of C23 standard - queue.acm.org/detail.cfm?id=35

This article seems to be all over the internet (hacker news, twitter, reddit). I'm not into C enough to know all the details. But it seems to me that there are some good additions in the standard in the safety area - like checked arithmetic. And I am not sure why everybody hates the new unreachable keyword so much, it's quite ok in Rust with pretty much the same semantics.