Pulley logic gates

Rust as TT sees it (audio and slides from David Tolnay's talk on tt-muncher macros at the silicon valley Rust meetup)

Using a Proof Assistant to Teach Programming Language Foundations (2010)

James Gosling at University of Oslo (2017)

Snips AIR: an open source, private, blockchain-based alternative to Amazon Echo

ZFS User Conference 2018

Refactoring - {Pro}Coders Best Practice Series

The last day of linotype at the NYT (1978)

Hand Made Vacuum Tubes by Claude Paillard

Dan North: Accelerating Agile: hyper-performing teams without the hype (2013)