General-purpose articles about my
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.
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.
I have finally completed
Runtime Alias Detection
bitvecproject 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.
The Ad-Dressing of Bits
bitvecproject 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.
An exploration of how I wrote a C++ binding API for my Rust library.