Meta is leveraging OCaml's garbage collector to implement garbage collection for Rust in a novel memory management approach. Additionally, a new bug detection tool called Soteria uses symbolic execution to rapidly and reliably identify issues in Rust and C codebases.