sijieg Karma 13 Created 10 years ago Recent Submissions 1. ▲ What's a Lakestream? (blog.2minutestreaming.com) 6 points · 1 month ago · 0 comments 2. ▲ Show HN: Formally Verified Leaderless Log Protocol for Kafka (github.com) 5 points · 2 months ago · 1 comment All submissions on HN · View profile on HN