Accelerate the Bandwith of human-tech interface (it’s a data rate problem)
Sketch a Webpage
Self driving cars
A mirror that can take screenshots
theorem provers allow you to “declare” stuff and they make the program based on the constraints.?!
JIT compiler as a type checker for dynamic languages?!