concatenative synthesis

Dean Friedman's near-hour-long introduction to synthesis, covering the building blocks of sound and the controls on a synthesizer. He slowly adjusts knobs so viewers hear what each parameter does.

Jon Purdy's Stanford EE380 seminar giving an overview of concatenative programming, from function composition theory and history down to low-level implementation and correctness benefits.

Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid. It shows how rich type specifications can be turned into verified, executable code.

A 2006 promotional video for sCrAmBlEd?HaCkZ!, a music software project that analyzes and reassembles sampled audio and video in real time, tied to themes of sampling and copyright.

Illumina's 3D animation of its sequencing-by-synthesis workflow, from sample preparation and cluster generation to sequencing on a flow cell and data analysis.

John Chowning's 1977 computer music piece Stria, composed with FM synthesis, which he discovered in 1967. It unifies timbre and scale structure around the Golden Mean.

Veritasium asks people where a tree's mass comes from, then explains that most of a dry tree's mass originates from carbon dioxide in the air. It combines street interviews with a short explanation of photosynthesis.

A short look at the Voder, the first electronic voice synthesizer, demonstrated by Bell Labs at the 1939 World's Fair. It was operated by trained women using ten finger keys, foot pedals and a knee lever.

William Byrd presents at Papers We Love NYC on what he calls the most beautiful program ever written, a Lisp interpreter written in Lisp. He walks through the metacircular interpreter and related ideas, and demos relational programming and program synthesis near the end.

A 2008 Google Tech Talk in which Slava Pestov introduces Factor, a concatenative language influenced by Forth, Lisp and Smalltalk. It covers the interactive environment, metaprogramming, and the language's modern high-level features and libraries.

NightHawkInLight shows how to make radiative sky cooling paint from grocery and hardware store materials, including a novel calcium carbonate microsphere synthesis. The paint can cool a surface below ambient air temperature in direct sunlight without electricity.

A Clojure/conj 2016 talk demoing Barliman, a prototype smart editor that does program synthesis. Given a partial program and tests, it completes the program using a relational interpreter written in miniKanren.

A short clip from a Richard Feynman interview in which he explains fire, describing how burning wood releases sunlight stored by the tree, which built itself mostly from air. It showcases his curiosity and plain-spoken explanations.

A fan-made Metal Gear Solid 2 codec call using AI voice synthesis, in which the Colonel warns Raiden about using AI to censor the internet and enforce digital ID. It riffs on the game's 'Selection for Societal Sanity' conversation.

A restored recording of Steve Jobs unveiling the original Macintosh in 1984, including the moment it is taken out of its bag and speaks. The upload comes from the team that rediscovered and restored the lost footage.

A surreal multimedia TEDxSarasota performance by Magic Leap founder Rony Abovitz, held on 12/12/12, mixing performance art with talk about imagination and creativity.

A run through the 32 factory presets of the Yamaha DX7 FM synthesizer, with timestamps for each patch such as brass, strings, pianos, bass and tubular bells. It is a straight audio demo of the sounds.

A short demo video for NVIDIA's StyleGAN paper, which proposes a style-based generator for GANs. It shows face synthesis with style mixing and scale-specific control over attributes like pose and freckles.

A short animation from the DNA Learning Center showing how mRNA carries a gene's message to the ribosome, where tRNA and codons are used to assemble amino acids into a protein.

Dr. Bruce Bugbee walks through the calculations for crop yield potential when light is the limiting factor, from photosynthetic quantum yield through respiration efficiency and harvest index, using the Energy Cascade Model.

Edwin Brady presents Idris 2, a rewrite of the Idris dependently typed language, and shows type-driven development in practice. The demos show the compiler filling in whole functions from their types.

A player piano is made to reproduce human speech, here reciting a European Environmental Criminal Court proclamation in German at the 2009 World Venice Forum. This upload adds subtitles so the words become understandable.

Dan Friedman and William Byrd demonstrate miniKanren, a logic programming system for Scheme, in an unconference talk. It includes generating programs by running relations in reverse.

Sam Aaron, creator of Sonic Pi, gives a demo-heavy GOTO Chicago 2018 talk on live coding music. He covers the history of Sonic Pi, how it evolved, and what it can do for education and professional musicians.

Adobe's VoCo demo from the MAX 2016 Sneak Peeks, co-hosted by Jordan Peele, showing software that changes words in a voiceover by typing new ones.

The Thought Emporium synthesizes chicken noodle soup from pure chemicals, following an original patent for artificial chicken flavor. The video explores how many chemicals it takes to make a convincing soup.

The CVPR 2016 oral demo of Face2Face, a system that captures a person's face and reenacts another video's face in real time using only RGB video. The authors frame it as research on modern vision and graphics.

The first of four short videos from Bill Hammack (engineerguy) introducing and giving the history of a 100-year-old mechanical computer, Michelson's harmonic analyzer. The series goes on to explain Fourier synthesis, analysis and operation of the machine.

A short Harvard Online animated lesson on how the mitochondrial electron transport chain works. It shows proton pumping and the machinery that drives ATP synthesis.

AngeTheGreat describes building a physically realistic internal combustion engine simulator in C++, drawing on fluid dynamics, physics and chemistry. It generates procedural audio for engines such as a V8.

A six-minute clip of Adobe's MAX 2011 sneak peek showing a Photoshop prototype that removes motion blur from photos. The audience reacts with astonishment as blurry images become legible.