Top posts

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

Any topic
2018
1051

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…

1067

Erlang/OTP 21's new logger

With OTP-21 came a new logging library in Erlang called logger . It comes as an attempt to offer a built-in alternative to long successful projects such as lager , which have seen years of battle testing and tweaking for performance. I've seen few articles written about the new logger and what it can do, so I've…