PL Education in the Age of AI: Interview with Shriram Krishnamurthi

typetheoryforall.com