Topics /

Systems & Performance

The most popular blog posts about systems & performance on Hacker News. 4,388 posts.

Any year
1833

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…

1834

RIP Usenix ATC

USENIX made the decision this week to discontinue its flagship Annual Technical Conference . When USENIX was started in 1975 — before the Internet, really — conferences were the fastest vector for practitioners to formally share their ideas, and USENIX ATC flourished. Speaking for myself, I came up lionizing ATC: I…

1836

The search for easier safe systems programming

I've been involved in the Rust project in some form or another since 2016, and it's a language I'm very comfortable using. Many Rust programmers could say the same . But, if we take a step back and are honest with ourselves, we'd admit that the road to getting to that level of comfort was difficult.

1838

Cost of a thread in C++ under Linux

Almost all our computers are made of several processing cores. Thus it can be efficient to "parallelize" expensive processing in a multicore manner. That is, instead of using a single core to do all of the work, you divide the work among multiple cores. A standard way to approach this problem is to create threads. ……

1848

Speeding Up Ruby with Shared Strings

It’s not often I am able to write a patch that not only reduces memory usage, but increases speed as well. Usually I find myself trading memory for speed, so it’s a real treat when I can improve both in one patch. Today I want to talk about the patch I submitted to Ruby in this ticket. It decreases “after boot” memory…

1854

Docker on MacOS is slow and how to fix it

Note 05/01/2025: Hello there, you can find an update version of this article here, with the latest findings, improvements and new tools. This is how a Docker container feels inside a macOS environment: lost at sea, far from the coast. With this article I will try to bring this poor container safely to the coast. TL;DR…