gilbert strang

Konrad Malawski's Strange Loop 2023 talk shows how the FoundationDB team adopted Swift incrementally in a C++ codebase. It covers Swift's C++ interoperability, which let them move single functions or entire types over one at a time.

An update from the Strange Parts YouTuber on his recovery from a brain injury caused by a metal pipe while filming, and his plans for the channel.

The first lecture of Gilbert Strang's MIT 18.06 Linear Algebra course, covering the geometry of linear equations. It opens a full 35-lecture university course.

Evan Czaplicki, creator of Elm, examines how programming languages are funded. He looks at where compiler engineers' salaries come from, why Go has about 5 engineers while Dart has about 30, and how this limits language design.

Psychologist Dan Gilbert argues in this TED talk that our psychological immune system lets us become happy even when things do not go as planned. He challenges the idea that we will be miserable if we do not get what we want.

The Doomsday Machine scene from Stanley Kubrick's 1964 film Dr. Strangelove, in which the Soviet doomsday device is explained.

A three-minute clip from Dr. Strangelove in which Mandrake and Ripper (Peter Sellers and Sterling Hayden) discuss fluoridation and 'precious bodily fluids'. It is a famous Cold War satire scene.

A very long livestream in which Ron Gilbert and Frank Cifaldi look at the making of The Secret of Monkey Island, including its SCUMM source code, which they edit and recompile live.

A four-minute clip from Dr. Strangelove in which the President and General Turgidson argue over the 'mineshaft gap' after a nuclear war. Peter Sellers and George C. Scott play it as Cold War satire.

Jack Rusher's Strange Loop 2022 talk argues that most programming languages are still designed around punchcard-era assumptions. He makes the case for live, interactive programming environments, drawing on Lisp, Smalltalk and REPL-driven development.

Guy Steele's Strange Loop 2010 talk argues that programmers should not have to think about parallelism, and that languages should support algorithms built on independence and divide-and-conquer. He also recounts fitting a program onto a single punch card.

Pokey Rule presents Cursorless, a spoken language designed for editing code by voice, built on tree-sitter parsing with smart structural and simple token-level primitives. The talk is from Strange Loop 2023.

Rich Hickey's Strange Loop 2011 keynote distinguishing 'simple' (not intertwined) from 'easy' (familiar or near at hand). It argues that software complexity comes from complecting things and that we should pick simple constructs.

Joe Armstrong, co-inventor of Erlang, gives a funny and opinionated Strange Loop talk on the tangled state of software: build tools, package managers, entropy and the physical limits of computation. He argues for ideas like naming things by content hash and throwing away your first version.

Michael Hendricks of PriceCharting shares tricks and pain points from running Prolog in production for 18 months at Strange Loop. It argues Prolog is a productive modern language beyond logic puzzles, and includes a demo of changing code mid-execution.

Evan Czaplicki's Strange Loop 2014 talk surveys the many formulations of functional reactive programming and how they relate historically and theoretically. It then shows how Elm's variant enables hot-swapping and its time-traveling debugger.

Jon Moore's Strange Loop 2017 talk argues that rate limiting is the wrong tool for protecting services from noisy clients. He proposes concurrency-based capacity management and quotas instead.

Aditya Siram introduces ATS, a statically typed ML-like language that compiles to C and offers type-safe pointer arithmetic and a full proof language. The Strange Loop talk shows off C interop, concurrency and verification features with non-trivial examples.

Devine Lu Linvega of Hundred Rabbits talks about low-power, offline computing, esoteric languages and the Uxn virtual machine, informed by years of sailing the Pacific. The talk frames computing sustainability through a permaculture lens.

Chris Granger presents Eve, a programming environment designed to be approachable for humans, at Strange Loop 2015. The talk covers the project's approach and design ideas.

Felienne Hermans presents Hedy, a gradual programming language for teaching kids that moves through levels from almost no syntax toward full Python. The talk covers why error messages and syntax are scary for beginners.

Michael Arntzenius's Strange Loop talk on Datafun, a functional query language that brings database-style querying into a general-purpose language. It discusses bridging database theory and programming languages.

Strange Parts spends four months, seven custom circuit boards and several disassembled iPhones adding a working headphone jack to an iPhone 7 in China. The build is documented in detail.

Matt Parker on Numberphile explains the strange properties of spheres in higher dimensions, such as how they poke out of their bounding boxes. It uses Pythagoras to build intuition for 4D and beyond.

Elizabeth Gilbert, author of Eat, Pray, Love, reflects on the pressure placed on artists to be geniuses. She proposes the older idea that creative people have a genius that visits them rather than being one.

Will Wilson of FoundationDB explains how the team tested their distributed database using deterministic simulation. By running the whole system in a simulator with injected faults and reproducible seeds, they could find rare concurrency and network bugs.

Evan Czaplicki, creator of Elm, discusses the hard parts of running an open source project: online community conflict, why its patterns arise, and a cultural history of open source. He offers ideas for more civil, productive communication.

Aditya Siram introduces Shen, a small hosted Lisp with macros, a built-in Prolog and an optional type system. The talk demos a full web app moving between functional, logic and imperative styles, including turning JSON into a type with macros.

Richard Feldman describes introducing Elm into a mixed React and jQuery front-end in production, and why the result was reliable, clean and fast enough to make the back-end team jealous.

Rich Hickey's Strange Loop 2011 keynote separates 'simple' (not intertwined) from 'easy' (familiar or near at hand) and argues that software complexity comes from complecting things. It offers a vocabulary for judging designs and abstractions.

CGP Grey explains split-brain patients, where severing the corpus callosum lets the two hemispheres act independently. He uses this to explore the idea of two minds in one head.

Dirk Hohndel explains why the Subsurface dive log project migrated from Gtk to Qt, the obstacles encountered, and advice for other applications frustrated with Gtk. It is a linux.conf.au 2014 talk.

Climate Town traces the history of American parking minimums, how they came from shaky research and ITE guides, and how they shape zoning, cities and housing costs. It is a long, comedic video essay.

Veritasium visits NIST to explain Standard Reference Materials, the carefully characterized items such as peanut butter used to calibrate instruments and keep measurements consistent. It covers why they exist and why they are expensive.

Nicholas Ormrod's CppCon 2016 talk on how Facebook optimizes std::string with its open-source replacement fbstring. It covers storage layout tradeoffs, small string optimization and memory allocation behavior.

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.

CodeParade's short devlog on how spherical geometry looks in 2D and 3D and why it feels so unusual, part of the Hyperbolica series on a non-Euclidean game.

A Veritasium video that follows the principle of least action from Bernoulli and Newton to quantum mechanics, asking whether light takes all possible paths at once. It includes experiments showing quantum waves.

Jon Ronson, author of The Psychopath Test, gives a TED talk on the blurry line between sane and crazy and on psychopathy as a spectrum, with stories of how the label gets applied.

A Veritasium video on how a feud between Russian mathematicians led to Markov chains and the modern prediction algorithms built on them. It covers the history and the math behind them.