Filtered highlights from issue 667:
- The Rust standard-library verification contest reportedly scaled past manual proof engineering, a notable formal-verification milestone: verification contest.
- Wasmi 2.0 targets faster WebAssembly interpretation, while Rustdoc became 33% faster in a focused optimization effort.
- Cargo is advancing cargo-lints and min-publish-age toward stabilization.
- A safety-certified bare-metal product written in Rust is profiled, and Cloudflare describes saving 100 TB of memory in its DNS cache.
- Other interesting systems work includes an agentic VM in Rust and an investigation into memory leaks in a Rust NVR.
I skipped the routine merged-PR list, event calendar, and contributor-task sections.