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