Microsoft Research — Best Videos According to Hacker News
Microsoft Research videos on HackerTube, ranked by how often Hacker News commenters recommended them. HN mostly shares this channel in threads about pure mathematics, machine learning & deep learning, logic & formal methods and ux & ui design.
- videos on HackerTube
- 7
- best all-time rank
- #49
- recommended on HN
- 2012–2026
Most recommended Microsoft Research videos
Each card shows the HN comment that sums it up best.
talkQuantum Computing for Computer Scientists
Microsoft Research
“This video is the simplest explanation that I have found for Quantum Computing”
12 HN recommenders · 2018–2025
talkThe Future of Mathematics?
Microsoft Research
“For a perspective of a mathematician that came to evangelize theorem provers, I recommend Kevin Buzzard's MS 2019-09 presentation [0] about LEAN.”
9 HN recommenders · 2019–2025
talkLeslie Lamport: Thinking Above the Code
Microsoft Research
“He's just saying that you should think before you code and that most specifications should be just a few sentences stating what you intend to do.”
5 HN recommenders · 2015–2026
talkThe Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
“There's a talk that Conal gives that makes the paper a bit more accessible”
3 HN recommenders · 2018–2023
demoApplied Sciences Group: High Performance Touch
Microsoft Research
“It shows the difference between from >100ms to ~1ms. It's mind baffling.”
3 HN recommenders · 2012–2024
talkBetrFS: A Right-Optimized Write-Optimized File System
Microsoft Research
“It's a great example of theoreticians and systems researchers working together.”
2 HN recommenders · 2016–2023
demoSpeech Recognition Breakthrough for the Spoken, Translated Word
Microsoft Research
“Check out this real-time translation of spoken English into written and spoken Chinese (in the same voice of the speaker)”
1 HN recommenders · 2013–2024
Topics this channel covers
Channels HN recommends alongside Microsoft Research