David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 20194 HN recommenders · recommended in 4 months, 2019–2021
tutorial · intermediate · evergreen · 2019–2021 on HN
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.
Up next
5 mo on HNCoding Adventure: Ant and Slime Simulations
Sebastian Lague
6 HN recommender · 2021–2024
2 mo on HNThe Absurdity of Detecting Gravitational Waves
Veritasium
3 HN recommender · 2017–2019
10 mo on HNYouTube's copyright system isn't broken. The world's is.
Tom Scott
13 HN recommender · 2020–2024
4 mo on HNGDC 2018: John McDonald (Valve) - Using Deep Learning to Combat Cheating in CSGO
max4warn
5 HN recommender · 2018–2026
2 mo on HNKarl Sims - Evolved Virtual Creatures, Evolution Simulation, 1994
MediaArtTube
2 HN recommender · 2014–2022
14 mo on HN"Simple Made Easy" - Rich Hickey (2011)
Strange Loop Conference
14 HN recommender · 2022–2026
3 mo on HNCharlie Marsh: uv: An Extremely Fast Python Package Manager
Jane Street
3 HN recommender · 2024–2025
3 mo on HNUnderstanding the Toyota RAV4 Hybrid
WeberAuto
3 HN recommender · 2023–2026
18 mo on HNRuby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
17 HN recommender · 2013–2026
9 mo on HN28c3: The Science of Insecurity
28c3
9 HN recommender · 2012–2024
8 mo on HN"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommender · 2015–2026
7 mo on HNBreak Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
6 HN recommender · 2017–2026
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!
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
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).