https://index.zshipu.com/geek001/tags/Shriram-Krishnamurthi/ Recent content in Shriram Krishnamurthi on 知识铺的博客 Hugo -- gohugo.io zh-CN Mon, 07 Sep 2026 00:00:00 +0000 https://index.zshipu.com/geek001/post/20260907/PL-Education-in-the-Age-of-AIShriram-Krishnamurthi-%E8%AE%BF%E8%B0%88%E4%B8%8A%E7%BA%BF/ Mon, 07 Sep 2026 00:00:00 +0000 https://index.zshipu.com/geek001/post/20260907/PL-Education-in-the-Age-of-AIShriram-Krishnamurthi-%E8%AE%BF%E8%B0%88%E4%B8%8A%E7%BA%BF/ 访谈正式发布 Type Theory For All 播客推出新集，标题为 PL Education in the Age of AI: Interview with Shriram Krishnamurthi。完整内容已在 typetheoryforall.com/episodes/pl-education-in-the-age-of-ai 页面上线。页面同时提供 Lobsters 讨论链接 https://lobste.rs/s/eoaw1h/pl_education_age_ai_interview_with，方便社区成员直接参与。