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.