Re:On being a PhD student of Robert Harper
by jkhdigital on Thursday January 27, 2022 @06:56PM
(#30108818)
Similar experience—I came across his HoTT lectures on YouTube and was absolutely blown away by how clear and concise his teaching was. Absolutely transformed my understanding of the subject in just the first lecture.
[ Parent
| on HN ]
There are no comments on this comment yet.