We are currently releasing older YOW! videos to serve as a valuable archive, preserving historical content. It is possible that a video is perceived as outdated. We believe it offers insightful glimpses into the past, enriching our understanding of history and development.
Brilliant stuff and ending with a bit of humor. I loved that he was hinting about all these theories (Set, Category, etc.) becoming so well understood that they are leading to one unified theory.
We are currently releasing older YOW! videos to serve as a valuable archive, preserving historical content. It is possible that a video is perceived as outdated. We believe it offers insightful glimpses into the past, enriching our understanding of history and development.
Brilliant stuff and ending with a bit of humor. I loved that he was hinting about all these theories (Set, Category, etc.) becoming so well understood that they are leading to one unified theory.
HoTT
wut
type theory, dude
@@jasenq6986 looks like I'm not the only one saving this video for Christmas...
@@bigstones84 based
I love dependent types and static checks