lambda school

David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.

An AWS re:Invent 2018 session in which Holly Mesrobian and Marc Brooker explain how AWS Lambda is built, including its sandboxing, isolation and scaling architecture. It covers what happens under the hood when serverless code runs.

Paul Graham speaks at Startup School 2008 about how to create a successful startup. His talk emphasizes being good, not just avoiding being evil, as a strategic advantage.

Paul Buchheit, creator of Gmail and founder of FriendFeed, speaks at Startup School 08 about listening to users. He covers feedback, features, aiming for 100 happy users, and treating "that's impossible" as a statement of limited experience.

Mike Arrington of TechCrunch speaks at Startup School 2008 about how to get press coverage for a startup and how to respond to it.

California Superbike School demonstrates its 'No B.S.' bike, which has fixed handlebars so riders can only steer with body lean. It illustrates how little control that gives compared with countersteering.

Peter Norvig, then Director of Research at Google, talks at Startup School 2008 about leveraging large amounts of data and about technical challenges in Google projects such as image search. A central idea is that data can beat hand-written programming.

Alan Kay's Stanford Startup School lecture covers his career at Xerox PARC and how to think about inventing the future. He goes through what came out of PARC and why companies fail to capitalize on such ideas.

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.

Chase Adam, founder of the nonprofit Watsi, speaks at Startup School 2013 about building a nonprofit startup.

Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.

Joel Spolsky, founder of Fog Creek Software and StackExchange, speaks at Y Combinator's Startup School in 2012. He shares his perspective on building startups.

A Startup School SV 2014 conversation between Sequoia's Jim Goetz and WhatsApp founder Jan Koum. They discuss how Sequoia pursued WhatsApp, its tiny engineering team, and how it handled growth and support.

Aditya Siram argues that functional programming has much to learn from Smalltalk's interactivity, using Pharo and Squeak to show live, visual, explorable programming environments.

Part two of Alan Kay's Stanford Startup School lecture on inventing the future. He draws on his time at Xerox PARC and elsewhere to discuss how to think about new technology and what makes ideas useful.

Alan Kay speaks at the DEMO Founder School session on why real progress takes invention rather than incremental innovation. He argues for problem-oriented thinking and long-term research funding.

A Lambda Days keynote by Simon Peyton Jones and Tim Sweeney introducing Verse, Epic's functional logic language for the metaverse. It covers existential variables, unification and expressions yielding multiple values.

A Startup School 2013 session where Paul Graham and Sam Altman hold live office hours with startups including CodeCombat, Flexport and others. The founders pitch and get on-the-spot feedback.

Jim Weirich's RubyConf 2012 talk derives the Y combinator step by step, live-coding in Ruby lambdas. It builds up an understanding of functional programming and lambda calculus from first principles.

Jose Valim introduces Nx, the project bringing numerical computing to Elixir, covering multi-dimensional tensors, automatic differentiation and JIT compilation to CPU and GPU.

A Hitachi promotional cartoon in the style of Schoolhouse Rock explaining perpendicular magnetic recording for hard drives.

Erik Meijer argues that category theory is the mathematicians' version of interface-based design. He shows that Java 8 lambdas and method references form a Cartesian closed category.

Turing Award winner Michael Stonebraker gives the 2018 Donald B. Gillies Memorial Lecture at Illinois. He discusses the gap between academic research and industry problems, publishing incentives, and the influence of large industry users on research.

Bill Dally of NVIDIA gives a University of Washington lecture on trends in deep learning hardware. It covers numeric formats, specialized instructions, energy per operation and co-design of hardware and software.

Alan Kay visits Carnegie Mellon's School of Computer Science in 2007 for an informal conversation with faculty and students. He discusses the state of CS education and criticizes mainstream computing.

Alan Kay argues for rethinking how computer science is taught in schools, drawing on his work on object-oriented programming and GUIs. He discusses how poorly people understand complex systems and what education could do about it.

Simon Peyton Jones's first lecture on types in Haskell from the Oregon Programming Languages Summer School 2013. It covers type classes and how they relate to OOP, subtyping and polymorphism.