Jack Vanlightly — Distributed systems showdown — TLA + vs real code

Name: Jack Vanlightly — Distributed systems showdown — TLA + vs real code
Uploaded: 2021-12-15T00:00:00.000Z
Description: Video Jack Vanlightly — Distributed systems showdown — TLA + vs real code