Microsoft Research: the videos Hacker News recommends
Not the channel's most viewed videos: the ones HN commenters kept linking with real commentary. The top pick, "Quantum Computing for Computer Scientists", it is HN's most frequently recommended starting point for quantum computing because it avoids pop-science hand-waving and needs only basic linear algebra.
- 12 HN recommenders 13 months 2018–2025talkIt is HN's most frequently recommended starting point for quantum computing because it avoids pop-science hand-waving and needs only basic linear algebra.
- 9 HN recommenders 7 months 2019–2025talkRecommended as the clearest mathematician's perspective on formal proof assistants and why mathematics should be formalized.
- 5 HN recommenders 5 months 2015–2026talkHN points people to it as Lamport's own case for thinking and writing a spec before coding, and as an entry point to TLA+.
- 3 HN recommenders 4 months 2018–2023talkCited as the more accessible companion to the paper, and as the most interesting treatment of AD via compiling to categories.
- 3 HN recommenders 3 months 2012–2024demoHN commenters cite it whenever input latency comes up, as the demonstration that people can perceive touch delay down to 1 ms.
- 2 HN recommenders 2 months 2016–2023talkHN points to it as a solid, if long, introduction to B-epsilon trees and why BetrFS is built the way it is.
- 1 HN recommenders 1 months 2013–2024demoHN cites it as an early impressive real-time speech translation demo, often in discussions of voice-preserving translation and later AI demos.
Questions
Which Microsoft Research video does Hacker News recommend most?
Quantum Computing for Computer Scientists: recommended in 13 different months by 12 HN users between 2018 and 2025.
Is this every Microsoft Research 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.