e-drive

Edwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from types.

Edwin Brady presents Idris 2, a rewrite of the Idris dependently typed language, and shows type-driven development in practice. The demos show the compiler filling in whole functions from their types.

Edwin Brady, creator of Idris, introduces type-driven development in a dependently typed language. He shows types being written first and programs derived with interactive editing, then extends beyond simple examples to programs that interact with users and networks.

Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid. It shows how rich type specifications can be turned into verified, executable code.

PBS Space Time introduces Miguel Alcubierre's warp drive, explaining how spacetime itself could be warped rather than moving a ship through it, and whether it is physically possible.

A Kurzgesagt animation on using gene drives to modify mosquitoes against malaria, and whether we should. It explains the mechanism and the ethical trade-offs.

Linus Tech Tips backs up their petabyte server to Google's unlimited G Suite Drive plan and runs into the daily upload cap. It shows how far the 'unlimited' offer can be pushed.

A Blender-animated explanation of the Toyota Hybrid Synergy Drive, showing how the engine, two motor-generators, planetary gearset and battery work together as an eCVT.

Brian Bucklew of Freehold Games discusses design decisions behind Caves of Qud and Sproggiwood at IRDC 2015. The talk centers on data-driven, event-driven engine design.

Drive.ai shows its car driving fully autonomously on a rainy night in Mountain View, with heavy downpour, glare, a four-way stop and a broken traffic light.

Martin Fowler's GOTO Chicago 2017 talk on the different things people mean by event-driven architecture. He identifies four patterns, including event notification and event-carried state transfer.

Zoz's DEF CON 23 talk explores practical, often explosive ways to destroy data and hard drives quickly. It tests methods such as thermite and other physical techniques for rapid destruction.

Emily Shea explains how repetitive strain injury pushed her to program by voice using speech recognition (Talon), and gives a live coding demo. She argues voice-driven development can be pain-free, efficient and enjoyable.

Overdrive 2 by TiTAN, a Sega Mega Drive demo that won first place in the Oldskool competition at Revision 2017. It shows effects and 3D graphics on the stock console.

Astrophysicist David Kipping presents the halo drive, a proposed way to propel a starship to a good fraction of light speed by gaining energy from a black hole. The video is based on his peer-reviewed paper and explains why energy is the main obstacle to interstellar flight.

Robert Llewellyn of Fully Charged takes an early, 19-minute test drive of the Honda e electric car in Frankfurt. He looks at its acceleration, camera wing mirrors and tight turning circle.

Nature video showing MIT researchers flying the first plane with no moving parts, powered by an ion drive that creates an ionic wind from high-powered electrodes. The 5m-wide craft flies across a sports hall.

A VICE News segment following Uber driver Terri White, who drives 83 miles from Stockton to San Francisco and sleeps in her car between rush hours. It looks at the conditions of gig-economy drivers.

A short clip of Gary Johnson being booed at a Libertarian Party debate for saying he supports driver's licenses.

LGR reviews the Danmere Backer16, a 1996 backup system that stored a PC's data on ordinary VHS tapes through a VCR. He shows the hardware and software on Windows 3.1 and 95.

Scott Wlaschin shows how statically typed functional languages, using F# examples, can model a business domain so that invalid states cannot be represented. The type system acts almost like an instant unit test at compile time.

Greg Young, who coined CQRS, looks back on a decade of domain-driven design, CQRS and event sourcing at DDD Europe 2016. He discusses where event sourcing applies and how simple its core can be.

The UK DVSA's one-minute guide to the hazard perception part of the driving theory test, covering when to click and how to score well.

An RSA Animate whiteboard adaptation of Dan Pink's talk on what motivates people at work. It argues that beyond simple tasks, autonomy, mastery and purpose drive performance more than money.

FortNine's tongue-in-cheek guide to why drivers fail to see motorcyclists and how riders can make themselves more visible. It touches on perception psychology, including the role of saccades.

A short ShaderToy piece by Martijn Steinrucken (The Art of Code) that renders rain on a windshield during a night drive, with blurred bokeh lights. It is set to music.

Elias Martenson presents his Emacs-based workflow for building a web application (the Potato chat platform) with Common Lisp on the backend and ClojureScript on the frontend. He demonstrates SLIME, Paredit, CIDER and debugger-driven interactive development. The talk is 79 minutes and was given at Emacs SG.

The first part of a ShaderToy live-coding series that lays the groundwork for The Drive Home, a rainy night-traffic shader. It covers basic setup and builds toward rain and bokeh effects.

An English-subtitled German workplace safety film about forklift driver Klaus. It is campy and darkly comic, staging an escalating series of forklift accidents.

A short scene from The Office US in which Michael Scott blindly follows his GPS and drives into a lake. The tagline is never trust technology.

An animated National Film Board of Canada short about a young woman who picks a log driver as her partner because his work makes him a great dancer. It is set to Wade Hemsworth's folk song sung by Kate and Anna McGarrigle.

A one-minute Grand Tour clip in which James May explains what happens if you drive a car in Germany without a licence.

Fully Charged gets an exclusive first drive of the Porsche Taycan, running 0-200 km/h launch control repeatedly. It covers the car's twin-motor 800-volt specs, claimed range and fast charging.

A very short clip of George Carlin's bit on idiots and maniacs, about the other drivers on the road.

The Floppotron plays a cover of Eurythmics' Sweet Dreams using an orchestra of old computer hardware such as floppy drives, hard drives and scanners, driven by microcontrollers. It is a short music performance rather than an explanation.

Dashcam footage of a Tesla Model S on adaptive cruise control hitting a stopped van, with the driver listing the safety systems that failed to react. The uploader still calls the Model S the best car in the world.

An LGR Oddware episode looking at Sony's MDH-10 MD Data drive from 1995, which used MiniDisc for computer storage years before Hi-MD. The host tries out the drive with its original drivers and software.

Rafal Dittwald's Clojure/north talk shows how to move from writing Java-style code in Clojure to thinking in data-driven, functional terms. He walks through a JavaScript example, refactoring imperative code step by step into a functional core.

Rich Hickey's philosophical talk from the first Clojure Conj in 2010. He argues that good design comes from deliberate, away-from-keyboard thinking, and describes how to feed the background mind so it solves problems.

Ryan Dahl, the creator of Node.js, introduces the event-driven I/O framework built on V8 with examples, and discusses the v0.4.0 release and its new APIs.