I feel like there's a lot of random gaps in the middle of my knowledge about things like set theory and type theory that I don't feel like I have with things like calculus bc I had a very uniform education when it came to calculus
All my calculus gaps are on either end and are things like real analysis and diff geo so they don't count as gaps, just vast expanses in the distance
Should've done a CS+math major
The only time I use my physics knowledge is when I need the math parts or when I'm making a shitpost about Schrödinger's various possessions
Follow
@ionathanch As someone who did do a CS+math major, I constantly feel like I did them in the wrong continent. I don’t think North American is a good place to be for type theory.
