Posts by Tag

rust

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.

Futex-likes

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.

Back to Top ↑

code

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.

Futex-likes

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.

Back to Top ↑

allocators

Back to Top ↑

rants

Back to Top ↑

codelet

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”.

Back to Top ↑

quick-thoughts

Back to Top ↑

should be a github issue

Back to Top ↑

cells

Back to Top ↑

atomics

Back to Top ↑

crates

Back to Top ↑

interesting code

Back to Top ↑

bad code

Back to Top ↑

mistakes

Back to Top ↑

ci

Back to Top ↑

testing

Back to Top ↑

github-actions

Back to Top ↑

threading

Futex-likes

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.

Back to Top ↑

futex

Futex-likes

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.

Back to Top ↑

C/C++

Futex-likes

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.

Back to Top ↑

meta

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”.

Back to Top ↑

floats

Back to Top ↑

miri

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.

Back to Top ↑

allocator-trait-series

Back to Top ↑

why-did-i-post-this

Back to Top ↑