Really cool to see an "old-school" analysis of a classic algorithm and it's implementation. Today with all of the "advanced features" provided by languages and libraries, it's easy to get lost in minutiae and implementation details; for example, how C++ uses templates to specialize sorts for different types. It's refreshing to see a clean, well-thought-out implementation of a core algorithm and a careful examination of the various trade-offs it represents.