Show HN: Formally Verified Leaderless Log Protocol for Kafkagithub.com/lakestream-io 5sijieg5mo1 comment