HackerTube
Mathematics & Theoretical CS

Logic & formal methods

Video frame: Brian Beckman: Don't fear the Monad1:07:10

Brian Beckman: Don't fear the Monad

jasonofthel33t
Picked by 9 · 2012–2024
Video frame: 28c3: The Science of Insecurity59:23

28c3: The Science of Insecurity

28c3
Picked by 9 · 2012–2024
Video frame: "Propositions as Types" by Philip Wadler42:43

"Propositions as Types" by Philip Wadler

Strange Loop Conference
Picked by 9 · 2015–2026
Video frame: Math's Fundamental Flaw34:00

Math's Fundamental Flaw

Veritasium
Picked by 7 · 2021–2024
Video frame: The Banach–Tarski Paradox24:14

The Banach–Tarski Paradox

Vsauce
Picked by 6 · 2015–2024
Video frame: The Future of Mathematics?1:14:48

The Future of Mathematics?

Microsoft Research
Picked by 9 · 2019–2025
Video frame: Leslie Lamport: Thinking Above the Code59:50

Leslie Lamport: Thinking Above the Code

Microsoft Research
Picked by 5 · 2015–2026
Video frame: How To Count Past Infinity23:46

How To Count Past Infinity

Vsauce
Picked by 6 · 2016–2022
Video frame: "Finding bugs without running or even looking at code" by Jay Parlar40:27

"Finding bugs without running or even looking at code" by Jay Parlar

Strange Loop Conference
Picked by 4 · 2019–2023
Video frame: Edwin Brady - Idris 2 - Type-driven Development of Idris40:39

Edwin Brady - Idris 2 - Type-driven Development of Idris

Curry On!
Picked by 4 · 2019–2023
Video frame: Infinity is bigger than you think - Numberphile8:00

Infinity is bigger than you think - Numberphile

Numberphile
Picked by 3 · 2014–2022
Video frame: 2017 ACM PPoPP Keynote: It's Time for a New Old Language1:12:12

2017 ACM PPoPP Keynote: It's Time for a New Old Language

Guy Steele
Picked by 3 · 2018–2023
Video frame: Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 1843:23

Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

Code Sync
Picked by 5 · 2018–2024
Video frame: "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram36:58

"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram

Strange Loop Conference
Picked by 4 · 2017–2022
Video frame: Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 201829:21

Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018

PyCon 2018
Picked by 3 · 2018–2023
Video frame: Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 201044:09

Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010

MIT OpenCourseWare
Picked by 3 · 2017–2018
Video frame: What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky58:30

What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky

Institute for Advanced Study
Picked by 3 · 2017–2019
Video frame: "Tackling Concurrency Bugs with TLA+" by Hillel Wayne30:06

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

Strange Loop Conference
Picked by 3 · 2018–2025
Video frame: MIT Godel Escher Bach Lecture 11:02:34

MIT Godel Escher Bach Lecture 1

jasonofthel33t
Picked by 3 · 2017–2021
Video frame: A Tour of Prolog56:03

A Tour of Prolog

The Power of Prolog
Picked by 2 · 2022–2024
Video frame: Philip Wadler - Propositions as Types (Lambda Days 2016)56:58

Philip Wadler - Propositions as Types (Lambda Days 2016)

Erlang Solutions
Picked by 2 · 2016–2021
Video frame: Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt36:14

Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt

ClojureTV
Picked by 3 · 2017–2024
Video frame: "Type-Driven Program Synthesis" by Nadia Polikarpova39:40

"Type-Driven Program Synthesis" by Nadia Polikarpova

Strange Loop Conference
Picked by 2 · 2018–2024
Video frame: "A Little Taste of Dependent Types" by David Christiansen38:36

"A Little Taste of Dependent Types" by David Christiansen

Strange Loop Conference
Picked by 2 · 2018–2023
Video frame: Analyzing Programs with Z343:31

Analyzing Programs with Z3

Compose Conference
Picked by 2 · 2016–2021
Video frame: How An Infinite Hotel Ran Out Of Room6:07

How An Infinite Hotel Ran Out Of Room

Veritasium
Picked by 1 · 2021–2022
Video frame: Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System32:10

Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System

The Julia Programming Language
Picked by 1 · 2016–2024
Video frame: Five Stages of Accepting Constructive Mathematics - Andrej Bauer57:32

Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Institute for Advanced Study
Picked by 1 · 2018–2026
Video frame: NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)58:37

NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)

AdaCore
Picked by 1 · 2022–2026
Video frame: Scott Aaronson | How Much Math Is Knowable?1:06:43

Scott Aaronson | How Much Math Is Knowable?

Harvard CMSA
Picked by 1 · 2025
Video frame: Type-Driven Development in Idris — Edwin Brady46:36

Type-Driven Development in Idris — Edwin Brady

Scala World
Picked by 1 · 2019–2024
Video frame: seL4 Is Free – What Does This Mean For You?49:45

seL4 Is Free – What Does This Mean For You?

Linux.conf.au 2015 -- Auckland, New Zealand
Picked by 1 · 2015–2019
Video frame: ALAIN COLMERAUER L'AVENTURE PROLOG31:00

ALAIN COLMERAUER L'AVENTURE PROLOG

Prolog Heritage
Picked by 0 · 2022–2023