python library of optimizations and generally useful bits for doing hard things, and doing things efficiently