Artificial intelligence means everyone can now be a computer programmer as all they need to do is speak to the computer, Nvidia Corp CEO Jensen Huang said on Monday, hailing the end of the "digital divide".
I once heard about an analogous research project aiming at automatically generating correct application code. All you had to do is describe your application specifications using a new formal language for app specifications.
It would probably reduce the number of people capable of producing apps. A significant portion of programmers don’t know how to write formal specifications.
But I wonder if a large language model could discuss someone’s requirements in a plain-english discussion. Then turn that into a formal specification, that can be turned into code.
I once heard about an analogous research project aiming at automatically generating correct application code. All you had to do is describe your application specifications using a new formal language for app specifications.
It would probably reduce the number of people capable of producing apps. A significant portion of programmers don’t know how to write formal specifications.
But I wonder if a large language model could discuss someone’s requirements in a plain-english discussion. Then turn that into a formal specification, that can be turned into code.