There's a lot of interesting discrete math that can supercharge programming at different levels of scale. What's pretty cool is that it reveals a layer of understanding when I watch my toddlers learn math from counting.

One of the interesting things is being able to exactly describe how something is an anti-pattern, because you have a precise language for describing constraints.