Show HN: Formally Verified Leaderless Log Protocol for Kafka(github.com)

2 pointsby sijieg3 hours ago1 comment

sijieg3 hours ago
Example: S3-Queue (in Rust!): https://github.com/lakestream-io/leaderless-log-protocol/tre...