WRITINGS

An exhaustive architectural analysis of TLA+ formal specification, TLC model checking, Martin Kleppmann Redlock critiques, and monotonically increasing fencing tokens. Specifically investigating mathematically proving that distributed lock leases guarantee mutual exclusion under arbitrary thread freezes, clock skew, and network partitions.

An exhaustive architectural analysis of WebGPU compute pipelines, WGSL storage buffers, spatial hashing algorithms, and instanced draw passes. Specifically investigating simulating 1,000,000 interacting gravitational particles at 60 fps in the browser using general-purpose gpu computing.

An exhaustive architectural analysis of Command Query Responsibility Segregation (CQRS), immutable event logs, projection lag mitigations, and event version upcasters. Specifically investigating hard-won architectural lessons from maintaining an event-sourced banking ledger at high transaction volumes.

An exhaustive architectural analysis of PostgreSQL Access Exclusive table locks, Expand and Contract pattern, NOT VALID check constraints, and batched background backfills. Specifically investigating modifying schemas on tables with 500 million rows without taking locks or dropping incoming transactions.

An exhaustive architectural analysis of V8 Ignition interpreter, Turbofan speculative JIT compilation, Hidden Classes (Shapes), and monomorphic vs megamorphic inline caches. Specifically investigating identifying hidden object shape transitions and small integer (smi) overflows that trigger severe deoptimization bailouts in high-throughput backend services.