← Back to context

Comment by ramoz

1 day 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.

4 comments

ramoz

Reply
20k  1 day ago

As 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

  • Npovview  11 hours ago

    One 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.

  • ramoz  1 day ago

    we'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