> The biggest obstacle is not grokking that programming is a formal system, just like math I think there's danger in this mindset. Unlike math, programming is

> The biggest obstacle is not grokking that programming is a formal system, just like math I think there's danger in this mindset. Unlike math, programming is always directly tied to real-world problems. And those are defined by humans. Who, as we know, are not very good at being formal. In my experience, the biggest obstacle is actually not recognizing the informal part. Trying to stay in our own little world of formalities and treating the real world as a nuisance to our grand designs. Calling yourself a computer scientist might be pleasing to our egos, but at the end of the day most of us are software engineers. We are the conduit between formal and informal. There's no shame in that.