Recent Posts

Miri Feature Wishlist

8 minute read

Miri is an evaluator for rust that detects many kinds of undefined behavior. Here are some things it could (possibly) do that would catch bugs I’ve had/seen before.

Introducing “Codelets”

3 minute read

In an effort to post more, I’m going to start posting shorter (and frankly, lower effort) blog posts known as “Codelets”.


5 minute read

Most major OSes offer some form of futex-like functionality at this point. Some of these are a bit obscure and hard to remember, though, so I thought I’d write some stuff about them down so that I can refer to it or link it later.