Delighted to announce a collaboration between # Canonical and the University of Bristol looking at the feasibility of precise, automated C to Rust translation by combining LLMs and formal methods. Mor

Delighted to announce a collaboration between # Canonical and the University of Bristol looking at the feasibility of precise, automated C to Rust translation by combining LLMs and formal methods. More details here: https:// discourse.ubuntu.com/t/investi ng-in-automated-c-to-rust-translation/86369