David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 20194 HN recommenders · recommended in 4 months, 2019-2021
52K views · 7 years ago · tutorial · evergreen
David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.
HN calls it a brilliant, mind-bending introduction to lambda calculus for programmers.
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
227K views • 9 years ago
40:50Ruby Manor 3 - Programming with Nothing by Tom Stuart
Confreaks
13K views • 14 years ago
53:22Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
65K views • 14 years ago
57:05Keynote: Begin...End?
David Beazley
9K views • 5 years ago
46:10Understanding the Python GIL
David Beazley
127K views • 14 years ago
1:01:45A Talk Near the Future of Python (a.k.a., Dave live-codes a WebAssembly Interpreter)
David Beazley
26K views • 7 years ago
10:44P vs. NP and the Computational Complexity Zoo
hackerdashery
3.7M views • 12 years ago
52:24Friday evening lightning talks
Next Day Video
6K views • 13 years ago
2:12:42Build Your Own Async
David Beazley
60K views • 7 years ago
28:28What is PLUS times PLUS?
2swap
2.2M views • 1 year ago
43:37Lambda World 2018 - What FP can learn from Smalltalk by Aditya Siram
Lambda World
25K views • 7 years ago
1:07:22Invited Talk - Guy Steele
ClojureTV
39K views • 9 years ago
1:00:341. Introduction, Finite Automata, Regular Expressions
MIT OpenCourseWare
626K views • 5 years ago
1:30:45The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
17K views • 8 years ago
48:51Transforming Code into Beautiful, Idiomatic Python
Next Day Video
1.1M views • 13 years ago
1:07:10Brian Beckman: Don't fear the Monad
jasonofthel33t
415K views • 13 years ago
56:58Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
20K views • 10 years ago
36:14Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV
8K views • 9 years ago
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
143K views • 11 years ago
1:04:16Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Churchill College, University of Cambridge
170K views • 9 years ago
4 comments from Hacker News
For someone fluent in Python, David Beazley gives a brilliant introduction to lambda calculus here: ▶ this video This is great fun to follow through on a rainy afternoon!
This talk by David Beazley (Lambda Calculus from the Ground Up) might be useful: ▶ this video Zero and one come in around the 35 minute mark (after booleans).
If you want your mind to blow up I recommend watching this year's "Lambda Calculus from the Ground Up" PyCon talk by the wizard David Beazley ▶ this video
Just watched his PyCon 2019 where he derives lambda calculus from scratch in Python, and he had similar shell magics going on there too. Great tutorial if you've never seen lambda calculus before, definitely brain twister. ▶ this video