00:00
2026-09-26
dhilst.github.com
artificial-intelligence
The Lock That Never Asks Anyone: Dodging Consensus with a Model Checker
A developer built a shared NFS directory lock that avoids consensus entirely by never asking whether a remote process is dead, using a model checker to verify the design instead of implementing Raft, …