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.
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:
23 min read

What's behind Automerge? (Part II)

Here I briefly introduce how Automerge compress documents to reduce the CRDT metadata overhead.
16 min read