Model Checking: Use Stateright to Formally Verify Raft Lite
This post introduces how I use stateright to formally verify Raft Lite, a rust implementation of Raft consensus algorithm.
2024-02-24
8 min read
Raft Lite: An Easy-to-understand Implementation of Raft Consensus Algorithm
The internal implementation of Raft Lite is explained in this post. Project repo: https://github.com/liangrunda/raft-lite
2024-01-02
23 min read
What's behind Automerge? (Part II)
Here I briefly introduce how Automerge compress documents to reduce the CRDT metadata overhead.
2023-06-13
16 min read