News for hackers. Stuff that matters.

A comment on Show HN: Formally Verified Leaderless Log Protocol for Kafka.

Re:Show HN: Formally Verified Leaderless Log Protocol for Kafka by sijieg on Friday April 10, 2026 @12:01PM (#47720121)
Example: S3-Queue (in Rust!): https://github.com/lakestream-io/leaderless-log-protocol/tre...
[ Parent | on HN ]

There are no comments on this comment yet.