Please, please, please more group theory and pure mathematics on HN! The year we see visual and interactive descriptions about subjects in pure mathematics, as we today see about MDPs, will be the year we reach a true new adaptive valley, rather than just picking low-hanging fruit from this local maxima filled with eighteenth century maths.