Presentation on "Type-Directed TDD in Rust" for Pittsburgh Code and Supply