HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings
Mathematics & Theoretical CS

Logic & formal methods

Play all on YouTube

Upload date

Past year2020s2010s2000s

Type

TalkLectureExplainerTutorialDocumentaryInterviewDemoCommentaryComedyMusic

Duration

Under 4 minutes4-20 minutes20-60 minutesOver 1 hour

Features

Hidden gemsEvergreen only

Sort by

Best firstRecently recommendedUpload dateOldest firstView countLike ratio
Brian Beckman: Don't fear the Monad1:07:10

Brian Beckman: Don't fear the Monad

jasonofthel33t
415K views • 13 years ago
28c3: The Science of Insecurity59:23

28c3: The Science of Insecurity

28c3
42K views • 14 years ago
"Propositions as Types" by Philip Wadler42:43

"Propositions as Types" by Philip Wadler

Strange Loop Conference
143K views • 11 years ago
Math's Fundamental Flaw34:00

Math's Fundamental Flaw

Veritasium
30.8M views • 5 years ago
The Banach–Tarski Paradox24:14

The Banach–Tarski Paradox

Vsauce
49.1M views • 11 years ago
The Future of Mathematics?1:14:48

The Future of Mathematics?

Microsoft Research
116K views • 7 years ago
Leslie Lamport: Thinking Above the Code59:50

Leslie Lamport: Thinking Above the Code

Microsoft Research
403K views • 12 years ago
How To Count Past Infinity23:46

How To Count Past Infinity

Vsauce
29.7M views • 10 years ago
"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
42K views • 7 years ago
Edwin Brady - Idris 2 - Type-driven Development of Idris40:39

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

Curry On!
19K views • 7 years ago
Infinity is bigger than you think - Numberphile8:00

Infinity is bigger than you think - Numberphile

Numberphile
7.7M views • 14 years ago
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
7K views • 9 years ago
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
20K views • 7 years ago
"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
26K views • 9 years ago
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
38K views • 8 years ago
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
2.8M views • 13 years ago
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
57K views • 14 years ago
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne30:06

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

Strange Loop Conference
24K views • 9 years ago
MIT Godel Escher Bach Lecture 11:02:34

MIT Godel Escher Bach Lecture 1

jasonofthel33t
557K views • 13 years ago
A Tour of Prolog56:03

A Tour of Prolog

The Power of Prolog
33K views • 4 years ago
Philip Wadler - Propositions as Types (Lambda Days 2016)56:58

Philip Wadler - Propositions as Types (Lambda Days 2016)

Erlang Solutions
20K views • 10 years ago
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt36:14

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

ClojureTV
8K views • 9 years ago
"Type-Driven Program Synthesis" by Nadia Polikarpova39:40

"Type-Driven Program Synthesis" by Nadia Polikarpova

Strange Loop Conference
15K views • 8 years ago
"A Little Taste of Dependent Types" by David Christiansen38:36

"A Little Taste of Dependent Types" by David Christiansen

Strange Loop Conference
48K views • 8 years ago
Analyzing Programs with Z343:31

Analyzing Programs with Z3

Compose Conference
24K views • 10 years ago
How An Infinite Hotel Ran Out Of Room6:07

How An Infinite Hotel Ran Out Of Room

Veritasium
38.5M views • 5 years ago
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
4K views • 11 years ago
Five Stages of Accepting Constructive Mathematics - Andrej Bauer57:32

Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Institute for Advanced Study
34K views • 10 years ago
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
5K views • 5 years ago
Scott Aaronson | How Much Math Is Knowable?1:06:43

Scott Aaronson | How Much Math Is Knowable?

Harvard CMSA
58K views • 1 year ago
Type-Driven Development in Idris — Edwin Brady46:36

Type-Driven Development in Idris — Edwin Brady

Scala World
26K views • 11 years ago
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
10K views • 11 years ago
ALAIN COLMERAUER L'AVENTURE PROLOG31:00

ALAIN COLMERAUER L'AVENTURE PROLOG

Prolog Heritage
7K views • 4 years ago