BEST OF HACKER NEWS · 20 TALKS
This ranked list contains 20 Logic & formal methods talks from a 33-video topic archive. Entries are ordered by distinct Hacker News recommenders, then by the catalog score; the leading titles include 28c3: The Science of Insecurity, "Propositions as Types" by Philip Wadler, and The Future of Mathematics?. The broader topic archive has 222 labeled comments across 2012–2026, but this list only includes videos classified as talks. Each row shows its recorded recommendation count and a reason based on its tags and HN history. Use the recent-video archive to browse every format by latest HN mention instead.
Browse Logic & formal methods by recent HN mention · How the top talks list is ranked
9 distinct Hacker News commenters recommended this talk about Security & hacking; the recorded mentions span 2012–2024.
9 distinct Hacker News commenters recommended this talk about Logic & formal methods; the recorded mentions span 2015–2026.
9 distinct Hacker News commenters recommended this talk about Logic & formal methods; the recorded mentions span 2019–2025.
5 distinct Hacker News commenters recommended this talk about Logic & formal methods; the recorded mentions span 2015–2026.
5 distinct Hacker News commenters recommended this talk about Programming language design; the recorded mentions span 2018–2024.
4 distinct Hacker News commenters recommended this talk about Logic & formal methods; the recorded mentions span 2019–2023.
4 distinct Hacker News commenters recommended this talk about Programming language design; the recorded mentions span 2019–2023.
4 distinct Hacker News commenters recommended this talk about Programming language design; the recorded mentions span 2017–2022.
3 distinct Hacker News commenters recommended this talk about Programming language design; the recorded mentions span 2018–2023.
3 distinct Hacker News commenters recommended this talk about Testing, debugging & developer tools; the recorded mentions span 2018–2023.
3 distinct Hacker News commenters recommended this talk about Logic & formal methods; the recorded mentions span 2018–2025.
3 distinct Hacker News commenters recommended this talk about Functional programming; the recorded mentions span 2017–2024.
2 distinct Hacker News commenters recommended this talk about Logic & formal methods; the recorded mentions span 2016–2021.
2 distinct Hacker News commenters recommended this talk about Logic & formal methods; the recorded mentions span 2018–2024.
2 distinct Hacker News commenters recommended this talk about Programming language design; the recorded mentions span 2018–2023.
2 distinct Hacker News commenters recommended this talk about Logic & formal methods; the recorded mentions span 2016–2021.
1 distinct Hacker News commenters recommended this talk about Aviation & aerospace engineering; the recorded mentions span 2016–2024.
1 distinct Hacker News commenters recommended this talk about Logic & formal methods; the recorded mentions span 2022–2026.
1 distinct Hacker News commenters recommended this talk about Programming language design; the recorded mentions span 2019–2024.
1 distinct Hacker News commenters recommended this talk about Operating systems & kernels; the recorded mentions span 2015–2019.