Skip to content
HomeVideos
AllLongsCategoriesPlaylists
BooksBlogsPodcasts
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K

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

    PyCon 2019

    4 HN recommenders · recommended in 4 months, 2019–2021

    YouTube

    3:26:34 · 52K views · May 2, 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.

    Mathematics & Theoretical CSComputability & complexity theoryFunctional programmingPython, Ruby & scripting languages
    1. 1:01:39
      "Simple Made Easy" - Rich Hickey (2011)Strange Loop Conference220K views • 5 years ago
    2. 1:02:15
      Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy228K views • 9 years ago
    3. 53:22
      Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim WeirichConfreaks66K views • 13 years ago
    4. 40:50
      Ruby Manor 3 - Programming with Nothing by Tom StuartConfreaks13K views • 13 years ago
    5. 1:01:45
      A Talk Near the Future of Python (a.k.a., Dave live-codes a WebAssembly Interpreter)David Beazley26K views • 7 years ago
    6. 57:05
      Keynote: Begin...End?David Beazley9.5K views • 5 years ago
    7. 46:10
      Understanding the Python GILDavid Beazley127K views • 14 years ago
    8. 10:44
      P vs. NP and the Computational Complexity Zoohackerdashery3.7M views • 12 years ago
    9. 1:07:22
      Invited Talk - Guy SteeleClojureTV39K views • 9 years ago
    10. 48:51
      Transforming Code into Beautiful, Idiomatic PythonNext Day Video1.1M views • 13 years ago
    11. 2:12:42
      Build Your Own AsyncDavid Beazley60K views • 7 years ago
    12. 1:07:10
      Brian Beckman: Don't fear the Monadjasonofthel33t415K views • 13 years ago
    13. 1:31:06
      William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]PapersWeLove367K views • 9 years ago
    14. 42:43
      "Propositions as Types" by Philip WadlerStrange Loop Conference144K views • 11 years ago
    15. 1:12:56
      Lecture 1A: Overview and Introduction to LispMIT OpenCourseWare421K views • 7 years ago
    16. 52:24
      Friday evening lightning talksNext Day Video6.4K views • 13 years ago
    17. 1:00:34
      1. Introduction, Finite Automata, Regular ExpressionsMIT OpenCourseWare628K views • 5 years ago
    18. 43:37
      Lambda World 2018 - What FP can learn from Smalltalk by Aditya SiramLambda World25K views • 7 years ago
    19. 1:12:56
      Lecture 1A | MIT 6.001 Structure and Interpretation, 1986MIT OpenCourseWare995K views • 17 years ago
    20. 1:30:45
      The Simple Essence of Automatic Differentiation - Conal ElliottMicrosoft Research17K views • 8 years ago

    4 comments from Hacker News

    1. @ehsankiaMay 2019· in “Python built-ins worth learning”

      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

      Strongly recommendsView on HN
    2. @globular-toastJun 2021· in “Lambda Calculus Examples (2009) [pdf]”

      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!

      Strongly recommendsView on HN
    3. @sethgeckoAug 2019· in “One-lined Python”

      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

      Strongly recommendsView on HN
    4. @avadorAug 2020· in “A circuit-like notation for lambda calculus (2015)”

      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).

      RecommendsView on HN