Bitvec

General-purpose articles about my bitvec project.


Documentation for bitvec is primarily found in its API documentation, internal code comments, and an associated reference manual. There are some aspects of its construction and use that don’t quite fit into any of those areas, but are still worth writing down. As such, I’ve collected them here.

These generally take the form of more pedagogical or exploratory texts rather than engineering documents, and try to be written to an audience that is interested in or aware of bitvec as a concept, but are not necessarily actively working with it as a dependency or on it as a direct project.

  1. No User Serviceable Parts Inside ()

    I’m having troubles with Miri (again) and this is a snapshot of my understanding of the problem at time of writing.

  2. Version One ()

    I have finally completed bitvec.

  3. Runtime Alias Detection ()

    My bitvec project is composed of a very small handful of core engineering components without which the project fundamentally cannot exist. This article addresses the most theoretically important: pointer-value alias analysis.

  4. The Ad-Dressing of Bits ()

    My bitvec project is composed of a very small handful of core engineering components without which the project fundamentally cannot exist. This article addresses the pointer encoding allowing it to interact with the language core libraries.

  5. Polyglot Projects ()

    An exploration of how I wrote a C++ binding API for my Rust library.