Show HN: Trains – leaderless total-order broadcast in Rust, formally verified
By yeychenne · 2026-06-30 · 3 points · 1 comments
https://github.com/yeychenne/trains-rust
By yeychenne · 3 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews