...though it's not the flagship borrow checking that's at fault. What I noticed, and would like to share with you today, is that the exhaustiveness checking performed by the Rust compiler on match patterns is a superset of the SAT problem. (more…)

Stateright is a model checker for distributed systems. It is provided as a Rust library, and it allows you to verify systems implemented in ... (more…)

a toolkit for stoichiometry. Contribute to ttymck/stoichkit development by creating an account on GitHub. (more…)

Yesterday, oyvindln made a PR to image-png to replace flate2 with deflate, a DEFLATE and zlib encoder written in safe rust. The PR was merged, and currently I am ecoing the new version in the Piston ecosystem.

The Follower Read feature lets any follower replica in a Region serve a read request under the premise of strongly consistent reads. It reduces the load on the Raft leader and improves the read throughput of the TiDB cluster. Read this post to learn more. (more…)