How Vector Addition Keeps Your Computer from Crashing: The Reachability Problem

Transcript

One of the most difficult problems in computer science sounds simple at first. How can a programmer be sure that a new algorithm they've written will perform as expected, free of bugs? Various standard programming errors can lead to the program just malfunctioning. The stakes are high. What if the program controls a critical system like a self-driv... Read More