this post was submitted on 30 May 2023
25 points (100.0% liked)
Technology
37730 readers
743 users here now
A nice place to discuss rumors, happenings, innovations, and challenges in the technology sphere. We also welcome discussions on the intersections of technology and society. If it’s technological news or discussion of technology, it probably belongs here.
Remember the overriding ethos on Beehaw: Be(e) Nice. Each user you encounter here is a person, and should be treated with kindness (even if they’re wrong, or use a Linux distro you don’t like). Personal attacks will not be tolerated.
Subcommunities on Beehaw:
This community's icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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.