1 comment

[ 5.4 ms ] story [ 29.3 ms ] thread
A principal researcher at Confluent explains Apache icebergs consistency model. Also shows the formal modeling using a Python'ish language FizzBee to find bugs.