PL Education in the Age of AI：Shriram Krishnamurthi 访谈上线
访谈正式发布 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，方便社区成员直接参与。……
