4 ms·
Here is a lecture series on HoTT from CMU. The video recordings are abysmal, but I still find the lectures very interesting because of how the instructor motiva
by skulk 5y ago
Here is a lecture series on HoTT from CMU. The video recordings are abysmal, but I still find the lectures very interesting because of how the instructor motivates everything.
https://www.youtube.com/watch?v=u92V0OMgvhM&list=PL1-2D_rCQBarjdqnM21sOsx09CtFSVO6Z https://www.youtube.com/watch?v=u92V0OMgvhM&list=PL1-2D_rCQB...
- fezzez 5y agoI was lucky to see have had this instructor for a couple of lessons. Bob is a total legend.
- mhh__ 5y agoWow, you weren't kidding. I don't know how recently these were recorded but it's to cheap these days to get good video I get really annoyed seeing good material wasted by bad AV
- abss 5y agoVery good indeed!