Iowa Type Theory Commute Author: Aaron Stump Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute. Be a guest on this podcast Language: en-us Genres: Mathematics, Science, Technology Contact email: Get it Feed URL: Get it iTunes ID: Get it Get all podcast data

Listen Now...

Correction: the Correct Author of the Proof from Last Episode, and an AI flop
Episode 9
Monday, 12 May, 2025

I correct what I said in the last episode about the author of the proof of FD from last episode based on intersection types.  I also describe AI flopping when I ask it a question about this.

We also recommend:

Tech Talk Radio Podcast
Dr. Richard R. Shurtz

The Brandon Duke Show
The Brandon Duke Show

Podcast Feed
Nathan and Mario

une vision davance
Patrick Savard ALDANEA

Roundabout: Creative Chaos
Tammy Coron and Tim Mitra interview American McGee, Rene Ritchie, Justin Di

.

CartoonSmart Tutorials
Justin Dike

La semana (video)
CNET

Multicast
Multiverso

Moove
auto motor und sport, Gerd Stegmaier, Luca Leicht, Patrick Lang

Everyday Photographer
Michael David Spirito

Cyber Booth
Radio Capital Argentina