Best of 2018

The blog posts Hacker News loved most in 2018. 271 posts.

Systems & Performance
104

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…

112

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…