linear

Simon Peyton Jones presents linear types for Haskell, showing how practical linearity can fit into a higher-order polymorphic language. The talk covers motivations such as resource handling and relates the ideas to Rust.

A Linear engineer talks about scaling the company's sync engine, which keeps client data local and synchronized. It follows an earlier talk on the same system.

The introductory lecture of Stephen Boyd's Stanford Convex Optimization I course (EE 364A). It outlines convex sets, functions and problems, and the course's coverage of least-squares, linear and semidefinite programming, duality and interior-point methods.

An 88-minute Microsoft Research talk that explains how quantum computers beat classical ones using basic linear algebra, qubits, superposition and gates. It works through the Deutsch oracle problem and ends with entanglement, teleportation and a live demo.

React Helsinki meetup recording featuring a talk on lessons with Apollo GraphQL and Linear co-founder Tuomas Artman on real-time sync for web apps. The sync talk explains Linear's local-first architecture.

A SIGGRAPH 2019 course on geometric algebra. Charles Gunn gives an intro, then Steven De Keninck gives a programmer-focused course with live examples in ganja.js.

Mathematician Kevin Buzzard explains why he believes the Lean theorem prover will shape the future of mathematics, and describes digitizing his university curriculum in Lean with undergraduates, plus the cultural challenges.

Physicist Al Bartlett's well-known lecture on the arithmetic of exponential growth, applied to population, energy consumption and resource depletion. He argues that steady percentage growth cannot be sustained on a finite planet and that most public discussion ignores this.

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.

The first lecture of Francis Su's Harvey Mudd real analysis course, covering the construction of the rational numbers. It begins a full lecture series that follows a standard analysis text.

Conal Elliott presents his paper on automatic differentiation, deriving a simple, generalized AD algorithm from a natural specification. Varying the representation of derivatives yields forward and reverse mode algorithms that avoid the complexity and statefulness of backpropagation.

Matt Parker gives a hands-on Royal Institution talk on how four-dimensional shapes appear in a 3D world, with props like straw frames, Mobius strips and a knitted hat. It is a playful general-audience tour of the fourth dimension.

Timothy Gowers thinks aloud, in real time, as he tries to understand why Pascal's determinant equals 1. He does not fully solve it in this episode, but shows his exploratory process.

Christof Paar's university lecture introducing Galois fields and finite-field arithmetic as used in AES. It covers the mathematics behind the AES S-box.

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.

Andres Gomez Emilsson of the Qualia Research Institute presents a model of DMT experiences using hyperbolic geometry and dynamical systems theory. He describes how different intoxication levels correspond to changing curvature and information content of experience.

Tom LaGatta's talk on category theory at a 2014 LispNYC meetup, covering objects, morphisms and the basic ideas in an informal, conversational style. It runs about 97 minutes.

Lex Fridman interviews mathematician and economist Eric Weinstein about science, mathematics, and society. The conversation ranges across physics, academia, AI and job displacement.

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.

A talk by Eric Weinstein on gauge theory and its possible application to economics and inflation. It proposes extending the Wu-Yang dictionary into a geometric tool beyond physics.

Leonard Susskind opens Stanford Continuing Studies' Theoretical Minimum series with an introduction to quantum mechanics, a course for people who want real physics rather than popularization. It assumes some calculus and linear algebra.

Guy Kawasaki's UC Berkeley Haas talk on the top ten mistakes entrepreneurs make, covering a startup from inception to exit.