Building a Linearizable Log on READ COMMITTED Isolation
A linearizable metadata log for Materialize, built on PostgreSQL READ COMMITTED isolation, with 3x write throughput and a Lean 4 proof.
Lobsters21 min read
2 stories
A linearizable metadata log for Materialize, built on PostgreSQL READ COMMITTED isolation, with 3x write throughput and a Lean 4 proof.
An AI workflow builder that drafts from plain words, dry-runs every step and saves nothing until you approve. Built around real n8n, Zapier and Make complaints.
Showing 2 of 2 stories
You're all caught up.
Get the top AI news and tools straight to your inbox every week.
Weekly · AI news
Join 15,000+ AI enthusiasts