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

    Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

    Fullstack Academy

    5 HN recommenders · recommended in 5 months, 2019–2024

    YouTube

    1:02:15 · 228K views · Aug 25, 2017

    Gabriel Lebec's Fullstack Academy talk introduces lambda calculus syntax, the history of mathematical logic, and the essence of functional programming using JavaScript. It also covers combinators, currying and Church encodings.

    Repeatedly recommended as one of the most approachable introductions to lambda calculus and combinators.

    Mathematics & Theoretical CSComputability & complexity theoryFunctional programming
    1. 53:22
      Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim WeirichConfreaks66K views • 13 years ago
    2. 40:50
      Ruby Manor 3 - Programming with Nothing by Tom StuartConfreaks13K views • 13 years ago
    3. 3:26:34
      David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201952K views • 7 years ago
    4. 1:07:10
      Brian Beckman: Don't fear the Monadjasonofthel33t415K views • 13 years ago
    5. 42:43
      "Propositions as Types" by Philip WadlerStrange Loop Conference144K views • 11 years ago
    6. 36:31
      Hey Underscore, You're Doing It Wrong!InfoQ141K views • 13 years ago
    7. 1:05:51
      The Functional Programmer's Toolkit - Scott WlaschinNDC Conferences79K views • 7 years ago
    8. 56:58
      Philip Wadler - Propositions as Types (Lambda Days 2016)Erlang Solutions20K views • 10 years ago
    9. 1:12:56
      Lecture 1A: Overview and Introduction to LispMIT OpenCourseWare421K views • 7 years ago
    10. 1:00:34
      1. Introduction, Finite Automata, Regular ExpressionsMIT OpenCourseWare628K views • 5 years ago
    11. 10:44
      P vs. NP and the Computational Complexity Zoohackerdashery3.7M views • 12 years ago
    12. 49:47
      Monads and GonadsGoogle TechTalks148K views • 13 years ago
    13. 46:46
      Category Theory 1.1: Motivation and PhilosophyBartosz Milewski394K views • 10 years ago
    14. 1:07:22
      Invited Talk - Guy SteeleClojureTV39K views • 9 years ago
    15. 11:25
      Monad - FunFunFunction #21Fun Fun Function128K views • 10 years ago
    16. 1:12:56
      Lecture 1A | MIT 6.001 Structure and Interpretation, 1986MIT OpenCourseWare995K views • 17 years ago
    17. 1:50:07
      JSON Parser 100% From Scratch in Haskell (only 111 lines)Tsoding205K views • 6 years ago
    18. 1:30:45
      The Simple Essence of Automatic Differentiation - Conal ElliottMicrosoft Research17K views • 8 years ago
    19. 43:16
      Pure Functional Programming in Excel • Felienne Hermans • GOTO 2016GOTO Conferences26K views • 10 years ago
    20. 40:39
      Category Theory in Life - Eugenia ChengLambda World113K views • 9 years ago

    5 comments from Hacker News

    1. @triyambakamSep 2020· in “All you need is λ, part one: booleans”

      Just last night I found this excellent introduction to the Lambda Calculus by Gabriel Lebec [1]. It's one of the best I've come across and covers briefly history, building up combinators (using Smullyan's names) leading up to implementing Church encodings and gives Javascript equivalents (or approximations when not possible). The slides themselves are also very aesthetically pleasing, Gabriel has a good sense of colour and design [1] this video

      Strongly recommendsView on HN
    2. @autophagianMay 2022· in “Logic”

      For anyone interested in the topic (combinatory logic as told through the medium of birds) I adore Gabriel Lebec's talk "A Flock Of Functions: Combinators, Lambda Calculus & Church Encodings in JavaScript" this video

      Strongly recommendsView on HN
    3. @ZhylJul 2024· in “Ask HN: What resources do you recommend for learning Haskell?”

      I found these two videos on combinators and lambda calculus recently. They're only tangentially related to Haskell, but they are the most approachable videos on the topic I have ever seen. this video [LINK]

      Strongly recommendsView on HN
    4. @ayushgpAug 2019· in “Lisp is not based on the Lambda Calculus”

      I suggest you to watch this video if you want to understand how 3 basic functions can be used to create whole language this video

      RecommendsView on HN
    5. @zellynFeb 2024· in “A little closer to finding what became Moses Schönfinkel (2021)”

      I would start with lambda calculus. If you pick the right intro video, they'll stray into combinators: this video is very good.

      RecommendsView on HN