T typetheoryforall.com PL Education in the Age of AI: Interview with Shriram Krishnamurthi 3 points gnyeki 1 month ago 0 comments
