4 ms·

The possible models where change C fits are unlimited. Code describes only behaviour but it's hard to guess intent. So unless languages won't be just specifica

The possible models where change C fits are unlimited. Code describes only behaviour but it's hard to guess intent. So unless languages won't be just specification languages (as close to describing intent as possible) then I doubt it's possible. Anyway already part od programming work is deciding what you really want. Maybe that's where machines might help - with discoverability. I actually think that more likely is some CRUD maker as an expert system? (you put what you vaguely need, answer questions and it comes with solution), doesn't need ML.

TBF-RnD 7y ago
The same thing applies for a human to try to solve a problem as well doesn't it? And we have bugs and inefficent code don't we? I remember seing a talk on youtube about a lisp program finding every program that would fit a certain solution. So reasoning about things like this is what a lot of lisp's gurus are doing all day long basically. You are probably right about AI being used in an assitive part at first. I imagine it'll be a while until people dare putting their business logic in the hands of an AI. Probably CRUD applications would be the first to be automated. Boring tedious work that has been done a million times. And unhappy coders are probably more prone to create bugs make bad decisions. Also there are litteraly thousands and thousands of implementations doing the same thing with variantions that are more or less just flavour. Then again if you are at analyzing all open source software ever written. Why not plow through all open source issue trackers at the same time. If you found the top 20% bugs that cause 80% of the issues and have get an AI that solves 20% you'll be a very very rich man if you feel like it. So don't expect to tell a computer to figure out the best way to create top off the line lossless video codec anytime soon or anything else. Then again it's hard to find a coder that you could tell that and get back the results you wanted either...

TBF-RnD 7y ago

The same thing applies for a human to try to solve a problem as well doesn't it? And we have bugs and inefficent code don't we? I remember seing a talk on youtube about a lisp program finding every program that would fit a certain solution. So reasoning about things like this is what a lot of lisp's gurus are doing all day long basically. You are probably right about AI being used in an assitive part at first. I imagine it'll be a while until people dare putting their business logic in the hands of an AI. Probably CRUD applications would be the first to be automated. Boring tedious work that has been done a million times. And unhappy coders are probably more prone to create bugs make bad decisions. Also there are litteraly thousands and thousands of implementations doing the same thing with variantions that are more or less just flavour. Then again if you are at analyzing all open source software ever written. Why not plow through all open source issue trackers at the same time. If you found the top 20% bugs that cause 80% of the issues and have get an AI that solves 20% you'll be a very very rich man if you feel like it. So don't expect to tell a computer to figure out the best way to create top off the line lossless video codec anytime soon or anything else. Then again it's hard to find a coder that you could tell that and get back the results you wanted either...