» Tag
crdt
1 postsRings rebuilds distributed system correctness with algebraic structures
Rings unifies cryptography, CRDT-based storage and Chord topology under group, ring and module algebra, aiming for a provably correct distributed system.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com