Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: Formally Verified Leaderless Log Protocol for Kafka
(github.com/lakestream-io)
5 points
sijieg
2 months ago
1 comment