Tag
invariants
- Apr 2, 2026 Tacit Design Knowledge and the Cost of Unwritten Decisions Code records what the system does and discards why, so the constraints behind each structure survive only in memory. What decays, what it costs, and which artifacts carry rationale. software architecture
- Jul 28, 2025 Inductive Invariants Over Reachable States Why an invariant that holds initially and is preserved by every step still needs an induction hypothesis, and how the strengthening problem makes proofs fail. software engineering
- Dec 4, 2024 Drawing Service Boundaries Around Consistency Requirements How invariants determine where a service boundary can fall, what a shared database does to that boundary, and which cross-service operations need a different mechanism entirely. software architecture
- Jun 8, 2024 Unsafe Abstraction Boundaries and What Soundness Actually Costs The contract an unsafe block transfers from compiler to programmer, the invariants a safe wrapper must maintain, and how those invariants fail in practice. programming languages
- Feb 6, 2024 Invariants and Illegal States: Making Invalid Combinations Unrepresentable How sum types, smart constructors, and parse-at-the-boundary design remove whole classes of runtime checks, and where the technique stops paying for itself. software architecture
- May 31, 2023 Preconditions and Postconditions as the Function Contract How a function contract divides obligations between caller and implementer, what a runtime check costs, and where frame conditions and aliasing break the guarantee. software engineering
- Nov 30, 2022 Failure Atomicity and Cleanup on the Error Path How partial construction is made safe: commit-or-rollback discipline, errdefer-style compensation, and the invariants a constructor must restore before returning an error. systems programming