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:

Matt Consola presents SWISHCRAFT
Matt Consola

Mesa Quadrada Papo Redondo
Mesa Quadrada Papo Redondo

Technische Mechanik 3, WS12/13, Vorlesung

What use is an F-call?
Onno (VK6FLAB)

HappyPorch Radio: Circular Economy & Technology
Barry O'Kane

RCN Digital
RCN Radio

The ComplianceBridge Podcast
ComplianceBridge Corp.

Junior Talks
Junior Talks

The Invisible Network
National Aeronautics and Space Administration (NASA)

Plus Un
Aaron Godfrey

Treasury & Risk Perspectives podcast
Treasury & Risk