News for hackers. Stuff that matters.
Re:Homotopy Type Theory by mhh__ on Wednesday June 23, 2021 @09:26PM (#27612804)
Wow, 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

There are no comments on this comment yet.