DARPA Backs Effort to Convert C to Rust

From 2024 (TRACTOR):

DARPA project for automated translation from C to Rust (136 points, 193 comments) https://news.ycombinator.com/item?id=45443368

Translating All C to Rust (TRACTOR) (363 points, 393 comments) https://news.ycombinator.com/item?id=41110269