Category theory is the heart of mathematical structure. In this video, I will drive a stake through that heart. I don't know why I made this.

Grothendieck Googling: https://mobile.twitter.com/grothendieckg

Join my Discord server to discuss this video and…

Definitions of algorithms, data structures, and classical
Computer Science problems.

Some entries have links to implementations and more information.

In this post we’ll have a look at new operations added to std::optional in C++23. These operations, inspired by functional programming concepts, offer a more concise and expressive way to work with optional values, reducing boilerplate and improving code…

More or less the title this time, but first, a story about SIMD. There are three
levels of understanding how SIMD works (well, at least I am level 3 at the moment):

Pipes are ubiquitous in Unix --- but how fast can they go on Linux? In this post we'll iteratively improve a simple pipe-writing benchmark from 3.5GiB/s to 65GiB/s, guided by Linux `perf`.

I couldn’t find a great tool for viewing disassembly, so I wrote it myself over the weekend.

I am a GCC compiler engineer, and for the past 15 years, I have primarily focused on the GCC register allocator and instruction scheduler. The major development

For the past three years, I've been participating in adding just-in-time compilation (JIT) to CRuby. Now, CRuby has the method-based just-in-time compiler (MJIT), which improves performance for