Ruby Manor 3 - Programming with Nothing by Tom Stuart
Confreaks4 HN recommenders · recommended in 4 months, 2013–2019
talk · intermediate · evergreen · 2013–2019 on HN
Tom Stuart's Ruby Manor 3 talk builds FizzBuzz using nothing but Ruby lambdas, working through Church encodings of numbers, booleans and data structures. It is a hands-on introduction to lambda calculus.
Strongly recommended in lambda calculus and Y-combinator threads as a mind-expanding half hour that clarifies the ideas.
Up next
6 mo on HNRamanujan: Making sense of 1+2+3+... = -1/12 and Co.
Mathologer
3 HN recommender · 2016–2024
4 mo on HNNumberphile v. Math: the truth about 1+2+3+...=-1/12
Mathologer
4 HN recommender · 2020–2023
2 mo on HNJeff Hawkins: Thousand Brains Theory of Intelligence | Lex Fridman Podcast #25
Lex Fridman
2 HN recommender · 2019–2021
18 mo on HNRuby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
17 HN recommender · 2013–2026
9 mo on HN28c3: The Science of Insecurity
28c3
9 HN recommender · 2012–2024
8 mo on HN"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommender · 2015–2026
7 mo on HNBreak Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
6 HN recommender · 2017–2026
7 mo on HNMath's Fundamental Flaw
Veritasium
7 HN recommender · 2021–2024
6 mo on HNOn The Turing Completeness of PowerPoint (SIGBOVIK)
Tom Wildenhain
8 HN recommender · 2017–2025
6 mo on HNLife in life
Phillip Bradbury
6 HN recommender · 2013–2025
5 mo on HNLambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
5 HN recommender · 2019–2024
6 mo on HNAll the Numbers - Numberphile
Numberphile
6 HN recommender · 2019–2025
5 comments from Hacker News
An awesome video which changed my perspective towards lambda calculus and programming in general: programming with nothing: ▶ this video
For anyone who finds this interesting, I cannot recommend enough investing a half hour in watching the "Programming With Nothing" talk: ▶ this video In it, the speaker implements fizzbuzz using only lambda calculus (making significant use of church encoding).
If you are curious about the topic, I strongly recommend watching these videos: Y Not- Adventures in Functional Programming by Jim Weirich link Programming with Nothing by Tom Stuart ▶ this video
There's a good elaboration of it in Tom Stuart's "Programming With Nothing" talk[0], in which he does a lambda calculus implementation of FizzBuzz in what's left of Ruby if you leave everything out except the things strictly necessary to do lambda calculus - with the exception of what you could call C-style macros (basically text search-and-replace, so you can call a section of code FOO and just type FOO everywhere you would have typed that section of code). There's also the little matter of output - you need to translate the resulting Church numerals into readable form for those who can't see that you've obviously produced correct FizzBuzz. There's a good enough explanation that what needs to be sort of hand-waved for brevity (things that are shown but not really explained in detail) aren't entirely opaque - you will be able to figure it out. Keep in mind, too, that the lambda calculus is a lot like machine language in one respect - the same little bit of "code" can have more than one meaning to the programmer even if the "machine" is doing exactly the same thing. [0] ▶ this video
The same thing, but in Ruby stabby-proc notation (from 2012) by Tom Stuart: ▶ this video Well, perhaps not exactly the same thing, but only because Ruby requires the Z-combinator due to applicative order.