Rahul Kumar: Why verify Rust’s standard library?

AWS and the Rust Foundation are jointly sponsoring an initiative to verify the Rust standard library. Learn why from the initiative's creator, Rahul Kumar.