Hacker News new | ask | show | jobs
by new_hackers 3381 days ago

    User: 'Make me a sandwich'

    *mighty robot slices up user and places in between two pieces of bread*

    Computer: 'You are now a sandwich'
3 comments

That is an error, which will be backpropagated and forever corrected. We have to assess whether 1 human life per ambiguity is an appropriate price to pay
See, that's the issue, incorrectly specced software.
Exactly, so what we need to do is use a formalized language with strict rules to keep out any ambiguity. And then we fully specify what software we want and... this process is called 'programming'.
But what if the programmer program could identify possible ambiguities and interactively ask you to clarify them? That would obviate the need for a formal language specification.

>Make me a sandwich.

Do you want to (1) be turned into a sandwich or (2) have a sandwich prepared?

>2

What ingredients do you want in the sandwich?

(etc.)

This is an agile development process.

Although in principle it should be possible to have a machine that performs each iteration near-instantaneously, rather than wait three hours between each change.

And then we can automate this 'programming' and people can ask the automation software to 'make them a sandwich'
I'm working in this space (check my profile) and I'm betting pretty heavily on the idea that the problem there is not the user's conception of their idea, but the flawed nature of language. If users can interact with their concept as they build it, and shape it like you would a physical product, they can get much closer to the ideal stored in their head than if they have to describe the idea in minute detail using ambiguous concepts.
This is why you shouldn't run commands as root.
True, but in this case the user owned the file^ that was being worked on

^ everything is a file...

I assume you're thinking of this :-)

https://xkcd.com/149/