A linearizable metadata log for Materialize, built on PostgreSQL READ COMMITTED isolation, with 3x write throughput and a Lean 4 proof.
Building a Linearizable Log on READ COMMITTED Isolation
calendar_today
October 13, 2026
domain
materialize