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.
1 comment
[ 1.8 ms ] story [ 15.9 ms ] thread[0] https://gavinhoward.com/2024/05/what-rust-got-wrong-on-forma... (linked in a previous thread for OP)