Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Iowa Type Theory Commute
Claim This Podcastby Aaron Stump
5.0(19 reviews)
186 episodes
Updated Bi-weekly
Accepts GuestsHas SponsorsLocation 🇺🇸
31
Podcast Authority
BetaPoorBased on show quality, social media presence, reviews, charts, and more
Quality42
Social0
YouTube0
Engagement51
Podcast Overview
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Language
🇺🇲
Publishing Since
11/21/2019
Unlock The Full Podcast Authority Score Report
See how your podcast performs across key metrics
31
Podcast Authority
BetaPoorBased on show quality, social media presence, reviews, charts, and more
Quality42
Social0
YouTube0
Engagement51
5
Excellent Areas
2
Good Performance
12
Growth Opportunities
excellent
Episode Length
16 minutes
Performing excellently!
good
Publishing Consistency
Every 12 days
Recommendations available
Unlock the full report to see detailed tips
poor
Episode Thumbnails
Recommendations available
Unlock the full report to see detailed tips
+16 More Metrics
Unlock comprehensive insights including:
- • YouTube presence analysis
- • Social media reach metrics
- • RSS compliance scoring
- • Podcast 2.0 features
- • Technical standards
What's Included in Your Full Report
Detailed Analytics
- Complete breakdown of all 19 authority metrics
- Personalized recommendations for each metric
- Industry benchmarks and comparisons
- Technical RSS feed analysis and compliance scoring
Growth Strategies
- Step-by-step action plans for improvement
- Quick wins to boost your score immediately
- Pro tips from successful podcasters
Get your free podcast insights report
See how your show performs across every key metric
Instant delivery
No spam
Attract Better Guests
High authority scores make your podcast more attractive to industry leaders and influencers who want to appear on credible shows.
Secure Sponsorships
Sponsors look for podcasts with proven authority and engagement. Your score demonstrates your podcast's value to potential partners.
Grow Your Audience
Understanding your strengths and weaknesses helps you make data-driven decisions to expand your listener base effectively.
1 verified contact email on file for Iowa Type Theory Commute
Pitch yourself as a guest, propose sponsorships, or reach out directly to the host.
Recent Episodes
May 7, 2026
A Strange Deal, Explained
I explain the story from last episode.
May 1, 2026
A Strange Deal
The Curry-Howard isomorphism for the law of excluded middle, as a radio drama. I first saw a version of this story performed by Phil Wadler and Frank Pfenning (wearing fake horns!) at RTA in Nara, Japan in 2005. This is my take on it. In a subsequent episode, I will explain how the story illustrates the computational interpretation of the law of excluded middle.
April 20, 2026
Great paper: The Calculated Typer
I discuss a nice paper I quite enjoyed reading, called The Calculated Typer, by Garby, Bahr, and Hutton. The authors take a very nice general look at the specification of a type checker, for a very simple expression language. They then manually derive the actual code for the type checker by effectively trying to prove that this as yet unknown code satisfies its spec. (This is what is meant by calculating the type checker.)
186 total episodes available with 14 transcripts
Similar Podcasts
Discover related shows you might enjoy
The Haskell Interlude
Haskell Podcast
CoRecursive: Coding Stories
Adam Gordon Bell - Software Developer
Odd Lots
Bloomberg
Oxide and Friends
Oxide Computer Company
In Our Time
BBC Radio 4
Software Engineering Radio - the podcast for professional software developers
se-radio@computer.org
More or Less: Behind the Stats
BBC Radio 4
All-In with Chamath, Jason, Sacks & Friedberg
All-In Podcast, LLC
The Partially Examined Life Philosophy Podcast
Mark Linsenmayer, Wes Alwan, Seth Paskin, Dylan Casey
Freakonomics Radio
Freakonomics Radio + Stitcher
Quanta Science Podcast
Quanta Magazine
The Daily
The New York Times
Software Unscripted
Richard Feldman
Two's Complement
Ben Rady and Matt Godbolt
Algorithms + Data Structures = Programs
Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane
Deep-dive analytics for Iowa Type Theory Commute
Frequently asked questions
Have a different question and can't find the answer you're looking for? Reach out to our support team by sending us an email and we'll get back to you as soon as we can.
- What is Iowa Type Theory Commute?
- How often does this podcast release new episodes?
This podcast updates bi-weekly.
- Where can I listen to this podcast?
This podcast is available on 10 platforms including Apple Podcasts, Spotify, and more. You can also use the RSS feed directly.
- Does this podcast accept guests?
No, this podcast does not typically feature guests.
Legal Disclaimer
Pod Engine is not affiliated with, endorsed by, or officially connected with any of the podcasts displayed on this platform. We operate independently as a podcast discovery and analytics service.
All podcast artwork, thumbnails, and content displayed on this page are the property of their respective owners and are protected by applicable copyright laws. This includes, but is not limited to, podcast cover art, episode artwork, show descriptions, episode titles, transcripts, audio snippets, and any other content originating from the podcast creators or their licensors.
We display this content under fair use principles and/or implied license for the purpose of podcast discovery, information, and commentary. We make no claim of ownership over any podcast content, artwork, or related materials shown on this platform. All trademarks, service marks, and trade names are the property of their respective owners.
While we strive to ensure all content usage is properly authorized, if you are a rights holder and believe your content is being used inappropriately or without proper authorization, please contact us immediately at hey@podengine.ai for prompt review and appropriate action, which may include content removal or proper attribution.
By accessing and using this platform, you acknowledge and agree to respect all applicable copyright laws and intellectual property rights of content owners. Any unauthorized reproduction, distribution, or commercial use of the content displayed on this platform is strictly prohibited.