Tag
validation
- May 10, 2025 First-Committer-Wins Validation in Snapshot Isolation How snapshot isolation validates writes against concurrent committers, why a write-write check is sufficient for its own guarantees, and the serializability it leaves on the table. databases
- Aug 27, 2024 WebAssembly Imports as the Only Channel to the Host Why a validated module can reach nothing but its own linear memory and its declared imports, and how host functions, tables, and shared memories widen that surface. language runtimes
- Mar 1, 2024 DNSSEC Validation and the Chain of Trust How DNSKEY, DS, and RRSIG records form a verifiable chain from the root to a leaf answer, and what a validator does when a link is missing or a signature has expired. internet protocols
- 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