protein 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.

A presentation by Janice Stanger arguing that protein is overhyped and that excess or the wrong kinds of protein are harmful. It promotes a whole-foods, plant-based diet.

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 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.

Ron Vale of UCSF and HHMI gives an introductory lecture on kinesin, dynein and myosin motor proteins. He covers their roles in cells and how they turn ATP hydrolysis into directed motion and force.

A very short animation of a kinesin motor protein walking along a microtubule inside a cell, carrying cargo.

A Foresight Institute workshop video with two talks: Shawn Douglas on nanoscale instruments for visualizing small proteins, and Bret Victor on Dynamicland. Victor's part shows biomolecular design built in his Realtalk system with physical objects.

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 Veritasium video on AlphaFold, DeepMind's protein structure prediction system, and the protein design work it enabled. It features interviews with John Jumper and with David Baker's protein design group and explains why predicting protein folding matters.

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.

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.

The Thought Emporium shows how easily bacteria can be genetically modified to produce fluorescent proteins and even bioluminesce, with techniques doable at home. It links to companion videos on incubators, DNA extraction and gels.

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.

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.

Drew Berry shows scientifically accurate animations of molecular processes inside cells, such as DNA replication, at TEDxSydney.

An award-winning 3D animation by XVIVO for Harvard's BioVisions showing the molecular machinery inside a cell as a white blood cell responds to a stimulus.

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.

David Shaw of D. E. Shaw Research presents Anton, a special-purpose machine that speeds up biomolecular simulations about a hundred-fold. The lecture covers molecular dynamics and how simulation helps understand how drugs bind.

Christian Schafmeister presents CANDO at the 2016 European Lisp Symposium. It is a compiled Lisp-based language for designing macromolecules and nanoscale materials, built on the Clasp implementation of Common Lisp.

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.

Veritasium short showing Drew Berry's scientifically accurate animations of the molecular machines that drive cell division. It walks through mitosis, chromosomes and motor proteins.

A short Harvard Online animation, narrated by Professor Rob Lue, showing how ATP synthase works inside mitochondria. It comes from the HarvardX Cell Biology: Mitochondria course.