Here’s another contender for a modern language that is low-level yet emphasizes minimization of bugs, to compete with the likes of Rust: it’s called SPARK <https://devclass.com/2022/11/08/spark-as-good-as-rust-for-safer-coding-adacore-cites-nvidia-case-study/>. It’s not a completely new language, since according to the report it is a subset of Ada. The original Ada language came about in the 1980s out of a competition organized by the US Department of Defense, to create a language specifically designed for programming embedded and safety-critical systems. The most high-profile application of it that I know of is that the life-support systems on the International Space Station are written in Ada, and run on ancient (but well-tested) Intel 386 processors. So I would say that’s a good pedigree to start from.