Zulip Chat Archive

Stream: Type theory

Topic: Podcast


view this post on Zulip 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.

view this post on Zulip Kevin Buzzard (May 13 2020 at 17:44):

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

view this post on Zulip 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

view this post on Zulip Brandon Brown (May 13 2020 at 17:46):

Yes he is recording these while driving to work

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Mario Carneiro (May 13 2020 at 18:01):

you mean american?

view this post on Zulip Brandon Brown (May 13 2020 at 20:50):

@Kevin Buzzard perhaps unsurprisingly you’re mentioned in episode 2

view this post on Zulip 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