HackerTube

"Propositions as Types" by Philip Wadler

Strange Loop Conference201542:43143.5K views

Why it is in the catalog

Hacker News commenters linked this video 20 times between 2015 and 2026, from 9 different accounts. Its recommendation score is 10.

Open on YouTubeFind the HN threads

Tags

curry-howardlambda calculustype theoryfunctional programminglogichistory of computing

More from Mathematics & Theoretical CS

Vectors | Chapter 1, Essence of linear algebra9:52

Vectors | Chapter 1, Essence of linear algebra

3Blue1Brown

2016Mathematics & Theoretical CS20 HN mentions
But what is the Fourier Transform? A visual introduction.19:42

But what is the Fourier Transform? A visual introduction.

3Blue1Brown

2018Mathematics & Theoretical CS20 HN mentions
Quantum Computing for Computer Scientists1:28:23

Quantum Computing for Computer Scientists

Microsoft Research

2018Mathematics & Theoretical CS20 HN mentions
CppCon 2017: Matt Kulukundis “Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step”59:34

CppCon 2017: Matt Kulukundis “Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step”

CppCon

2017Mathematics & Theoretical CS19 HN mentions
Brian Beckman: Don't fear the Monad1:07:10

Brian Beckman: Don't fear the Monad

jasonofthel33t

2012Software Engineering & Languages16 HN mentions
The essence of calculus17:05

The essence of calculus

3Blue1Brown

2017Mathematics & Theoretical CS11 HN mentions
The Fast Fourier Transform (FFT): Most Ingenious Algorithm Ever?28:23

The Fast Fourier Transform (FFT): Most Ingenious Algorithm Ever?

Reducible

2020Mathematics & Theoretical CS9 HN mentions
The man with 1,000 Klein Bottles UNDER his house - Numberphile6:49

The man with 1,000 Klein Bottles UNDER his house - Numberphile

Numberphile

2015Mathematics & Theoretical CS14 HN mentions