Stream: Type theory
Brandon Brown (May 13 2020 at 17:43):
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
Mario Carneiro (May 13 2020 at 18:01):
you mean american?
Brandon Brown (May 13 2020 at 20:50):
@Kevin Buzzard perhaps unsurprisingly you’re mentioned in episode 2
Kevin Buzzard (May 13 2020 at 20:51):
I don't know anything about type theory! :laughing:
Last updated: May 08 2021 at 21:09 UTC