New

The latest blog posts to take off on Hacker News. 2,330 posts.

Any topic
2018
332

2018 Mac Mini Review

I hardly ever think about my Mac Mini, but it serves a vital role for my family as our home-theater mixer , Plex server, ScanSnap server, Apple Photos backup, and Backblaze host for our NAS . 1 Almost every port on the back is in use, and it runs 24/7, reliably, in total silence.

353

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…

359

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…