I also encourage reading [0], for another perspective on languages and formal guarantees (and a slightly different perspective than Rust's). It also talks about concurrency, which has many open problems for programming languages and software in general cough async cough.
[0] https://gavinhoward.com/2024/05/what-rust-got-wrong-on-forma... (linked in a previous thread for OP)