This is one of those areas that won't get seriously tackled until AGI is an actual thing.
Rewriting compilers and optimizing it's own codebase/language will likely be one of the first major signposts that tell us we've reached the level of AGI. As you correctly point out, it's an obvious place for an AGI to start improving itself.
We humans can then rebloat it later - just stick a JVM on it and make it gay.
>We humans can then rebloat it later - just stick a JVM on it and make it gay.
Needs more Rust