-17
"Bend": an attempt to apply formal proofs to AI-generated code (github.com)
submitted 1 week ago by to c/programming@programming.dev
3 comments fedilink hide all child comments
 

This showed up on TLDR today. Supposed to be able to loop this in with AI-assisted code development to provide guardrails on what the program is actually supposed to do.

you are viewing a single comment's thread
view the rest of the comments
[–] 10 points 1 week ago

And the circle of programming continues except now there's a world destruction machine in there too.

  • permalink
  • fedilink
  • source
    •