YEYves Eychenneinyeychenne.hashnode.dev·Jun 26 · 9 min readSentinel loses writes by design. Here's a drop-in fix.Earlier this week I published the protocol: a small, formally-verified, total-order broadcast ring I co-invented in the 1990s and rebuilt in Rust. Today, the payoff - a proxy that puts an unmodified V00
YEYves Eychenneinyeychenne.hashnode.dev·Jun 23 · 10 min readI reimplemented a CAP-aware total-order broadcast protocol in Rust and verified it seven waysIn the early 1990s, in a research lab at Cegelec near Paris, a small team I was part of built a way to keep industrial control systems running through hardware failures — the kind that supervise power00
