PL Education in the Age of AI: Interview with Shriram Krishnamurthi (typetheoryforall.com) 1 points by gnyeki 1mo ago ↗ HN
0 comments
[ 3.6 ms ] story [ 11.5 ms ] threadNo comments yet.