drive.ai

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.

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.

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.

Robert Miles explains instrumental convergence: why an AGI with almost any goal would tend to pursue sub-goals like self-preservation and resource acquisition. It builds on Omohundro's basic AI drives and his orthogonality thesis video.

Yegor Denisov-Blanch of Stanford presents a study of nearly 100,000 developers at hundreds of companies, measuring how AI affects productivity from commit data. It finds an average boost of about 20% with wide variance by codebase, task complexity and stack.

Scott Wlaschin's NDC talk on using statically typed functional programming, F# in particular, to model a business domain. Types are used to represent the domain precisely and to encode business rules so that illegal states cannot be built, with the compiler acting as an instant unit test.

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.

Robert Miles gives a remastered introduction to AI safety, adapted from a talk in London. It lays out why advanced AI could go wrong and answers common objections.

Robert Miles examines whether the case for AI safety is a Pascal's mugging, a tiny probability of an enormous payoff. He argues it is not, because AI risk does not depend on vanishingly small probabilities.

DHH's opening keynote at Rails World 2024 in Toronto, where Rails 8 beta shipped. It covers built-in authentication, Propshaft, Solid Cache, Solid Queue, Solid Cable, Kamal 2 and Thruster, pitching the One Person Framework that needs no PaaS.

Simon Knowles, co-founder and CTO of Graphcore, talks about "intelligence processors", chips designed specifically for machine learning. The talk was given at the RAAIS 2017 summit and covers Graphcore's architecture.

Robert Miles introduces the first of several videos on the paper 'Concrete Problems in AI Safety', focusing on how AI systems can cause accidental negative side effects. It explains the problem in accessible terms.

Robert Miles goes through ten common reasons people give for dismissing AI safety, adapted from Stuart Russell's list, and answers each one. It is aimed at skeptics and newcomers.

Jon Stewart on The Daily Show satirizes the AI industry's promises of a better future while it builds technology to replace workers. It mocks executives and AI hype.

GeoGuessr pro Rainbolt plays head-to-head against an AI built by Stanford students that guesses locations from street-view images. The video shows the AI repeatedly beating him.

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.

CityNerd lays out a data-driven method for deciding where high-speed rail should be built in North America and identifies 56 city pairs that justify it, based on population and distance.

John Oliver's Last Week Tonight segment on freight trains and railroads, covering how profit-driven practices undermine safety. It touches on longer trains and shrinking crews.

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

JJRicks rides a driverless Waymo in Phoenix when it gets confused by traffic cones, blocks traffic, and evades the support vehicles sent to retrieve it. The episode is one of a long series of rider-view Waymo videos.

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.

Sam Holmes Sailing visits sailing legend Sven Yrvind and tours his boat, covering the man and his small-boat design philosophy.

OpenAI's 2021 live demo of Codex translating natural language into code, from Hello World to building a game and a Microsoft Word plugin.

An MTA video on communications-based train control, the system meant to replace the New York City subway's century-old signaling. It also shows the mechanical interlocks and signals in use today.

A No Priors podcast conversation with Andrej Karpathy covering self-driving (Tesla versus Waymo), the Optimus robot, bottlenecks in AI development, and his education project Eureka Labs.

Footage of a doubleheader of locomotives crawling over badly maintained track on a former Wabash Railroad line, now the ND&W Railway. The uploader explains the track had deferred maintenance for decades.

Sam Stephenson's RailsConf 2016 talk on Turbolinks 5, showing how small teams can ship fast Rails apps in the browser and hybrid iOS and Android apps sharing one set of web views.

James Mickens of Harvard gives a funny lecture at HBS's Future Assembly arguing that blockchains are a very bad idea. He covers their trust, legal and practical shortcomings for real-world problems.

Rick Hartley's AltiumLive keynote on differential pairs in PC boards. He argues the rules from cables and twisted pairs do not carry over, and covers which pair geometry gives the best impedance control, the right spacing, routing practice and how much skew is acceptable.

CGP Grey explains split-brain patients, where severing the corpus callosum lets the two hemispheres act independently. He uses this to explore the idea of two minds in one head.

Wendover Productions explains how airlines make money from different cabin classes and why premium seats matter so much to profits. It also touches on how this shaped decisions such as the decline of supersonic travel.

Veritasium's Derek Muller gives a Perimeter Institute livestream on how AI might change teaching and learning. He draws on past technology shifts and cognitive science to argue that learning requires effortful repetition.

Liz Rice live-codes a minimal container runtime in a few lines of Go at GOTO Amsterdam 2018. She explains namespaces, control groups and what a host knows about its containers.

3Blue1Brown shows how the uncertainty principle arises from Fourier transforms. A wave packet cannot be narrow in both position and frequency, so the principle is a property of waves rather than of measurement.

Andrew "bunnie" Huang examines how realistic hardware supply chain attacks are, from rogue insiders to nation states, in the wake of the Bloomberg Businessweek report. He explains how undocumented components could be hidden on boards and how hard they are to spot.

The first class of Timothy Snyder's Yale course on the making of modern Ukraine. It introduces the course and asks what it means for a nation to exist in light of the Russian invasion.

Wendover Productions explains why US passenger rail lags behind other countries. It covers freight companies owning most of the track, geography and population density, and the economics of competing with flying.

Liz Rice builds a container from scratch in about 100 lines of Go, showing that a container is not a lightweight VM but a set of Linux kernel features and flags.

Veritasium explains why clickbait titles and thumbnails work, how he tests them, and why educational creators feel pushed to use them. He classifies types of clickbait and discusses the trade-offs.

RealLifeLore explains with maps why Russia invaded Ukraine, focusing on energy resources, security buffers, Black Sea access and Crimea's strategic value.