HackerPods

No. 319 · Technology

Type Theory Forall

Rank
319
Score
3.5
People
4
Months
3
Years
2022–2025

Listen onApple PodcastsOvercastRSS

Why people recommend it

reminds me of an excellent discussion with Conal Elliot on the Type Theory For All podcast.

Listen

Recommended episodes

  1. #26 Mechanizing Modern Mathematics - Kevin Buzzard16 Jan 2023 · 2 h 16 min · 1 person on HN

Latest episodes

  1. #65 TLA+, Quint and Formal Verification in the Age of AI - Gabriela Moreira19 Oct 2026 · 2 h 03 min
  2. #64 PL Education in the Age of AI - Shriram Krishnamurthi5 Sep 2026 · 2 h 44 min
  3. #63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet7 Aug 2026 · 1 h 46 min
  4. #62 Dependent Haskell - Vladislav Zavialov13 Jun 2026 · 2 h 05 min

Audio streams from the publisher’s own feed. HackerPods does not host or proxy it.

More from the comments

The <i>Type Theory Forall</i> podcast published an interview this week with Kevin Buzzard

"Type Theory Forall" - podcast about formal methods and type theory, some absolutely great guests there!

Thanks, that's a lovely analogy and I'm excited to listen to that podcast.

Months with a recommendation

One row per year, January to December. A filled dot is a month in which someone recommended the show.