Zulip Chat Archive

Just want to recommend the podcast "Iowa Type Theory Commute" It's a CS professor Aaron Stump at the University of Iowa who gives brief seminars about type theory and logic during his commute to work.

Kevin Buzzard (May 13 2020 at 17:44):

That's a great idea. Is he driving at the time?

Kevin Buzzard (May 13 2020 at 17:45):

I think it would be safer for me to do this on the London underground apart from the fact that sometimes it's so crowded that I cannot get my phone out of my pocket

Brandon Brown (May 13 2020 at 17:46):

Yes he is recording these while driving to work

Brandon Brown (May 13 2020 at 17:58):

Here's a link to the episodes online but it should be searchable in any podcast app on your phone: https://homepage.divms.uiowa.edu/~astump/ittc.html

Marc Huisinga (May 13 2020 at 17:58):

i am now imagining kevin talk to his phone about lean on the london underground and horrified onlookers wondering why someone would mumble to himself about some drug for ages while occasionally throwing in strange words from some foreign language that vaguely sounds like english