ads

Microsoft's Brian Beckman gives an hour-long, whiteboard-style walk through monads, building from function composition and monoids using school-level math. It is aimed at practicing programmers rather than category theorists.

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.

The first lecture in Bartosz Milewski's category theory series for programmers. It covers the motivation and philosophy behind category theory and why composition matters for handling complexity.

The first lecture of MIT's 6.001 (SICP) with Abelson and Sussman, giving an overview of the course and an introduction to Lisp. It argues that computer science is about managing complexity and abstraction, not computers.

The first lecture of MIT's 1986 6.001 Structure and Interpretation of Computer Programs, given by Harold Abelson, introducing Lisp and the idea of computer science as the study of process.

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.

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.

Lecture 7A from MIT 6.001 (SICP) by Abelson and Sussman introduces the metacircular evaluator, a Scheme interpreter written in Scheme. It shows how evaluating a program is itself a program.

Lecture 1B of MIT's 6.001 Structure and Interpretation of Computer Programs (1986) with Gerald Sussman, covering procedures, processes and the substitution model. It includes the line about the power of naming things.

An excerpt from Hal Abelson's opening SICP lecture introducing computer science and contrasting declarative and imperative knowledge. He argues that computer science is not really a science and is more like magic or engineering of ideas.

Lecture 7A of the 1986 MIT 6.001 SICP course, with Gerald Sussman presenting the metacircular evaluator, part 1. It shows how a Lisp evaluator can be written in Lisp itself.

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.

Harvard physicist Eric Mazur explains how he realized his students were memorizing rather than understanding, and how he changed his teaching. He presents peer instruction and data showing improved student performance.

Psychology professor Marty Lobdell gives a one-hour lecture on how to study effectively, covering short focused sessions with breaks, study environment, note-taking and memory techniques. It was aimed at students who cram without improving.

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.

James Mickens of Harvard gives a funny lecture at HBS's Future Assembly arguing that blockchains are a very bad idea. He covers their trust, legal and practical shortcomings for real-world problems.

Physicist Carlo Rovelli gives a public lecture at the Royal Institution on how our understanding of time has changed, from Boltzmann and Einstein to quantum theory and loop quantum gravity. He blends physics, philosophy and art to argue that time is stranger than everyday intuition suggests.

Russian-American journalist Vladimir Pozner lectures at Yale on how US foreign policy toward Russia after the Soviet collapse shaped Putin, then takes audience questions on election interference, the Skripal poisoning and media independence.

Cardiologist Dr. Pradip Jamnadas lectures on the rationale for dietary restriction and fasting, covering insulin resistance, glucose intolerance, and low-carb eating over about 81 minutes.

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.

A recording of physicist Albert Bartlett's well-known lecture on the arithmetic of exponential growth, applied to population and energy use. He argues that steady percentage growth in a finite world cannot continue and sneaks up suddenly.

Tom Wildenhain's guest lecture for CMU's Esoteric Programming Languages course shows that PowerPoint transitions and slides are Turing complete without macros, building up to a mind-bending fractal ending.

A Virginia Tech presentation by Sid Smith about collapse, fossil fuels and overshoot, arguing that industrial civilization faces a decline and how one might live with that. It was later expanded into a video series.

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.

University of Chicago lecture in which John Mearsheimer argues the West, through NATO and EU expansion, bears primary responsibility for the Ukraine crisis. He also discusses how to end it and its consequences.

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.

Stanford biologist Robert Sapolsky lectures on the evolution of behavior, including the Prisoner's Dilemma and tit-for-tat strategies in animals. It is part of his Human Behavioral Biology course.

A 1983 Los Angeles lecture by KGB defector Yuri Bezmenov on how the Soviets carried out ideological subversion of target societies through propaganda. He walks through demoralization and normalization stages.

Turing Award winner Michael Stonebraker gives the 2018 Donald B. Gillies Memorial Lecture at Illinois. He discusses the gap between academic research and industry problems, publishing incentives, and the influence of large industry users on research.

Lecture 1 of Harvard's Statistics 110 with Joe Blitzstein, introducing sample spaces, the naive definition of probability, counting, binomial coefficients and the sampling table.

John Gustafson presents posits, a proposed drop-in replacement for IEEE 754 floats that is simpler in hardware and more flexible in precision. The seminar includes a live demo and machine learning results.

A Stanford EE380 seminar by Michael P. Frank of Sandia National Laboratories on generalized reversible computing. It surveys unconventional computing approaches as transistor scaling nears its limits and energy efficiency stops improving.

Sacha Arnoud, Waymo's Director of Engineering, gives a lecture in MIT's 2018 deep learning for self-driving cars course on the rise of machine learning in autonomous vehicles. It covers how Waymo uses deep learning and how it handles tricky driving situations.

A philosophy lecture by Professor Moeller on the philosophy of identity. It builds on a discussion of Abigail Thorn's video and covers authenticity, sincerity and how online profiles reshape identity.

A 1990 lecture by James Gosling on NeWS, Sun's networked window system in which clients send PostScript programs to the server for execution. It covers the high-level imaging model and compares NeWS with similar systems.

Professor Jeff Dahn lectures on why lithium-ion batteries die and how chemistry changes could make them last decades.

The first lesson from Timothy Snyder's short video series accompanying On Tyranny, arguing that most of the power of authoritarianism is freely given when people comply in advance. It runs about eight minutes.

A recording of Charlie Munger's 1995 Harvard speech on the psychology of human misjudgment. He walks through a list of cognitive biases such as incentives, social proof, and overoptimism.

A lecture by Swami Sarvapriyananda at IIT Kanpur on the Mandukya Upanishad and the question 'Who am I?'. It explains the four states of consciousness in Advaita Vedanta.

MedCram's Dr. Roger Seheult summarizes a discussion with Dr. Michael Mina on cheap, paper-based at-home COVID-19 antigen tests. It explains why lower sensitivity can still work well for screening infectious people.