type system

Computerphile with Professor Brailsford on how a 1979 Bell Labs team reverse engineered a Linotron 202 phototypesetter over a summer to get high-quality print output. It covers typesetting history and the later 2013 rebuild of the famous vacation memo.

A short clip from an ACM and Computer History Museum interview in which Leslie Lamport discusses writing his paper on time, clocks and the ordering of events. He explains its link to special relativity.

A short clip of Simon Peyton Jones talking about the future of programming languages, saying Haskell is useless in the sense that pure programs cannot have effects, while mainstream languages are useful but unsafe. He describes languages converging, with ideas such as STM and LINQ moving between them.

A 1968 Firing Line interview in which Milton Friedman explains the negative income tax, a proposal to replace welfare bureaucracy with direct payments.

Giant Bomb interviews John Carmack at E3 2012 about his virtual reality head-mounted display prototype. He demos it and talks about latency, depth and focus problems in VR.

A Gamereactor interview at E3 2012 with John Carmack, who shows his lag-free head-mounted display running DOOM 3 BFG Edition. He discusses what the headset could mean for the games industry.