- Published on
Article · Derived state
Why updated_at Is a Dangerous Synchronization Cursor
Concrete simulations of the records a timestamp cursor can miss, plus safer tuple cursors, overlap windows, change logs, and reconciliation.
Writing archive
Everything published under Writing, newest first. Each entry is labelled as part of an investigation, an article or reference. Short engineering notes have their own archive.
- Published on
Article · Derived state
rustc's Query System: Why the Compiler Computes Facts on Demand
A practical model of rustc queries, providers, memoization, dependency tracking, cycles, and red-green incremental reuse.- Published on
Article · Derived state
Conflict Resolution for Bidirectional Sync Beyond Last-Write-Wins
A practical comparison of conflict policies that preserve business intention when two synchronized systems edit the same entity.- Published on
Article · Through the layers
Aho–Corasick DFA or NFA: Which One Should I Use in Rust?
Rust's Aho–Corasick crate can build three different automata. I compare their construction cost, memory layout, search behavior, and the evidence needed before forcing one.- Published on
Article · Through the layers
HIR, THIR, and MIR: The Same Rust Function at Three Compiler Stages
One small Rust function followed through real HIR, THIR, and MIR output, with a practical explanation of what each compiler representation is for.