The Rust Foundation announces internal organizational restructuring, including new technical leadership and the consolidation of external communications teams.
A roundup of Rust's integration into systemd, the development of a high-performance TypeScript compiler in Rust, and recent progress on the compiler's core features.
This article details an ongoing effort to bridge the gap between memory-safe Rust implementation and RFC-level formal verification for the `mbrotli` and `mzstd` crates using the Lean 4 theorem prover.
This Ruffle project update details two years of progress, including the introduction of stable releases, significant AVM1/AVM2 compatibility improvements, a new JavaScript API, and major enhancements to text and rendering.
An analysis of the limitations in the `Future::poll` and `CoroutineState` designs regarding terminal states and a proposal for more robust state management.
An overview of DeltaDB, a CRDT-based version control system for agent-human collaboration using DAGs, SQLite, and copy-on-write B+ trees for performant state management.