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.

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.

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.

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.

Balaji Srinivasan's Startup School 2013 talk on Silicon Valley's Ultimate Exit, arguing for building alternatives outside existing institutions. It is the primary source for a much-retold and much-distorted idea.

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.

Jamie Oliver shows school kids how chicken nuggets are made by blending skin and mechanically reclaimed meat, as part of his school lunch campaign. The kids react with disgust.

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.

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 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.

John Oliver's Last Week Tonight segment on standardized testing in American schools. It covers how tests drive school funding, the achievement gap, and the testing industry around companies like Pearson.

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.

Gabe Newell, founder of Valve, gives a talk at the LBJ School on productivity, economics, political institutions and the future of corporations. He discusses Valve's hiring and pay, its flat structure and an open-office anecdote.

A former libertarian argues against libertarianism, describing the worst-case scenario if government disappeared overnight. It is drawn from the School Sucks Podcast episode on the natural state.

Clayton Christensen explains his theory of disruptive innovation at Oxford's Said Business School, using examples from steel, Toyota, Sony, Walmart and Godrej. He applies the theory to why some economies stagnate and others grow.

An RSA Animate drawn from a Sir Ken Robinson talk arguing that current education systems are modeled on the industrial age. It discusses divergent thinking, standardization, and how schools disengage kids.

Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence). He traces its history through Church, Godel and Turing and shows how it shaped theorem provers and programming languages.