The universe in a single arrow
summary
Claims that a single anonymous JS arrow function suffices to encode the entire computable universe and then shows it concretely by live coding. Implements Church numerals as repeated function application, builds addition and multiplication, defines boolean choosers and conditional logic, and constructs pairs and lists with head/tail. Several live conversions to JavaScript numbers and truth tables run on stage, arithmetic and list operations evaluate correctly, and the demos repeatedly succeed, so the claim is demonstrated with actual code and working examples.
AI-written summary · about
chapters (11)
- 0:00Start
- 2:03The Recurse Center
- 3:35Live Coding the Lambda Calculus
- 4:00Lambda Calculus
- 7:16Lambda Function
- 7:54Function Abstraction
- 16:27Church Numerals
- 21:04Function Applications
- 30:21Logical Operators
- 36:36Data Structures
- 37:54What Is a Pair
related talks
34mThe universe in a single arrow: A live dive into the lambda calculus
30mThe Universe in a Single Arrow: A Live Dive into the Lambda Calculus
59mLambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2
47mThere is a bluebird in my talk that wants to get out
48mIt’s birds all the way down: Fun Introduction to Lambda Calculus
53mExplaining Lambda Calculus through Plain JavaScript
01h 03mLambda Calculus For People Who Can't Be Bothered to Learn It - part 2 of 2
49mGoing Functional with JS