Top posts

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

Systems & Performance
2018
186

Modern Linux in an ancient PC

What is the oldest x86 processor that is still supported by a modern Linux kernel in present time? I asked the above quiz question during the Geekcamp tech conference in Nov 2017 during my emcee role. The theoretical answer as you can glean from the title of this post is the 486 which was first released in 1989. I…

195

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…