Verifying Kafka Transactions—Diary Entry 2—Writing an Initial TLA+ Spec

As cited in DDIA

Jack Vanlightly. "Verifying Kafka Transactions—Diary Entry 2—Writing an Initial TLA+ Spec." jack-vanlightly.com, December 2024. Archived at perma.cc/NSQ8-MQ5N

How the page describes itself

Verifying Kafka transactions - Diary entry 2 - Writing an initial TLA+ spec — Jack Vanlightly

Strap in and fire up your nerd engines—this one

From the page's own metadata at jack-vanlightly.com, 2026-08-29.

Link check

Status

Link checked and reachable (HTTP 200)

Format

text/html

Size

0.1 MB

Last checked

2026-08-29

Identifiers and archived copies

perma.cc

https://perma.cc/NSQ8-MQ5N