[daly]

ML. You're probably not aware of it but the next generation of programmers are learning how to write provably correct programs. Just in time for self-driving cars/trucks/planes.