Soundness and Escape Hatches in TypeScript
Understand where TypeScript deliberately trusts the programmer, then contain those assumptions with strict configuration, narrow APIs, validation, and adversarial tests.
Hash Tables Under the Hood: Hashing, Collisions, and Resizing
Understand hash-table correctness through hashing, collision resolution, deletion, load factors, and incremental resizing.
Generics Done Right: Variance and Constraints
Design TypeScript generics that preserve inference, model variance honestly, and avoid common soundness traps in reusable APIs.
Agentic Workflows with State Machines and Human Approval
Build agentic workflows as durable state machines with bounded tools, proposal-bound approvals, idempotent effects, and testable recovery.
Background Job Systems: Queues, Retries, and Idempotency
Build background jobs around durable state, leased attempts, bounded retries, idempotent effects, and evidence operators can trust.
Distributed Locks, Leases, and Fencing Tokens
Make lease-based coordination safe by fencing stale owners at every protected resource with monotonic tokens.
MVCC Internals: Snapshots, Visibility, and Vacuum
MVCC serves stable snapshots from versioned rows, then relies on visibility metadata and vacuum horizons to reclaim the history readers no longer need.
The Browser Security Model: Origins, CORS, and CSP
Design browser-facing systems by separating origin isolation, cross-origin read permission, credentials, execution policy, and embedding controls.
Strangler Fig Pattern for Legacy Modernization
Modernize a legacy system one business capability at a time with explicit routing, data ownership, rollback, and retirement criteria.
Tail Latency: Why p99 Dominates Distributed Systems
Design distributed request paths around tail latency with honest percentiles, explicit budgets, bounded hedging, and deadline-aware retries.
Modern CPU Execution: Pipelines, Branch Prediction, and Out-of-Order Work
Understand how modern CPUs find independent work while preserving the simple, ordered behavior promised to software.
Communicating Sequential Processes and Channels
Design concurrent protocols with rendezvous, bounded channels, select, explicit endpoint ownership, and deterministic closure.