Comments by "Chrysippus" (@4.0.4) on "Homotopy Type Theory: Vladimir Voevodsky - Computerphile" video.

  1. Come on, Linus Tech Tips is just clickbait that delivers, and that's why it's popular. Also computer science is not as popular as "consumer geek culture".
    16