AWS introduced the Nitro Isolation Engine on its new M9g and M9gd Graviton5 instances and used Isabelle/HOL to prove that it enforces strict VM isolation. They modeled the engine in a subset of Rust (μRust), wrote Separation Logic specifications, and proved functional correctness, memory safety, and noninterference to guarantee confidentiality and integrity.

Obscura is a Rust-based headless browser engine that runs real JavaScript via V8 and implements the Chrome DevTools Protocol for Puppeteer and Playwright compatibility. It ships as a single 70 MB binary with just 30 MB RAM usage, supports stealth mode with fingerprint randomization and tracker blocking, and delivers faster startup and page loads for large-scale scraping and AI agent automation.

Lakesail rewrote Apache Spark in Rust, removing the JVM layer. The new implementation runs eight times faster and cuts infrastructure costs by 94%.

This article presents jsongrep, a tool for querying JSON documents efficiently using a DFA-based approach. It explains the tool's features, how it processes queries, and benchmarks its performance against other JSON querying tools.