This summer, Galois intern @binarynewts.bsky.social explored how LLMs could help translate legacy C code into safe Rust. Their project, CNnotator, generates memory safety annotations for C code.

Learn more: galois.com/articles/esc...