> In my opinion mainstream software will be abstracted away to the point where you are working on defining and refining requirements. And will likely look very

> In my opinion mainstream software will be abstracted away to the point where you are working on defining and refining requirements. And will likely look very different. In some sense, the same thing could have been said 50 years ago, and the prediction came true. Compare what a typical programmer writes on a typical day, then and now, to the instructions that the machine executes as a result, then and now. I'm with Dijkstra [0] (HN thread [1]), in thinking that we'll always need something more formal (simpler) than natural language to express computation, even if it's only to ask things in a way SkyNet will respond to nicely. [0] http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD667.html http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EW... [1] https://news.ycombinator.com/item?id=24529900 https://news.ycombinator.com/item?id=24529900