3331
Implementing a Struct of Arrays
My CppCon 2025 talk, Practical Reflection, is now online, and goes over this example in more detail and more digressions. Check it out!
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 4,390 posts.
3332
Diving Deep on S3 Consistency
A deep dive on why we changed Amazon S3's consistency model
3333
Gathering Intel on Intel AVX-512 Transitions
Investigating some details of SIMD related frequency transitions on Intel CPUs.
3334
A cache miss is not a cache miss
When writing high performance code, we are careful to avoid cache misses when possible. When discussing cache misses, however, we are usually content with counting the number of cache misses. In this post I will explain why this is not sufficient, as data dependency also make a huge difference.
3335
Engineering for Bounded Cognition
The mind that builds software is far smaller than the software it builds, and almost everything good in engineering is a way of living with that gap.
3336
Netdev Day 1: IPsec
netdev day 1: IPsec!
3337
Debug your programs like they're closed source
Debug your programs like they're closed source!
3338
vDPA: Support for block devices in Linux and QEMU
Using libblkio, QEMU Storage Daemon, and VDUSE
3339
Modeling Git Internals in Alloy, Part 2: Commits and Tags
Understanding Git better by using lightweight formal methods
3340
Dmesg under the hood
Dmesg allows us to grasp what's going on under the hood when the kernel gets bad. Check out how dmesg is able to read kernel logs and show to the user.
3341
CoreBGP – Plugging in to BGP
In this post I'll provide some of my personal experience and history working with BGP, and introduce a new BGP library, CoreBGP, which can be used to build the next generation of BGP-enabled applications.
3342
Malloc Never Fails (2012)
Here’s a fun bit of trivia: malloc on Linux never fails [due to the obvious cause]. In this post, we’ll show that this indeed is the case, and explore why…
3343
The cost of dynamic vs. static dispatch in C++
A couple of years ago I wrote an article about the Curiously Recurring Template Pattern in C++ , focusing on the motivation behind it and how to implement it.
3344
Minify and Gzip (2022)
I've been doing a bit of work cleaning up the CSS on this blog in the past couple days — the CSS is from a template that I copied more than five years ago at this point, and it was pretty crufty even when I first got it.
3345
3346
3347
Highly efficient matrix transpose in Mojo
In this blogpost I will step by step show you how to implement a highly efficient transpose kernel for the Hopper architecture using Mojo. The best kernel a...
3348
Shared Libraries as Executables
Typically you either have an executable or a shared library, but can you have an executable shared library too?
3349
What is gVisor?
It has been a really long time since I last wrote something here as life happens, things get busier, etc etc. I am now trying to get back into writing things down and here we go! So, imagine a tool or a service that allows you to run some arbitrary code via a shell. Either through a ssh or more commonly, via a web…
3350
What part of Rust compilation is the bottleneck?
Rust compilation times is an ongoing topic that generates many discussions online1. Most people don’t really care about what exactly takes time when compiling Rust program; they just want it to be faster in general. But sometimes, you can see people pointing fingers at specific culprits, like LLVM or the borrow…
3351
OpenBSD on the Huawei MateBook X
The Huawei MateBook X is a high-quality 13" ultra-thin laptop with a fanless Core i5 processor. It is obviously biting the design of the Apple 12" MacBook , but it does have some notable improvements such as a slightly larger screen, a more usable keyboard with adequate key travel, and 2 USB-C ports.
3352
In-Memory Filesystems in Rust
I’ve been working on a CLI tool recently, and one of the things it does is manage files on disk. I have written a lot of file management tests for Bundler, and the two biggest reasons that the Bundler test suite is slow are exec and fstat. Knowing that, I thought I would try to get out ahead of the slow file stat…
3353
AVX-512: First Impressions on Performance and Programmability
A simple, whitespace theme for academics. Based on [*folio](https://github.com/bogoli/-folio) design.
3354
3355
Practical Libc-free threading on Linux
Suppose you’re not using a C runtime on Linux, and instead you’re programming against its system call API. It’s long-term and stable after all. Memory management and buffered I/O are easily solved, but a lot of software benefits from concurrency. It would be nice to also have thread spawning capability. This article…
3356
Finding Goroutine Bugs with TLA+
My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. But just knowing the syntax isn’t enough to write specs, and it helps to have examples to draw from. I recently read Chris Siebenmann’s Even in Go, concurrency is still not easy and thought it would make a good case study…
3357
NetBSD on the last G4 Mac mini and making the kernel power failure proof
(First, as a public service message, if you're running Linux on a G5 you may wish to update the kernel .) I'm a big fan of NetBSD . I've ru...
3358
Who invented vector clocks?
Back in spring 2020, I was wrapping up the distributed systems course I was teaching, and for the last lecture, decided to spend a little time poking at the question of who actually invented vector clocks. Most people who need something to cite for vector clocks cite Friedemann Mattern’s “Virtual Time and Global…
3359
Bytecode
What is the most commonly used bytecode language in the world? Java (JVM Bytecode)? .NET (CLI)? Flash (AVM1/AVM2)? Nope. There’s a few that you use every day, simply by turning on your computer, or tablet, or even phone. You don’t even have to start an application or visit a webpage.
3360