Hacker News new | ask | show | jobs
by jayaprabhakar 676 days ago
A principal researcher at Confluent explains Apache icebergs consistency model. Also shows the formal modeling using a Python'ish language FizzBee to find bugs.