Local-First Distributed Configuration
summary
A distributed configuration system called Lokalisierung automatically reconfigures employee tablets across a few hundred car‑inspection lanes using pair-wise Merkle-tree synchronization over local networks, storing immutable event-sourced facts in a SQLite backend and resolving state via a causal graph. It runs on thousands of devices since 2015, sync code shows no known bugs after property-based testing with an F QuickCheck variant, conflicts prove surprisingly frequent so merges are manual, and a decade‑old DB‑thinning migration once resurrected deleted facts until duplicate‑constraint fixes shrink a 150 MB store.
AI-written summary · about
chapters (11)
- 0:00Local-first distributed config
- 1:26Project background
- 6:20Peer-to-peer sync
- 7:23Facts vs state in systems
- 11:59Merkle tree sync
- 16:11Config conflict handling
- 21:07Event sourcing in practice
- 24:16Data model separation
- 26:01Schema pitfalls and fixes
- 29:10Lessons learned
- 30:16Q&A
