invariants 45
- Nothing Starts Clean
- Success Means Verified
- From Prediction to Action: What an AI Agent Must Verify
- The Scheduler: Fairness on a Finite Machine
- The Buffer Pool: Why Databases Don't Trust the OS
- The Process: How the Kernel Fakes an Entire Machine
- Pages: The Fixed-Size Bet Every Database Makes
- What Is a Database, Really? The Invariants Behind Every Query
- Macro Hygiene and Design: Writing Macros that Compose
- Procedural Macros: Compile-Time Code from Code
- Advanced Declarative Macros: Repetition, Recursion, and the Limits of Pattern Matching
- Declarative Macros: Code that Writes Code Under Contract
- Modules and Crates: The Visibility Invariant
- Crossing the Boundary: System Calls, Privilege, and the Trust Invariant
- The Contract Before the Code: What Is an Operating System, Really?
- Closures and Iterators: Zero-Cost Functional Invariants
- Collections: Owned Data with Built-in Guarantees
- Lifetimes: The Reference Validity Invariant
- Generics: Write Once, Check Every Type
- Traits: Behavioral Contracts the Compiler Enforces
- Error Handling: No Silent Failures
- Enums and Pattern Matching: The Exhaustiveness Invariant
- Invariants in the Wild: Implementing TOON's Rust Parser
- CosmWasm 101: Messages and State
- CosmWasm 101: The Entry Points
- Building a CLI App in Rust, Part 5: Error Handling as Invariant Enforcement
- Building a CLI App in Rust, Part 4: Decryption and the Round-Trip Invariant
- Building a CLI App in Rust, Part 3: Encryption and the Invariant of Confidentiality
- Building a CLI App in Rust, Part 2: Key Generation and the Invariant of Sufficient Randomness
- Building a CLI App in Rust, Part 1: Setup and the Invariants of a Well-Defined Interface
- Structs: Building Custom Types with Custom Invariants
- Borrowing and References: The Aliasing Invariant
- Ownership Simplified: Rust's Central Invariant
- Rust Functions: Invariants at Every Boundary
- Rust Fundamentals: Control Flow and the Branch Consistency Invariant
- Rust Fundamentals: Variables, Mutability, and the Type Invariant
- Cargo Commands: The Interface to Rust's Build Invariants
- Cargo: Rust's Package Manager and the Invariants of Reproducible Builds
- Intro to Rust: A Language Built on Invariants
- Modes of Operation: Same Cipher, Different Invariants
- AES Internals: Four Operations, Four Invariants
- Block Ciphers: Trading Perfect Secrecy for Practical Invariants
- The One-Time Pad: Perfect Secrecy and Its Unforgiving Invariants
- Cryptography: Invariants Over Untrusted Channels
- Why Invariants Matter