Type System Courses
NDC Conferences via YouTube Modern Programming Language Abstractions for Cloud-Native Application Development
Linux Foundation via YouTube Rust: Removing the Sharp Edges from Systems Programming
Linux Foundation via YouTube Eradicating Vulnerability Classes: Embracing Secure Defaults and Invariants
OWASP Foundation via YouTube The Builder Pattern and Typestate Programming in Rust
Rust via YouTube RPITIT Deep Dive - Exploring Rust Compiler Errors
Rust via YouTube MIR Formality Walkthrough - Coherence Overlap Check
Rust via YouTube Error Handling in Rust - A Pragmatic Approach
Rust via YouTube Rust for Safer Protocol Development
Rust via YouTube Design Meeting: Workflow Checks and Type Aliases in Rust - 2020-07-29
Rust via YouTube