2 ms·
What is the distinction you're drawing below? > A future where humans write C++ but then the machine makes it memory safe seems extremely unlikely. > I'd say
by justin66 4y ago
What is the distinction you're drawing below?
> A future where humans write C++ but then the machine makes it memory safe seems extremely unlikely.
> I'd say it's more likely... it will let them type nonsense into a window for a while, then "analyse" their program and substitute one it wrote that's correct.
- tialaramex 4y agoThe distinction is between successfully understanding an arbitrary program, which we know is not practical, versus just throwing away the human's program and substituting a correct program the machine wrote to solve this problem, which is tractable. I'm assuming we're telling the machine what the program is for, if we're not it can't analyse anything, maybe my program is supposed to spit out the first million primes, then six more large numbers which aren't prime, and then segfault.