HackerPods

第 310 名 · 科技

Type Theory Forall

排名
310
得分
3.5
推荐人数
4
推荐月份
3
年份
2022–2025

收听平台Apple PodcastsOvercastRSS

推荐理由

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

机器翻译这让我想起 Type Theory For All 播客上与 Conal Elliot 的一场精彩讨论。

收听

被推荐的单集

  1. #26 Mechanizing Modern Mathematics - Kevin Buzzard2023年1月16日 · 2 小时 16 分 · 1 位 HN 用户

最新单集

  1. #65 TLA+, Quint and Formal Verification in the Age of AI - Gabriela Moreira2026年10月19日 · 2 小时 3 分
  2. #64 PL Education in the Age of AI - Shriram Krishnamurthi2026年9月5日 · 2 小时 44 分
  3. #63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet2026年8月7日 · 1 小时 46 分
  4. #62 Dependent Haskell - Vladislav Zavialov2026年6月13日 · 2 小时 5 分

音频直接来自发布者自己的 RSS 源，HackerPods 既不托管，也不代理。

关于这档节目

一档通俗易懂的播客，讲述类型论、编程语言研究及相关话题。

机器翻译来自发布者的 RSS 源

更多评论摘录

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

机器翻译<i>Type Theory Forall</i> 播客本周发布了对 Kevin Buzzard 的访谈

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

机器翻译“Type Theory Forall”——一档关于形式化方法与类型论的播客，来的嘉宾都相当了不起！

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

机器翻译谢谢，这个类比真美妙，我已经迫不及待想听那档播客了。

逐月推荐记录

每年一行，从一月至十二月。实心圆点表示该月有人推荐过这档节目。