dynamic typing

Richard Feldman's GOTO Copenhagen 2022 talk on why dynamic languages like Python, Ruby, PHP and JavaScript rose in the 1990s and why each now has a popular static type checker. It argues that modern static typing recovers the advantages that made dynamic languages attractive.

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.

Spencer Lisenby explains dynamic soaring, a technique that lets unpowered radio-controlled gliders reach speeds above 835 kph. He covers the physics and the design, build and flying challenges.

Retired Boeing Technical Fellow Doug McLean walks through common misconceptions in aerodynamics, drawing on his book Understanding Aerodynamics. He critiques popular explanations of wing lift and rocket thrust and argues for arguing from the real physics.

A Microsoft Flight Simulator Feature Discovery episode in which CEO Sebastian Wloch explains the new aerodynamics simulation for the 2020 release.

Boston Dynamics introduces Stretch, a prototype robot that moves boxes in warehouses and distribution centers. Its mobile base lets it unload trucks, build pallets and assemble orders.

Boston Dynamics shows its humanoid robot Atlas picking up and manipulating objects, and altering the obstacle course to reach its goal. The clip demonstrates locomotion, sensing and athletic manipulation.

Rich Hickey's talk at Clojure's tenth anniversary on the kind of programs Clojure is designed for. He argues for situated programs that deal with changing requirements, and for dynamic typing and data over static types.

Erik Demaine's MIT 6.006 lecture introducing dynamic programming through Fibonacci numbers and shortest paths. It covers memoization, subproblems and optimal substructure.

Tech Ingredients explains the principles of magnetohydrodynamics and builds several demonstrations, including propelling liquid metal and electrolytes with magnets and a railgun-style setup.

Nathan Kutz presents the spatio-temporal dynamics of rotating detonation rocket engines, including combustion fronts that behave like solitons. He shows a bifurcation analysis of a multiscale model that captures the main features.

A short MIT Math Lab video showing millimetric droplets bouncing and walking across a vibrating fluid bath, guided by their own pilot waves. These droplets show diffraction, tunneling and quantized orbits, which were once thought to belong only to quantum systems.

Ian Piumarta's 2007 Stanford EE380 lecture on building a dynamic programming environment from the ground up, from the Viewpoints Research Institute's work. It covers the design of a language and system with a recursive design, parsing through code generation, and the COLA architecture.

Boston Dynamics' March 2008 video of BigDog, a four-legged robot, walking on ice and snow, climbing rubble and recovering from slips and kicks.

Bret Victor's talk on Drawing Dynamic Visualizations. It argues that visualization tools offer either the directness of hand drawing or the dynamics of programmed graphics, and shows a tool that combines both.

A 2001 panel with Paul Graham, John Maeda, Jonathan Rees and Guy Steele on programming language design, part of the Dynamic Languages Wizards Series.

Flanders and Swann perform 'First and Second Law', a comic song about the laws of thermodynamics, from their 1964 stage show At the Drop of Another Hat. It sets the first and second laws to a deadpan call-and-response routine.

A GoPro-recorded flight of an RC glider setting a 548 mph dynamic soaring speed record at Parker Mountain, California, using only wind gradients.

A one-minute clip of Spencer Lisenby setting a 545 mph speed record in an RC glider, the Transonic DP, using dynamic soaring. No motor is involved.

Adam Savage builds a Victorian-style rickshaw carriage for Boston Dynamics' Spot robot to pull, with him riding as passenger. The video covers the build and the engineering problems of pairing cutting-edge robotics with vintage transport, such as tuning the payload through Spot's API.

Boston Dynamics' 2010 demo of BigDog, a quadruped robot that climbs through woods, recovers from kicks, slips on ice and jogs at 5 mph. It was an early showcase of dynamic legged locomotion.

Boston Dynamics shows its Atlas humanoid robot performing a gymnastics and parkour routine, using optimization-generated motions and a model predictive controller.

Stuart Halloway shows how Clojure's spec library lets you build programs that are both agile and robust. He covers declarative, predicate-based specification layered on interactive REPL development.

Physicist Jean-Pierre Petit gives a long technical commentary on Russia's newly announced weapons, including the Sarmat missile, a nuclear-powered cruise missile and a nuclear MHD-propelled submarine drone.

Boston Dynamics shows its Atlas humanoid robots running a parkour course with jumps, balance beams and vaults, demonstrating whole-body athletic control.

A short Boston Dynamics clip of the Sand Flea, an 11-pound RC-car-style robot that can jump about 30 feet into the air. An onboard stabilization system keeps it oriented in flight and for landings.

A short Boston Dynamics clip of the Atlas humanoid robot doing parkour, jumping over a log and leaping up steps using whole-body control and computer vision to locate markers.

A short Boston Dynamics demo of Handle, a wheeled mobile manipulation robot that builds and unloads mixed-box pallets in a warehouse. It uses vision to find boxes and force control to place them against neighbors.

Boston Dynamics shows the electric Atlas autonomously moving engine covers between containers and a sequencing dolly. It uses an ML vision model and grasping policy with no teleoperation or prescribed motions.

A short Boston Dynamics demo of RHex, a 30-lb six-legged robot built for rough terrain, remotely operated with a video uplink and about four hours of battery life. It can run right-side-up or upside-down.

A short Boston Dynamics clip of the DARPA-funded Cheetah quadruped robot hitting 28.3 mph on a treadmill, slightly faster than Usain Bolt's fastest 20 meter split.

Boston Dynamics' New Year video shows its Atlas, Spot and Handle robots dancing to 'Do You Love Me?'. It showcases the company's progress in legged dynamic balance.

Boston Dynamics unveils a new, smaller Atlas humanoid robot that is electrically powered and hydraulically actuated. It balances with body sensors and uses lidar and stereo vision to navigate and manipulate objects.

Boston Dynamics shows WildCat, a four-legged robot built with DARPA funding that reached about 19 mph using bounding and galloping gaits.

Christopher Domas presents his Cantor Dust tool at Derbycon 2012, a 3D visual approach to reverse engineering binaries by visualizing their structure dynamically.

A short 3Blue1Brown video explaining Euler's formula e^(i*pi) = -1 through dynamics, treating velocity as the thing that moves a point to a new position. It builds geometric intuition for why an exponent with i produces rotation.

First of an 18-part lecture series by engineer Dan Gelbart on building prototypes. The series covers practical mechanical design and fabrication of precision machines.

A 3-minute demo of a tiny IOCCC 2012 winning C program that simulates fluid dynamics in an 80x25 terminal, using any text (including its own source) as input. The video shows the simulation running to Handel's Water Music.

Christopher Domas's REcon 2013 talk on dynamic binary visualization for reverse engineering. He shows how rendering binary data as interactive visual maps and trigraphs reveals structure that hex dumps hide, leading to his Cantor.dust tool.

Day 21 of Casey Muratori's Handmade Hero, which covers loading game code dynamically from a DLL on Windows. He builds hot reloading of C game code from scratch in about an hour and a half.