Brushing up my Rust in preparation for the v1.0 release. The compiler errors are generally excellent.
Related Posts
Applying different profile guided optimisation techniques to the rust compiler: https://kobzol.github.io/rust/rustc/2022/10/27/speeding-rustc-without-changing-its-code.html
Would you rather run a formally verified application on top of a conventional kernel/compiler toolchain, or a conventional application on verified kernel/compiler toolchain? Why?
Some fun examples of things you can do with type inference in Rust, from a GCC-rust contributor.