Aug 9, 2014 · Tweet · August 2014 sure he's talking about writing nice informal math... @groundh0g sure he's talking about writing nice informal math specifications for quicksort instead of pseudocode it's great ➛