> As an aside, I think the fetishization of math in programming communities is very interesting... I studied a fair amount of math in school, then worked for m

> As an aside, I think the fetishization of math in programming communities is very interesting... I studied a fair amount of math in school, then worked for many years as a programmer without using one bit of it. More recently though, it has become important again. I try to make sense of the posts here about AI and generally find I don't know enough math, despite knowing more than most programmers do (though far less than actual mathematicians do). So I do feel like I have to study more math if I want to understand that stuff. Similarly, trying to learn Haskell (a worthwhile endeavour for any programmer) sent me into a deep rabbit hole in mathematical logic. Maybe it wasn't necessary, but I do think it solidified my understanding of Haskell, such as it is. I still have no idea what a left Kan extension is though. I'm not trying to humblebrag, I think maybe I'm just stupid, but I find it hard to trust my understanding of anything unless all those details are nailed down.