HackerTube.dev

David Beazley - Lambda Calculus from the Ground Up - PyCon 2019

PyCon 2019 · 51.6K views · 2019-05-02 · 3:26:34

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

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.

On Hacker News

HN calls it a brilliant, mind-bending introduction to lambda calculus for programmers.

Recommended by 4 HN people across 4 months · HN mentions 2019–2021

Topics

Computability & complexity theoryFunctional programmingPython, Ruby & scripting languages
Search by tags
lambda calculuspythondavid beazleypycon

What people said

globular-toast · 2021-06 · Strong recommendation

For someone fluent in Python, David Beazley gives a brilliant introduction to lambda calculus here: [VIDEO] This is great fun to follow through on a rainy afternoon!

Read the original HN comment ↗
sethgecko · 2019-08 · Strong recommendation

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 [VIDEO]

Read the original HN comment ↗
ehsankia · 2019-05 · Strong recommendation

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. [VIDEO]

Read the original HN comment ↗

Sources

Video by PyCon 2019, played through YouTube.

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks
  • SaaS & AI candidates: Topic keywords do not match
  • Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources