September 2026
18 articles.
-
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.
-
Flip-Flop Metastability and Synchronizer Chains
How setup and hold violations create metastability, and how synchronizer stages make failures extraordinarily unlikely without making them impossible.
-
Rust Pin, Unpin, and Safe Projection
Understand how Rust keeps futures and self-referential values at stable addresses, and how Pin, Unpin, and projection preserve that guarantee safely.
-
DNS Negative Caching for NXDOMAIN and NODATA
How DNS caches absent names and record types, uses TTLs to avoid repeated queries, and can hide newly created hostnames until entries expire.
-
Chemical-Mechanical Polishing in Semiconductor Fabrication
How CMP uses a chemical slurry and rotating pad to flatten wafers for reliable alignment and focus in later lithography.
-
AEAD Nonce Reuse and Its Security Consequences
Why reusing an AEAD nonce exposes plaintext relationships and can enable forgeries—and why protocols must prevent it.
-
Linux TLB Shootdowns and Their Performance Cost
How Linux keeps per-core address-translation caches consistent when page-table entries change, and why that coordination can slow workloads.
-
CPython’s Global Interpreter Lock
How CPython’s GIL protects interpreter state, coordinates thread execution, and lets native extensions run parallel or blocking work safely.
-
Browser Microtasks and the Render Queue
How promise callbacks and mutation observers run between browser tasks, and why long microtask chains can delay rendering and starve the event loop.