Very cool and informative article, and I love that Box2d is in C nowadays that really makes it clear. Great job!

I saw a small typo:

    // wide float
    typedef b2FloatW __m128;

The `typedef` is backwards, the alias and the underlying type name are in the wrong order and need to be swapped around.