An introduction to TLA+ and its use in parties (2023) | Dark Hacker News