Same here. I’ve been having fun learning a lot of math from first principles in recent years but it’s 1000 times easier when presented in notation/framework I already have internalized from code. I’ve found some of the work in type theory a solid bridge between these worlds as a sort of Rosetta Stone. Works like HoTT are challenging and require (me) to keep learning other areas along the way to fill in knowledge gaps but it provides me with a common framework to grok math concepts in line with computational intuitions without sacrificing rigor.