3 ms·
yes, am familiar with the "code is spec" trope. Shame us all for moving away from something so perfect, precise, and that "doesn't have edge cases." Hey - if
by ramoz 5mo ago
yes, am familiar with the "code is spec" trope.
Shame us all for moving away from something so perfect, precise, and that "doesn't have edge cases."
Hey - if you invent a programming language that can be used in such a way and create guaranteed deterministic behavior based on expressed desires as simple as natural language - ill pay a $200/m subscription for it.
- 20k 5mo agoAs people are discovering, natural language is insufficiently precise to be able to specify edge cases. Any language precise enough to be formally verified against is a programming language
- ramoz 5mo agowe're going to end up speaking past each other - but generally I do agree with you and am not denouncing the importance of formal verification methods. I do think abstractions are going to dominate the human ux above them
- Npovview 5mo agoOne agent generates : Spec -> Code then Another agent: Code -> Inverted Spec then compare Spec and Inverted Spec. If there is a Gap, a Human fixes and clarifies the Gap. This is like Generator and Discriminator aspects of GAN models or Autoencoder models.
- giancarlostoro 5mo agoXML will do it very well.