logoalt Hacker News

selridgeyesterday at 5:41 AM1 replyview on HN

>no one should be debugging

He literally said those exact words out loud from the audience during a job talk.

And yeah, the total aim and the reason why he might just blurt that out is because a lot of the frustration and esprit de corps of programming is held up in writing software that's more a guess about behavior than something provably correct. Perhaps we all ought to be writing provably correct software and never debugging as a result. We don't. But perhaps we ought to. We don't.

Is control via natural language a doomed effort? Perhaps, but I'd be cautious rather than confident about predicting that.


Replies

godelskiyesterday at 5:55 PM

  > He literally said those exact words out loud from the audience during a job talk.
Yes, I even provided the source...

Unfortunately despite being able to provide a summary I'm unable to actually read it for you. You'll actually need to read the whole thing and interpret it. You have a big leg up with my summary but being literate or not is up to you. As for me, I'm not going to argue with someone who chooses not to read

show 1 reply