Archives
- 12 Mar Generics: Write Once, Check Every Type
- 10 Mar Traits: Behavioral Contracts the Compiler Enforces
- 05 Mar Error Handling: No Silent Failures
- 03 Mar Enums and Pattern Matching: The Exhaustiveness Invariant
- 22 Dec Invariants in the Wild: Implementing TOON's Rust Parser
- 04 Oct CosmWasm 101: Messages and State
- 06 Sep CosmWasm 101: The Entry Points
- 26 Jul Building a CLI App in Rust, Part 5: Error Handling as Invariant Enforcement
- 12 Jul Building a CLI App in Rust, Part 4: Decryption and the Round-Trip Invariant
- 28 Jun Building a CLI App in Rust, Part 3: Encryption and the Invariant of Confidentiality
- 14 Jun Building a CLI App in Rust, Part 2: Key Generation and the Invariant of Sufficient Randomness
- 07 Jun Building a CLI App in Rust, Part 1: Setup and the Invariants of a Well-Defined Interface
- 24 May Structs: Building Custom Types with Custom Invariants
- 10 May Borrowing and References: The Aliasing Invariant
- 26 Apr Ownership Simplified: Rust's Central Invariant
- 12 Apr Rust Functions: Invariants at Every Boundary
- 05 Apr Rust Fundamentals: Control Flow and the Branch Consistency Invariant
- 22 Mar Rust Fundamentals: Variables, Mutability, and the Type Invariant
- 15 Mar Cargo Commands: The Interface to Rust's Build Invariants
- 08 Mar Cargo: Rust's Package Manager and the Invariants of Reproducible Builds
- 01 Mar Intro to Rust: A Language Built on Invariants
- 02 Feb Modes of Operation: Same Cipher, Different Invariants
- 26 Jan AES Internals: Four Operations, Four Invariants
- 19 Jan Block Ciphers: Trading Perfect Secrecy for Practical Invariants
- 12 Jan The One-Time Pad: Perfect Secrecy and Its Unforgiving Invariants
- 05 Jan Cryptography: Invariants Over Untrusted Channels
- 01 Jan Why Invariants Matter