“Brett Taylor highlights Rust as an interesting language for AI-generated code because its compile-time memory safety allows for automated verification of properties like the absence of memory leaks.”