Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,828 posts.

Software Engineering
Any year
9096

Modeling Message Queues in TLA+

I recently did a corporate TLA+ workshop and some people asked what TLA+ specs look like in practice. If you looked at the most common public examples, you’d probably come away thinking that people only used it for critical consensus algorithms. This is a problem for two reasons: first, it makes it harder to learn…