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.

WeberAuto explains how the Honda E-Drive (i-MMD) hybrid transaxle works in the CR-V, Accord, Insight and Clarity hybrids. It walks through the system's three modes of operation.

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.

A one-minute clip from SSI showing its Quad shredder destroying computer hard drives and electronic scrap.

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.

PBS Space Time explains how general relativity permits warp drive in principle and covers recent theoretical advances toward solving the negative energy problem.

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.

A Hitachi promotional cartoon in the style of Schoolhouse Rock explaining perpendicular magnetic recording for hard drives.

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.

A Remedy engineer explains how Alan Wake 2 moved to a GPU-driven rendering pipeline built on mesh shaders, culling and rendering meshlets for dense vegetation on PS5 and Xbox Series consoles.

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.

Out of Spec Reviews takes a one-hour drive in an Avatr 11 running Huawei's Qiankun ADS 3.2 driver assistance system in China, billed as the best FSD-like system there.

Tom7 (suckerpinch) builds and evaluates a series of absurd hard drives, including storage made from ping packets across the internet. The video accompanies his paper and mixes deep technical hacking with comedic storytelling.

A two-minute 2008 clip from Sun's Fishworks team in which Brendan Gregg uses DTrace to show disk latency spiking while he shouts at a rack of drives. Bryan Cantrill narrates the demonstration.

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 long George Hotz live-stream from June 2023 in which he works on tinygrad and rants about AMD's drivers, ultimately declaring he is giving up on AMD. It also touches on hardware and compiler topics.

AutoX shows its fully driverless robotaxi navigating dense, chaotic urban village streets in Chinese cities. The vehicle nudges through crowds, bikes, scooters and pets.

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.

Not Just Bikes argues that the Netherlands, famed for cycling, is also the best country for drivers. It explains how prioritizing walking, cycling and transit makes driving faster and more pleasant.

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.

Tom Scott races a London black-cab driver who has memorized The Knowledge against a phone GPS across the city, comparing local expertise to navigation software.

A short urbanism video presenting original observations of how drivers treat stop signs, to argue that cyclists rolling through them under an Idaho stop is no different. It filmed intersections in Ottawa.

Top Gear segment in which Richard Hammond drives a Renault R25 Formula 1 car around Silverstone for two laps. He struggles with the car's demands.

A short clip of Linus Torvalds giving Nvidia the finger and telling the company off over its Linux support. It is the well-known soundbite from a Q&A.

A Veritasium video, sponsored by Waymo, that rides in a fully driverless car in Chandler, Arizona and argues for putting autonomous vehicles on roads based on safety data.

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.