RT @asatarin
Great talk by @vanlightly @hydraconference

He compares modeling and verification of a simple distributed log with 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

Sign in to participate in the conversation

A single-user Mastodon instance for Jepsen announcements & discussion.