always worried i'll get through grad school OK but be bad at researching and teaching
i've always wanted to be a good teacher but i think i'd probably be really bad at it, and i don't have much experience outside of office hours and teaching labs
i don't want to be the reason more people hate learning
here's the talk from Emily Riehl i watched if anybody else wants to see: https://www.youtube.com/watch?v=A6hXn6QCu0k
vv nice demonstration on HoTT as a foundation for mathematics,in particular category theory
since im dropping out of school and working in industry for a year... i kinda have a whole academic year to prep for grad school
so send any advice u have
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.