type-driven development

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.

Yaron Minsky of Jane Street gave this talk to Harvard's OCaml-based CS51 class in 2010. It collects advice on being an effective ML programmer in an industrial setting.

The first clip from Russell Barkley's 30 Essential Ideas about ADHD series, introducing ADHD as a chronic developmental disability. It is part of a lecture series on the disorder by a leading ADHD researcher.

Part 10 of Dan Gelbart's prototype-building lecture series, covering flexures: flexible joints that give precise, frictionless motion. It shows how a cheap piece of aluminum can become a nanometer-accurate mechanism.

The final part of Dan Gelbart's 18-part Building Prototypes series, focused on mechanical design. It opens with a demonstration of stiffness and covers practical design principles for prototype machines.

A short clip from Udacity's Web Development course in which Reddit co-founder Steve Huffman describes how Reddit grew early on. He explains seeding the site with content from fake accounts.

Anders Hejlsberg whiteboards how compilers are taught versus how modern ones are actually built. He explains the shift to compilers as services with incremental, error-tolerant, IDE-oriented design, as in Roslyn and TypeScript.

Jordan Peterson's first lecture in his Biblical Series examines the idea of God as sovereignty and power abstracted from any individual ruler, and as the pattern inherent in human dominance hierarchies.

Dr. Russell Barkley's roughly three-hour lecture on ADHD for parents of affected children. It explains what ADHD is and how the ADHD brain differs.

The first lecture of Jordan Peterson's 2017 Maps of Meaning course, setting out the Cold War context for his theory of belief and culture. He introduces the narrative structure of culture and archetypal characters for the individual, the known and the unknown.

Simon Peyton Jones gives Churchill College's annual computer science lecture on Haskell's birth and evolution. He covers the most influential ideas, from laziness to monads and type system evolution, plus current developments and guesses about the future.

Casey Muratori's 2005 video introducing immediate-mode GUIs as an alternative to retained widget toolkits. He explains the motivation and shows minimal-state button logic.

Michael Levin presents his lab's work on how cellular collectives use bioelectric networks to make anatomical decisions. Topics include pattern memories, regeneration and synthetic living organisms.

Peter Norvig's UBC distinguished lecture on how massive amounts of simple data, such as for language modeling, can yield understanding that hand-built models could not.

Andrej Bauer's IAS talk introduces constructive mathematics and what it feels like to do mathematics without excluded middle. It is framed as a tour for classical mathematicians.

An 11-minute clip of Milton Friedman explaining the incentives of unions and how they affect employment. He argues unions restrict labor supply, raising pay for some workers while hurting low-skill workers.

Milton Friedman explains why the US tax code is enormously complex and why meaningful reform is unlikely. He argues that politicians profit from the complexity, since tax breaks are products they sell and the code works as a tool of reward and punishment. The clip is about 14 minutes from his lecture series.

A short clip of Milton Friedman explaining who benefits from occupational licensing requirements, arguing they mainly protect practitioners from competition.

A short clip of Milton Friedman arguing with students that equal pay laws are counterproductive, and that markets penalize discrimination because cheaper equally productive workers are an advantage to hire.

A short clip of Milton Friedman explaining his free-market view of monopoly, namely that monopolies persist mainly through government help. It is excerpted from the Milton Friedman Speaks series.

Elizabeth Warren's 2007 Berkeley lecture, when she was a Harvard law professor, on why middle-class families are under growing financial strain. She draws on bankruptcy research to examine rising costs of housing, health care and education.

The opening lecture of Steve Brunton's Control Bootcamp, covering the kinds of control and why closed-loop feedback matters. It starts a series that follows the control chapter of the Brunton and Kutz data-driven science book.

Hans Rosling uses population statistics to explain why the world population will level off rather than grow without limit. He shows that falling child mortality and rising prosperity lead to smaller families.

Hennessy and Patterson's 2018 Turing Award lecture at ISCA, A New Golden Age for Computer Architecture. It covers domain-specific hardware, security, open instruction sets and agile chip development.

Energy scholar Vaclav Smil argues that global energy transitions are slow and that renewable targets should not rest on wishful thinking. He appraises how energy dependencies are likely to change and asks for using much less.

Thomas Garrity discusses mathematical maturity, a concept mathematicians use for professional development, and how it can inform teaching, mentoring and careers. It was given at the IAS/PCMI Park City Mathematics Institute.