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.

Martin Donald explains the Wave Function Collapse algorithm using Sudoku-like constraint solving and shows how he implemented it with Blender and Godot. It links demos and reference articles.

Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting. It also covers concise meta-interpreters.

Veritasium visits the Micromouse competition, where small autonomous robots race to solve mazes at extreme speed. It covers the competition's technical history, including fans and ground effect enabling very high-g turns.

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.

Gerald Sussman's 2011 Strange Loop keynote argues we still do not know how to compute, comparing biological systems with how we program machines. It touches on propagators, constraint programming and robustness.

Earliest known footage of Ivan Sutherland's MIT PhD work, Sketchpad, the first computer graphics system, with commentary by Alan Kay. It shows light-pen drawing with constraints in a short clip.

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.

In an Ars Technica War Stories episode, Prince of Persia creator Jordan Mechner describes how he made the game on the Apple II, fighting hardware memory limits and the platform's decline. It covers the rotoscoped animation and the engineering tricks involved.

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.

Permaculture instructor Andrew Millison visits the village of Garavadi in Maharashtra, India, which took part in the Paani Foundation's Water Cup competition. It shows the water harvesting structures the villagers built in 45 days and how they restored groundwater and the local economy.

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.

3Blue1Brown uses Wordle as an excuse to teach information theory and entropy, building a solver that picks guesses by expected information and incorporating word frequencies.

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.

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.

2swap explains how he solved the Klotski sliding-block puzzle by mapping its full state space as a graph and visualizing it. The video includes footage of the Guinness world-record solve and links to an interactive graph.

A French-language documentary on the history of Prolog, created in Marseille by Alain Colmerauer in the early 1970s, with interviews of many people involved. It traces the origins of logic programming and later developments of the language.

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.

In Ars Technica's War Stories, Naughty Dog co-founder Andy Gavin explains how the team squeezed Crash Bandicoot onto the original PlayStation. They overwrote Sony library code in RAM, built custom animation compression, and streamed assets around slow seek times.

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.

Bill Hammack of engineerguy explains how medieval engineers designed stone cathedrals using rules of thumb, with no science, mathematics or literacy. He uses it to define the engineering method.

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.