New

The latest blog posts to take off on Hacker News. 4,389 posts.

Systems & Performance
Any year
2914

RHEL is deprecating KDE

By a strange coincidence the news broke this morning that RHEL is deprecating KDE. The real surprise here is that RHEL supported KDE all. Back in the 90s they were entirely against KDE and put lots of effort into our friendly rivals Gnome. It made some sense since at the time Qt was under a not-quite-free licence and…

2915

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…

2924

Towards fearless SIMD

SIMD is a powerful performance technique, and is especially valuable in signal and image processing applications. I will be using it very extensively in my synthesizer, and also it’s increasingly used in xi-editor to optimize string comparisons and similar primitives.

2935

Arguing against using protobuffers

I’ve spent a good deal of my professional life arguing against using protobuffers. They’re clearly written by amateurs, unbelievably ad-hoc, mired in gotchas, tricky to compile, and solve a problem that nobody but Google really has. If these problems of protobuffers remained quarantined in serialization abstractions…