- Published on
Article · Through the layers
PhantomData: Variance, Auto Traits, and Drop Check in One Type
PhantomData stores no value, yet changes variance, Send, Sync, ownership, and drop checking. Learn to choose a marker from the real contract.
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
Running a Backfill Without Racing the Live Data Stream
A dual-read timeline for importing historical data while live updates continue, without gaps or stale snapshot rows overwriting newer events.- Published on
Article · Measurement
Calibrating an LLM Judge Against Human Disagreement
A practical agreement experiment for measuring an LLM judge against human labels, including ambiguous cases, position bias, confidence, and release thresholds.- Published on
Article · Derived state
How to Combine Full Snapshots and Incremental Deltas Safely
A state-machine walkthrough for joining a full snapshot with live changes without gaps, stale overwrites, or false deletions.- Published on
Investigation · Part 10 of 10 · Types under the hood
Types as Proofs: What the Checker Knows That the Binary Forgets
Wrapping an f64 in a Meters type makes adding meters to seconds a compile error, and the optimized build merged the wrapped addition with the plain one into a single function. Then I fed the same function disguised bits and it computed a wrong answer without complaining. This is the last article of the series.