type-driven development

Hans Rosling uses the Gapminder animated-data tool to debunk myths about world development, with sportscaster-like energy. It shows trends in health, income and child survival across countries.

In this TED talk, Hans Rosling uses animated statistics to debunk myths about the developing world, showing how health and income have improved across countries.

Brian Fitzpatrick and Ben Collins-Sussman argue that the 'genius programmer' ideal harms collaboration. They advocate trading ego for growth, sharing work early, and understanding how tools shape social behavior.

Sean Parent of Adobe argues that object-oriented frameworks ultimately fail to deliver scalable, high quality software and proposes combining generic and declarative programming instead. It draws on Stepanov's Elements of Programming.

Peter Norvig's 2007 Google talk on theorizing from data, covering what huge datasets can do for language understanding, translation, information extraction and inference. It argues that more data often beats cleverer models.

Peter Norvig, then Director of Research at Google, talks at Startup School 2008 about leveraging large amounts of data and about technical challenges in Google projects such as image search. A central idea is that data can beat hand-written programming.

David MacKay's 2007 Google Tech Talk presents Dasher, a text-entry system driven by continuous gestures and a language model, reaching about 35 words per minute with one finger and 25 hands-free. It explains the information-theory reasoning behind the design.

A 2007 Google Tech Talk in which Bryan Cantrill demonstrates DTrace and explains how it improves debugging of both development and live production systems.

John Allspaw and Paul Hammond's Velocity 09 talk on how Flickr achieved ten or more deploys per day through close cooperation between development and operations.

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.

Rob Pike's October 2009 Google Tech Talk introducing Go, a new experimental systems language designed for fast builds, concurrency and garbage collection. It covers the goals, syntax and type system.