Fast, small, robust: pick three. Introducing a novel branchless partition impl

This is an introduction to the concepts of branchless programming and of a novel generic partition implementation, motivated with a gradual refinement of a basic Lomuto partition implementation.

Author here, feel free to ask me anything.