lambda school

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.

John Oliver's Last Week Tonight segment on homeschooling, focusing on how little regulation exists in many US states. It covers states where a one-time declaration removes children from any oversight.

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.

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

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.

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.

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

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.

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

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.

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.

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

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.

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.

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.

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.

Regent Law professor James Duane gives startling reasons why people, even innocent ones, should always exercise their Fifth Amendment rights rather than talk to police. It is based on his article and book on the subject.

Ed Catmull of Pixar speaks at Stanford's 2007 Entrepreneurship Conference on running a creative company. He argues for surfacing small problems early and building good teams, with stories like the Toy Story 2 crunch.

The first lecture of Stanford's CS231n course on convolutional neural networks for visual recognition. It surveys the history and key challenges of computer vision, from the Cambrian explosion and Hubel and Wiesel to ImageNet.

Chamath Palihapitiya's Stanford GSB View From The Top talk on money as an instrument of change. HN mostly knows it for his remarks on social media's dopamine-driven feedback loops and regrets about Facebook.

In Ars Technica's War Stories, Naughty Dog co-founder Andy Gavin explains how the team squeezed Crash Bandicoot onto the original PlayStation. They overwrote Sony library code in RAM, built custom animation compression, and streamed assets around slow seek times.

The pilot of the British comedy series Look Around You, a deadpan parody of 1970s and 80s school science programmes, in which the scientists examine calcium.

John Oliver's Last Week Tonight segment on the NCAA, arguing that the organization profits enormously from college athletes while insisting they remain unpaid amateurs. It covers the money in college sports, including big-school athletic spending, and the case for paying athletes.

Dr. K of HealthyGamerGG argues that gifted kids can be seen as special needs, tracing a path from the gifted label to burnout and perfectionism.

A lecture for high school seniors and college freshmen making the case for nuclear power and answering common objections. It is an overview of the channel's more detailed videos on each topic.

Andrej Karpathy's keynote at AI Startup School laying out software 1.0, 2.0 and 3.0, with LLMs seen as utilities, fabs and operating systems. It covers LLM quirks, partial-autonomy apps and keeping a human in the generate-and-verify loop.