Great talk by @vanlightly @hydraconference
He compares modeling and verification of a simple distributed log with #tlaplus and @jepsen_io Maelstrom
- overview of both
- pros and cons of those approaches
- how to move from model to implementation
Jack covers a lot in the talk https://twitter.com/lemmster/status/1471241135959859204
A single-user Mastodon instance for Jepsen announcements & discussion.