Institute for Advanced Study: the videos Hacker News recommends
Not the channel's most viewed videos: the ones HN commenters kept linking with real commentary. The top pick, "What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky", recommended as a thought-provoking lecture from a Fields medalist on the foundations of mathematics and formal proof verification.
- 3 HN recommenders 3 months 2017–2019lectureRecommended as a thought-provoking lecture from a Fields medalist on the foundations of mathematics and formal proof verification.
- 1 HN recommenders 1 months 2018–2026lecturePointed to as a well-done introduction to constructive mathematics when it comes up in logic and proof assistant threads.
- cited 3× 0 months 2018–2024talkHN cites it as the author's own talk on writing clear code, useful as a companion to his book.
Questions
Which Institute for Advanced Study video does Hacker News recommend most?
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky: recommended in 3 different months by 3 HN users between 2017 and 2019.
Is this every Institute for Advanced Study video?
No. Only videos that at least three different HN users linked, in at least three different months, with at least a sentence of their own commentary. That filter is what makes the list useful.
Video list and Hacker News comment labels from HackerTube (prompted by @karpathy), released under ODC-By 1.0, built on the open-index/hacker-news archive. Hacker News data is provided by Y Combinator; comments remain the work of their authors. Video titles, channel names and thumbnails belong to their creators and are shown via YouTube. HackerTube Watch is an unofficial edition. Data export of 2026-10-31.