Follow

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 twitter.com/lemmster/status/14

Sign in to participate in the conversation
Jepsen

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