Filtered highlights from issue 669:

• Slint 1.18 is the main project release, with the usual embedded/UI relevance.
• The issue links Verus guidance for developing provably correct Rust, plus a deep dive on why building a Rust LSP is difficult.
• Tokio performance principles, Rust static-library symbol isolation, and checked-arithmetic pitfalls are useful systems-oriented reading.
• Rust project changes include incremental-compilation cleanup, Thread::os_id, Vec::from_fn, DropGuard, Cargo install/lockfile fixes, and Rust-analyzer panic fixes.
• Compiler performance was unusually healthy: 199 primary benchmarks improved, with no primary regressions in the reported triage.