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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

A 16-minute Y Combinator Startup School talk in which Sam Altman lays out what makes a startup succeed. It covers building a product people tell friends about, exponential markets, real versus fake trends, and having an ambitious vision.

Conrad Wolfram argues that the part of math taught in schools, hand calculation, is tedious and mostly irrelevant to real mathematics. He proposes teaching math through computer programming so students can tackle real problems.

MIT's Donald Sadoway presents the liquid metal battery as a design for grid-scale stationary electricity storage, at an Imperial College London event in 2018. He covers the grid benefits of massive-scale storage.

John Carmack speaks at UMKC's 2017 commencement event about the difficulties of VR, especially end-to-end latency across hardware and software. He covers why latency and buffering matter and how nausea is addressed.

Andrew Ng speaks at the Stanford MSx Future Forum about how AI is transforming industry after industry, comparing its impact to electricity. The talk also touches on evil-AI worries, jobs and basic income.

Gabe Newell of Valve speaks at UT Austin's LBJ School on productivity, economics, political institutions and the future of corporations. He discusses in-game economies and how Valve organizes work.

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.

Robert 'Uncle Bob' Martin speaks at Yale School of Management about clean, well-written code and what makes good software development. The talk covers his views on OOP, architecture and professional practice.

Sal Khan of Khan Academy argues that schools push students forward with gaps in their foundations, and that students should instead master concepts at their own pace. He compares it to building a house on an unfinished foundation.

Herb Sutter revisits basic C++ questions in light of C++11 and C++14: how to declare and initialize variables, pass values to functions, write loops, and use smart pointers. It covers auto, rvalue references, range-for, uniform initialization, lambdas, unique_ptr and shared_ptr.

Chris Urmson, head of Google's self-driving car program, shows footage of how the car perceives the road and decides what to do. Examples include cyclist hand signals, school buses, police officers and complex intersections.