Why Don't We Program In Lambda Calculus? Rust, Lisp, and Church's Thesis
This is a video that tries to shed light on some of the world of functional programming and its core: lambda calculus. While LC may be able to represent all computable algorithms, I explain why it is still distinct from computation. However, it still has had major influence on Lisp, Haskell, and now Rust.
▶︎
Co-Creator of Haskell: Why Learn Functional Programming, Useless vs Useful Languages | Simon Jones
▶︎
LISP, "God's programming language"
▶︎
Why Can't We Make Simple Software? - Peter van Hardenberg
▶︎
What is PLUS times PLUS?
▶︎
I Gave ChatGPT a Body
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
Programming in Assembly without an Operating System
▶︎
How Factorio Syncs A Million Objects
▶︎
Exposing The Solid State Donut Battery. It's Over.
▶︎
Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains
▶︎
But what is quantum computing? (Grover's Algorithm)
▶︎
A Cult AI Computer’s Boom and Bust
▶︎
Intro to Data Oriented Design for Games
▶︎
Lets LISP like it's 1959
▶︎
Why AI Can Never Escape Turing's 1936 Proof
▶︎
The Only Debate That Matters: Vim VS Emacs
▶︎
The Million Dollar Equation No One Can Solve
▶︎
The Insane Genius of a Formula 1 Gearbox
▶︎
Stackmaxxing for a recursion world record
▶︎