Hacker News new | ask | show | jobs
by cptwunderlich 1930 days ago
Relevant: "Hillel Wayne is Designing Distributed Systems with TLA+" https://www.youtube.com/watch?v=qubS_wGgwO0