type-level programming

Anders Hejlsberg introduces the native port of the TypeScript compiler, written in Go, which promises roughly 10x faster tooling. He demos compiling VS Code and explains where the speedup comes from.

Jiahao Chen's JuliaCon 2017 talk argues that vector transposes should be taken seriously in type systems and linear algebra libraries. It explains why treating vectors as matrices causes trouble in languages.

Dr. Sarah Hallberg argues in a TEDx talk that type 2 diabetes can be treated and potentially reversed through diet, especially by restricting carbohydrates. TED flagged the talk as outside its guidelines and warned against taking it as medical advice.

A JuliaCon 2016 talk by Shashi Gowda showing an APL implementation in Julia. APL code is translated to Julia and JIT compiled to machine code.

Moral philosopher James Flynn explains the Flynn effect, the steady rise of IQ scores across the 20th century. He argues the shift reflects a move toward abstract, hypothetical thinking as cognitively demanding professions grew.

A 2014 talk by Geo Carncross (geocar) demonstrating kOS, a minimalist operating system and programming environment built around the k language, with early screenshots.

David Epstein argues in this TED talk that improving athletic records owe much to technology, training and the selection of specialized body types, not just humans getting inherently better. He gives counter-intuitive examples across sports.

Gary Bernhardt argues that software history moves in reactions to earlier tools, and that new tools are not simply better in every way. He distinguishes capability (what a tool allows) from suitability (what it fits), and warns against repeating past mistaken reactions.

Brian Leroux's dotJS 2012 talk WTFJS is a quick, humorous tour of JavaScript's odd behaviors and quirks.

A JuliaCon talk by a NASA Launch Services Program engineer on modeling spacecraft separation dynamics in Julia. He describes replacing a Simulink-based workflow for checking launch vehicle separation requirements with Julia and ModelingToolkit, with large speedups and much shorter code.

Morphcat Games explains how they fit Micro Mages, a full-featured NES game, into 40 kilobytes. It covers compression of sprites and level layouts and other space-saving tricks.

Bret Victor's talk proposing a new kind of maker space built for seeing and understanding a project's behavior: inside it, across time and across possibilities. It argues for scientific understanding over recipes and rules of thumb.

Dave Ackley gives a high-level introduction to robust-first computing, which prioritizes robustness over efficiency in computer architecture. A sorting demo illustrates the idea.

James Mickens delivers his comedic rant about JavaScript and web programming, in his usual dry, hyperbolic style. It includes his account of learning the language from the O'Reilly Definitive Guide.

Hans Rosling's TED@Cannes talk uses boxes and animated data graphics to show how world population will grow to about 9 billion. He argues that raising living standards for the poorest is what reduces population growth.

Conrad Wolfram argues that the part of math taught in schools, hand calculation, is tedious and mostly irrelevant to real mathematics. He proposes teaching math through computer programming so students can tackle real problems.

Anna Rosling Rönnlund presents Dollar Street, a project photographing homes in dozens of countries, from stoves to beds to toilets, and sorting them by income. She shows how data visualization can change how we see the world.

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.

Demis Hassabis of DeepMind speaks at Google Zeitgeist, saying human-level AI is decades away but the debate should start now. He covers DeepMind's focus on game-playing agents.