1 comment

[ 3.4 ms ] story [ 15.6 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.