lambda school

Gabriel Lebec's Fullstack Academy talk introduces lambda calculus syntax, the history of mathematical logic, and the essence of functional programming using JavaScript. It also covers combinators, currying and Church encodings.

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.

Jacob Geller's video essay examines how architecture in schools and in video games, such as cover shooters, is shaped by violence. It touches on brutalism, campus policing and protests.

David Heinemeier Hansson's talk at Startup School 2008 on building a profitable startup. He argues for bootstrapping and small, well-run companies instead of chasing investment and exits.

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.

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.

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.

Segment co-founder and CEO Peter Reinhardt recounts how his company found product-market fit, including how a product grew out of a small feature of another. It is a lecture from Stanford's Startup School course.

Sir Ken Robinson argues, with humor and stories such as that of choreographer Gillian Lynne, that education systems undermine creativity and should be changed. It is one of the most viewed TED talks.

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.

The Schoolhouse Rock! cartoon song 'I'm Just a Bill', in which a bill explains how it travels through Congress to become law.

2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.

A Wired short on competitive high school policy debate, where students speak at around 350 words per minute. It shows how a nerdy contest turned into a high-speed spectacle.

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.

A School of Life video arguing that everyone marries someone who is somewhat wrong for them, and that this is unavoidable. It is a four-minute version of an essay by Alain de Botton.

Y Combinator partner Pete Koomen, who led Optimizely to $100M ARR, walks through the enterprise sales funnel. Chapters cover prospecting, outreach, qualification, pricing, closing, procurement and implementation.

The School of Life sets out principles for making attractive cities, arguing that the art has been lost in the modern world.

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.

A School of Life short introducing Michel Foucault, who questioned assumed progress in how society treats madness, medicine and sexuality.

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 Startup School talk by YC partner and former Airbnb growth head Gustaf Alstromer on how startups get their first customers. It covers doing things that don't scale, founders learning sales, the sales funnel, and charging your first customer.

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.

A 1969 BBC Tomorrow's World segment about Nellie, a school computer used by pupils at Forest Grammar School to solve equations and play music. Students learn programming and maintenance, and act out binary arithmetic.

A short clip from Star Trek (2009) showing young Spock learning at a Vulcan school with an immersive, machine-driven teaching system.

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.

Actress Claudia Christian tells how she overcame alcoholism using the Sinclair Method, which uses naltrexone to gradually reduce cravings. She discusses fresh perspectives on treating alcohol use disorder.

Santa Clara County District Attorney Jeff Rosen explains in a TEDx talk why Germany has lower crime and far fewer prisoners than the US, and what American criminal justice could learn from German prisons.

Y Combinator CEO Michael Seibel lectures at Startup School on building a product people want: identifying the problem, the customer, an MVP and which customers to pursue first.

The 8-Bit Guy explains the color limitations of 1980s computers and consoles such as the NES and Commodore 64. It shows how sprites, attributes and palettes shaped the look of old games.

Tyler Bosmeny, CEO of Clever, gives a Y Combinator Startup School talk on how early-stage companies should approach sales and build an enterprise sales team.

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.

A scene from the film Back to School in which Rodney Dangerfield takes his first economics class and brings real-world business experience to a classroom exercise on widgets. It shows the gap between school and the real world.

RocketJump Film School argues that we only notice bad CG while great CG is invisible, so CG seems to be everywhere ruining movies when it often is not.

Eugenia Cheng gives the opening keynote at Lambda World 2017, presenting category theory as very abstract algebra whose abstraction gives it broad applicability. She applies it to everyday questions including privilege and prejudice.

A School of Life animated overview of Albert Camus, covering his existentialism and absurdism and his answer to the question of meaninglessness.