Walrus is a Rust-based distributed log streaming engine with Raft-based metadata, segment-ledership, lease-based write fencing, and sealed segments, marketed as a high-performance Kafka alternative with published benchmarks.
The article proposes a Raft variant using finite projective planes to form small, intersecting quorums (blocs) so progress can occur with fewer than a majority; it illustrates with a 7-node Fano-plane example and analyzes probabilistic trade-offs and open questions.
SysMoBench shows LLMs can generate syntactically valid TLA+ specs for real systems but struggle with conformance and invariants; Specula claims full conformance/invariant scores, while transition-level analysis reveals concrete gaps and automation needs.
Jepsen finds NATS JetStream 2.12.1 can lose committed writes and exhibit persistent split-brain under faults, largely due to lazy fsync and on-disk file corruption, with prior related issues fixed in 2.10.23.
Subscribe for real-time topic updates and unlimited access to our intelligence platform.