> This is the exact formulation of the argument before computers beat humans at chess, or drew pictures, or represented color correctly, or... Which are things

> This is the exact formulation of the argument before computers beat humans at chess, or drew pictures, or represented color correctly, or... Which are things that took 20 or 50 years longer than expected in some cases. > I think you picked self driving cars just because it is a big and only partially solved problem. One could just as easily pick a big solved problem or a big unstarted problem and formulate equally bad arguments. But C to Rust translation is a big and only partially solved problem.