Top posts

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

Web & Frontend
Any year
6297

Modeling Redux with TLA+

Update 01/07/19 Greetings from 2019! The good news is that Chicago isn’t yet a radioactive crater. The bad news is almost everything I said about refinement in this article is wrong. I’m working on writing a more in-depth, rigorous treatment of refinement as its own article. But this one is currently explaining…