Branded Types for Safer Domain Modeling
Use branded TypeScript values to protect IDs, validated strings, units, and serialization boundaries without abandoning structural typing.
Type Erasure and Reification at Runtime
Understand which type facts survive compilation and how explicit runtime evidence makes untrusted boundaries safe.
Approximation Algorithms for Problems You Cannot Solve Exactly
Build fast feasible solutions with explicit approximation ratios, lower bounds, rounding, local search, and verification against exact small cases.
AI Observability: Traces, Costs, Drift, and Feedback
Observe production AI systems with model-aware traces, outcome-based cost accounting, drift signals, privacy-safe feedback, sampling, and incident-ready lineage.
API Error Contracts That Clients Can Actually Use
Design API errors with honest HTTP semantics, stable machine codes, precise field locations, retry guidance, safe localized messages, and compatibility tests.
Two-Phase Commit and Atomic Commitment
Two-phase commit turns durable participant votes into one atomic outcome, at the cost of blocking, coordination, and careful recovery.
Time-Series Database Design
Design time-series storage around series identity, event time, append-heavy ingestion, bounded queries, late data, rollups, retention, and cardinality control.
The Accessibility Tree and Semantic HTML
Understand how semantic HTML becomes an accessibility tree, how names and focus are computed, and how to verify inclusive behavior.
Control Planes and Data Planes
Separate coordination from request execution with versioned desired state, reconciliation, bounded stale operation, and distinct security boundaries.
Network Performance: Round Trips, Payloads, and Compression
Build end-to-end network budgets from dependency chains, connection state, payload bytes, compression CPU, congestion, and packet loss.
Executable Loading and Dynamic Linking
Trace an executable from its file-format metadata through virtual mappings, relocations, symbol resolution, shared libraries, and process startup.
WebAssembly: A Portable Compilation Target
Learn how WebAssembly validates, runs, shares memory with hosts, uses WASI and components, and where its portability and speed do not help.