Tauri 2.0 lets you build small, secure desktop and mobile apps using your existing web frontend and Rust (with optional Swift/Kotlin). It targets Linux, macOS, Windows, Android, and iOS from one codebase and uses the OS’s native web renderer for minimal binary size.

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.