dynamic typing

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

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.

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.

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.

Part 10 of Dan Gelbart's prototype-building lecture series, covering flexures: flexible joints that give precise, frictionless motion. It shows how a cheap piece of aluminum can become a nanometer-accurate mechanism.

The final part of Dan Gelbart's 18-part Building Prototypes series, focused on mechanical design. It opens with a demonstration of stiffness and covers practical design principles for prototype machines.

A Virginia Tech presentation by Sid Smith about collapse, fossil fuels and overshoot, arguing that industrial civilization faces a decline and how one might live with that. It was later expanded into a video series.

Andres Gomez Emilsson of the Qualia Research Institute presents a model of DMT experiences using hyperbolic geometry and dynamical systems theory. He describes how different intoxication levels correspond to changing curvature and information content of experience.

Simon Peyton Jones's first lecture on types in Haskell from the Oregon Programming Languages Summer School 2013. It covers type classes and how they relate to OOP, subtyping and polymorphism.