-
Property-Based Testing and Shrinking Counterexamples
Learn how property-based testing generates varied inputs, detects invariant violations, and shrinks failures into small reproducible counterexamples.
-
LLM Key-Value Caches During Autoregressive Generation
How cached attention keys and values eliminate repeated prefix work during generation, and why the speedup consumes substantial memory.
-
Copy-Up in Container Overlay Filesystems
How Linux overlay filesystems combine read-only image layers with a writable container layer and copy files up when a write requires them.
-
Database Write-Ahead Logging and Crash Recovery
How databases use durable log records to preserve committed transactions and remove incomplete changes after a crash.
-
Photon Shot Noise in EUV Lithography
How random EUV photon counts create missing or malformed wafer features, and how fabs measure and reduce those stochastic defects.
-
Windows I/O Completion Ports and Worker Scheduling
How Windows turns completed overlapped I/O into queued packets and limits runnable workers instead of assigning a thread to every operation.
-
Git Packfiles and Pack Indexes
How Git stores objects in compact packfiles and uses sorted hash indexes to locate them without scanning every packed object.
-
TCP Slow Start and Congestion Avoidance
How TCP grows its congestion window from acknowledgements, then slows growth when packet loss signals that the network is overloaded.
-
Static Single Assignment Form and Phi Nodes
How SSA gives every assignment a distinct version and uses phi nodes to merge values when control-flow paths meet.
-
Linux PID Namespaces and the Responsibilities of PID 1
Understand how Linux PID namespaces provide isolated process IDs and why their PID 1 must handle signals and reap orphaned children.
See more → 18 articles in the archive