HackerTube / Video
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 2019

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.
4 Hacker News mentions · 2019–2021