memory-safety 3 Borrowing and References: The Aliasing Invariant May 10, 2025 Ownership Simplified: Rust's Central Invariant Apr 26, 2025 Intro to Rust: A Language Built on Invariants Mar 1, 2025