constraint solving

Runar Bjarnason's Scala World talk argues that restraint and precision in components beat power and flexibility. Constraints on parts make them easier to compose into systems.

Donald Knuth explains at Stanford's CCRMA the constraint-based methods he is using to compose a major work for pipe organ.

Conan O'Brien interviews Jack White in a Serious Jibber-Jabber episode shot on 35mm film. They discuss White's creative process, his use of constraints and his approach to music and art.

Raymond Hettinger's PyBay 2019 talk on the mental strategies he uses when programming in Python, such as chunking, solving a simpler related problem, and repeating tasks manually until patterns emerge. This version is re-synced with the slides.

3Blue1Brown walks through a very hard Putnam competition problem and its elegant solution, emphasizing the visual intuition and the thought process behind solving it.

A TV show about Ivan Sutherland's 1963 MIT thesis software Sketchpad, which ran on the TX-2 computer. It shows a light pen drawing, constraints, snapping, scaling and object-style graphics, foundations of GUIs and CAD.

Rafal Dittwald's Clojure/north talk shows how to move from writing Java-style code in Clojure to thinking in data-driven, functional terms. He walks through a JavaScript example, refactoring imperative code step by step into a functional core.

Dr. Jason Fung, a nephrologist, explains therapeutic fasting as a treatment for obesity and type 2 diabetes. He frames it around the two-compartment problem of fat storage and insulin resistance.

A two-minute comedy sketch in which a woman describes her problems while a visible nail sticks out of her head, and her partner keeps trying to fix it instead of listening. It dramatizes the gap between wanting empathy and being offered solutions.

Matt Might's Curry On talk on ending errors in code, both software and the human genome. He covers conservative approximation of the halting problem via static analysis and a computational approach to precision medicine.

Joseph White, creator of PICO-8, retraces the design of the fantasy console and how tools can shape and guide creative work. He discusses cozy, constrained design spaces and the influence of user-made cartridges.

A BBC Earth clip from Inside the Animal Mind in which a crow named 007 solves an eight-step puzzle to get a reward. It showcases crow problem-solving.

Mathologer shows a simple idea, the commutator, that lets anyone who can solve the first layer design their own full Rubik's cube solution. The same idea carries over to other symmetric twisty puzzles such as the Megaminx.

Rick Hudson's GopherCon 2015 talk on Go 1.5's new low-latency concurrent garbage collector. It covers the motivation, performance numbers, technical challenges and why the approach fits Go.

Rich Hickey's philosophical talk from the first Clojure Conj in 2010. He argues that good design comes from deliberate, away-from-keyboard thinking, and describes how to feed the background mind so it solves problems.

David Crane, designer of Pitfall for the Atari 2600, gives a GDC 2011 postmortem on the game's design challenges. He covers how he fit a large world into the console's tiny memory. The session ends with Q&A.

Without Boats, a Rust language team member, explains the design of Rust's async/await at RustLatam 2019. He covers the history and constraints behind zero-cost, allocation-free async state machines.

Raymond Hettinger's PyBay 2019 talk on the mental habits behind effective programming, drawn from coaching, teaching and StackOverflow. He covers problem decomposition, chunking, managing working memory and getting unstuck.

Ben Katz's custom robot solves a Rubik's Cube in 0.38 seconds. The description links to the hardware and software write-ups.

Jason Cohen's MicroConf talk on designing a bootstrapped business by starting from your own strengths, goals and constraints. He works backward to the business model, pricing, market and product that fit, with practical points like annual prepay and pricing tiers.

Tom7 explains how he built a SIGBOVIK 2017 paper made only of printable ASCII bytes that is also a valid DOS executable. He writes a C compiler targeting printable x86 without self-modifying code and solves the puzzles the constraint creates.

Jonathan Blow's CreativeMornings talk arguing that business models shape game design, drawing an analogy between 1970s TV and HBO and between free-to-play and premium games. He calls for games that inspire awe rather than chase constraints.

Chandler Carruth argues in a CppCon 2019 talk that C++ has no truly zero-cost abstractions. Using examples like unique_ptr, ABI constraints and compile-time costs, he shows that abstractions cost runtime, compile time or human effort.

AvE tears down the Juicero cold-press juicer, examining its heavily machined parts, electronics and the pricey juice packs. He pokes fun at the product and venture-funded culture along the way.

A one-minute clip of Bryan Cranston at an Academy new-member reception, advising actors to approach auditions without desperation and focus on solving the problem rather than landing the job.

Bryan Cantrill's 2007 Google Tech Talk on DTrace, showing how dynamic tracing improves debugging of both development and live production systems. It includes a vivid war story about tracking down a problem on a Sun Ray server.

NASA JPL engineers explain the final minutes of the Curiosity rover's entry, descent and landing on Mars, which combined aerobraking, a parachute and a skycrane. It lays out the tight sequence of events that all had to work automatically.

Making-of video about ROM City Rampage, the NES version of Retro City Rampage, covering how the game's core was crunched to run on real 8-bit hardware and how NES games are made.

Two Google engineers perform a mock coding interview and then discuss best practices for candidates, including asking clarifying questions and communicating while solving.

A silent PLOS ONE video of New Caledonian crows solving Aesop's Fable puzzles by dropping objects to raise water and reach food. It shows example trials from experiments testing causal understanding of water displacement.

Timur Doumler's CppCon 2015 talk on how C++ is used in the audio industry. It covers the patterns and tools audio developers rely on, including handling real-time constraints.

Bobby Powers presents Mesh, a drop-in malloc replacement that eliminates memory fragmentation in unmodified C/C++ programs by compacting memory. The talk covers how it works despite C's fixed object addresses, and its benefits for programs like Redis.

David Heinemeier Hansson, creator of Ruby on Rails and partner at 37signals, argues that planning is guessing and startups should focus on today. He says constraints are an advantage and that startups can bootstrap profitably in sizable markets.

Gary Bernhardt's Cascadia Ruby Conference 2011 talk on using the Unix shell for practical problem solving. He builds pipelines interactively by iterative refinement, using small tools as levers.

Numberphile with Daniel Erman on the Josephus problem, where people in a circle are eliminated in turn. It shows how the survivor's position follows a neat pattern tied to powers of two and binary.

Steven Pinker's TED talk presents data on homicide, war, poverty and pollution to argue that the world has improved over the past decades. He frames progress as problem-solving, not inevitability.

Numberphile talks with Grant Sanderson of 3Blue1Brown about a darts puzzle with a shrinking bullseye. Solving it takes the volumes of high-dimensional spheres, and the answer turns up Euler's number.

A short experiment dissolving the aluminum of a Coca-Cola can with drain cleaner to reveal the clear plastic film lining inside.

A short Boeing-supplied clip where the 737 MAX program's chief project engineer explains how the lengthened landing gear of the MAX 10 folds up. It shows the gear model in motion.

Ilya Grigorik of Google's Make the Web Fast team explains how to build a mobile site that appears on screen within one second. He covers the network and rendering constraints on mobile.