programming 2 Your Code Should Tell a Story Oct 1, 2026 What Rust taught me about Invariants Jan 5, 2026