From one perspective, coding is just dry formal automata theory. But that's not how most coders think about it. We've developed more playful ways to think and l

From one perspective, coding is just dry formal automata theory. But that's not how most coders think about it. We've developed more playful ways to think and learn about it. And the more experience one has with coding, the more one can ignore the details and just think with feelings and intuition. The same effect occurs after a mountain of experience with pure mathematics. After a while, it starts to change the way you think. The brain internalizes it, and makes it accessible on a much more natural plane than how you think about maths when you're starting out, when everything is detail and hard work. It's these two worlds I want integrated. I want the abstractions coders think about on a daily basis to be enriched by a rejuvenating syringe of math juice.