DARPA Backs Effort to Convert C to Rust | Dark Hacker News