Cookie choices

Necessary cookies support login, payments, and security.

Optional analytics help us improve the product.

Current analytics: not set · Cookie Policy

Hacker Podcasts
The Type Theory Podcast

The Type Theory Podcast

The Type Theory Podcast
3 HN recommenders · mentioned in 3 months, 2016–2018
Apple Podcasts
#730 on HN · Natural Sciences · 6 episodes · peak 2016

Explores advanced mathematics and type theory through academic discussion. HN readers recommend for deep dives into mathematical foundations and functional programming.

“one I enjoy is the Type Theory podcast”

2007months with a mention, per year2026
ScienceProgramming languagesApple Podcasts ↗Overcast ↗Pocket Casts ↗

Loading episodes and comments…