1 comment

[ 2.7 ms ] story [ 10.4 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.