PL Class: Lambda calculus Published 2022-02-07 Download video MP4 360p Recommendations 1:08:24 Lambda Calculus vs. Turing Machines (Theory of Computation) 57:16 Composability Sync - Legacy Quantization, Apple Silicon, Dynamic shapes in VLLM 30:08 Lambda Calculus Then and Now 57:51 PyTorch composability sync 3:26:34 David Beazley - Lambda Calculus from the Ground Up - PyCon 2019 38:25 Calculating Bubble/Dew Points from a Binary Mixture of Benzene/Toluene using Raoult's Law in Python 15:43 Lambda Calculus: The foundation of functional programming, and the simplest programming language 19:06 Calculus at a Fifth Grade Level 25:56 This experiment confirmed quantum physics 1:45:56 Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62 1:04:13 Composability sync - Kernel sharing in Executorch and ATen 33:55 L17: Lambda Calculus Reductions and Substitution 49:19 Composability Sync - User defined Triton vs custom ops / C++ FX 37:14 Composability sync - A bunch of FYIs 1:34:44 Jim Keller: Moore's Law, Microprocessors, and First Principles | Lex Fridman Podcast #70 56:03 Lecture 5: Thermodynamic Processes 09:24 Free and Bound Variables in Lambda Calculus: What are they and how can we calculate them? Similar videos 18:41 The Simply Typed Lambda Calculus (2.1) 1:13:25 PL Class: Type classes 1:17:49 PL Class: Algebraic data types 1:10:34 PL Class: Scope 10:04 Arithmetic and Addition in Lambda Calculus | Functional Programming 1:01:28 ACM@UIUC SIGPLAN - Type Theory - 1 (Lambda Calculus) 09:51 Lambda Calculus! 06:24 Lambda Calculus Syntax 1:00:03 cs321 lambda substitution 1 09:50 PL Class: Laziness (part 1) 1:53:00 James McKinna - Lambda Calculus - SPLV 2022 51:06 CS6225 Programs and Proofs 30 Lambda Calculus 35:08 Richard Statman, "Cayley Monoids and Linear Lambda Calculus" 54:21 PL Class: Metacircular Evaluator 16:25 β-Reduction in the Untyped λ-Calculus (1.2) More results