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

Rich Hickey's Clojure/Conj 2018 keynote argues that Maybe/Option types and rigid type signatures are a poor way to model data that changes over time. He builds the case around optionality, schema growth and compatibility, and presents the ideas behind Clojure spec as an alternative.

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.

Julien Verlaguet of Facebook describes applying static analysis and type inference to a very large PHP codebase, using OCaml. The work led to the Hack language.

Troy Hunt argues that even static, non-secret websites need HTTPS, demonstrating attacks such as injected content and China's Great Cannon. It accompanies his blog post of the same name.

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.

Matthias Felleisen's keynote uses weather prediction as an analogy for type systems, arguing they forecast problems so you can act on them. It draws on his experience developing Typed Racket.

Disney Research's demo of quasistatic cavity resonance, which uses a purpose-built room or cabinet to generate magnetic fields that deliver kilowatts of power wirelessly to mobile receivers inside.

Dave Jones of EEVblog investigates why a 4K BenQ monitor switches itself off, tracing it to static discharge from an office chair. He uses an oscilloscope to examine the static impulses.

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.

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.

Andrew Kelley's Zig SHOWTIME talk on an experiment to ship static Linux executables that can do graphics and gaming, followed by an interview. It covers the problems of Linux binary stability, dynamic linking and the graphics ABI.

A short demo of typing on the Modos Paper Monitor, an open e-ink monitor, using 4-level grayscale to show low latency.

Tom Scott makes a short descriptivist argument that language keeps changing and that casual internet writing conventions, like lowercase typing and dropped full stops, are legitimate. It is part of his Language Files series, written with Gretchen McCulloch.

GameSpot meets the VP of Senseg, a company adding electrostatic touch feedback to tablets and touch surfaces, and demonstrates the technology.

USLaunchReport footage of the September 2016 SpaceX Falcon 9 static fire anomaly that destroyed the rocket and AMOS-6 satellite at Launch Complex 40.

Mirabai Knight's PyCon 2013 talk on Plover, a free cross-platform stenography engine that lets people write at up to 240 WPM on ordinary hardware, including a demo of coding by steno.

Matt Adereth's Clojure/conj talk covers the history of keyboards and how he used Clojure generating OpenSCAD to design and build his custom Dactyl ergonomic keyboard, including 3D printing and laser-cut parts.

Herb Sutter's CppCon 2015 plenary on writing safe, modern C++ by default using the C++ Core Guidelines. It includes a demo of lifetime-checking static analysis tooling.

George Brocklehurst of thoughtbot demonstrates Vim's built-in completion mechanisms, from word, line and block completion to ctags. The aim is to type less and make fewer typos.

John Carmack's keynote at QuakeCon 2011, an hour and a half of wide-ranging talk about id Software, Rage, engine open-sourcing, patents and programming practices.

José Valim's ElixirConf US 2023 closing keynote on the foundations of the Elixir type system, covering set-theoretic types and gradual typing with strong arrows.

Robert Bussard's 2006 Google Tech Talk on inertial electrostatic confinement fusion, a compact approach he argued could be cheap and clean, using boron-hydrogen fuel without neutron radiation. It runs about 93 minutes and covers the physics, funding history and his proposed development path.

A 13-minute OSCON 2010 talk in which Rob Pike argues about what is wrong with mainstream languages like C++, Java and C#, and presents Go as a response. He discusses verbosity and what lightness means in a language.

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.

A 2006 Google Tech Talk by Robert Bussard on inertial electrostatic confinement (polywell) fusion as a cheap, clean alternative to conventional thermonuclear reactors. He argues it could be made viable with modest funding.

Destin of Smarter Every Day goes behind the scenes at the 23andMe lab to show how genotyping works. He also discusses DNA testing and privacy.

Rasmus Lerdorf marks 25 years of PHP at phpday 2019 with a look at the highlights and lowlights of the language. He argues for upgrading PHP versions, covering performance, static analysis, zero-cost profiling and dead code elimination.

Steve Yegge's Stanford seminar on GROK, Google's internal large-scale, cross-language source code analysis system. It covers how the system helps with code search and understanding across Google's huge codebase.

TEDxStanford talk by Bill Burnett, executive director of Stanford's design program, on applying design thinking to your own life and career. He offers five practical tips such as getting curious, talking to people and trying things.

John Carmack's roughly three-hour QuakeCon 2013 keynote, delivered from a few bullet points. Topics include his Haskell experiments with functional programming and static typing, game state, and cloud gaming.

Engineer Stuff Made Here builds two new supposedly unpickable locks with different designs and sends them to the Lock Picking Lawyer to see whether they can be defeated. The video covers the novel anti-picking mechanisms.

Paul Phillips, a major Scala compiler contributor, gives a long talk on Scala collections and views, using it to critique Scala's design and direction.

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.

William Osman describes helping build parts of the MrBeast Squid Game event, including hacking together hundreds of wifi-controlled blood packs in about three weeks. He covers the chaos and near-failures along the way.

A short unscripted demo of writing FizzBuzz in JavaScript with a generator function on a steno keyboard, typos included. It gives a feel for what real coding in stenography looks like.

Jensen Harris of the Office 2007 design team tells the behind-the-scenes story of the Ribbon at MIX08. He covers early prototypes, mistakes, and the UX principles used to design and validate it.

Stuff Made Here builds a powder-actuated baseball bat designed to hit a ball past Babe Ruth's record distance, with Smarter Every Day contributing. It covers the engineering of the explosive-assisted swing.

A 2017 GDC session in which Nintendo's Breath of the Wild team walks through how the game's convention-breaking systems were built. It covers the 'chemistry engine' of material interactions and shows the early 2D prototype footage.

ElixirConf EU 2023 talk by Giuseppe Castagna and Guillaume Duboc on bringing set-theoretic types to Elixir, and the benefits such a type system could offer such as catching bugs.