A lot of what we do with computers is repetitive. We put files in folders, we send form replies to emails, we make commits to git when we save files, we trigger tests when we build an application.

Modern cars are essentially software on wheels—“smart” collections of automotive systems, including entertainment, braking, power, locks, window controls, and so on. As the number of electronic ...