From design patterns to category theory (via HN).