[RegEx]

> Once you know even elementary discrete math such as sets and logic programming becomes more of an exercise in seeing if you can realize abstract ideas and models.

I agree with this 100%. The proof exercises you have to complete in discrete math make for great programming exercises. They force you to ask yourself

1. What's the problem? 2. What do we know? 3. How do we get to the end? 4. What does it look like to be "done"?

These are great questions to ask yourself when programming.

[robohamburger]

Yes, when you combine this thinking with thinking about the real world in a holistic manner you basically unlock programming super powers :)

Some what tangentially related, hammock driven development: https://www.youtube.com/watch?v=f84n5oFoZBc

The part about pushing on the problem statement is always useful, even if you don't have time to think about problems like he describes.