Histogramming Bytes with Positional Popcount

Sharpening a lower bound with KnownBits information

Implementing grevmul with GF2P8AFFINEQB

Permuting Bits with GF2P8AFFINEQB

Propagating bounds through bitwise operations

(Not) transposing a 16x16 bitmatrix

Column-Oriented Row Reduction

Notes on negation