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

(typetheoryforall.com)

3 points | by gnyeki 11 hours ago ago