HackerTube

THE VIDEO SHELF · lambda calculus

David Beazley - Lambda Calculus from the Ground Up - 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.

Watch & explore the libraryYouTube ↗

Why HN readers recommended it

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

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel
PyCon 2019
Topic
lambda calculus
Format
tutorial
Level
intermediate
HN recommenders in dataset
4
HN mentions in dataset
4
Recommendation years in dataset
2019–2021

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

  • 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]

    ehsankia on Hacker News · 2019-05
    In Python built-ins worth learning

  • 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]

    sethgecko on Hacker News · 2019-08
    In One-lined Python

  • 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!

    globular-toast on Hacker News · 2021-06
    In Lambda Calculus Examples (2009) [pdf]

Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.

Keep exploring