[godelski]

I totally get that. I was fortunate to get properly educated up through essentially the level of an undergraduate math degree (minus maybe typology), but then continued learning a lot on my own. It’s common to hear that the struggle is part of the learning process. The more I’ve advanced the more I find this to be true. It’s that struggle that makes you pay attention to the small details that are so critical. I was also fortunate to have a professor who would pester me and he later told me he wanted me to be confident in my results, because eventually I would have no one to double check (and he was right). The struggle really helps with this.

I think the main difference between learning provisioning and math is a compiler. To learn either you can only learn by doing. Reading and lectures aren’t enough. What is hard to learn in math is to be the compiler yourself. To be able to verify “programs” (do I even need quotes here?). This is a very powerful tool to add to your tool belt and one I think even helps in programming.

I hope others can add advice here and words of encouragement. The struggle is real, but it is part of the process, for better or for worse.