What a hidden gem. Now one of my favorite podcasts. It is amazing he is able to speak so clearly and eloquently while driving to work.

Aaron Stump is the best. He talks about interesting things (type theory), and he just seems like a good person I’d want to spend time with.