unquietwiki@programming.dev

1 Post
0 Comments

Joined 3 years ago

Cake day: June 11th, 2023

You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.

OverviewCommentsPosts

unquietwiki@programming.dev to

Programming@programming.devEnglish · 6 days ago

"Bend": an attempt to apply formal proofs to AI-generated code

3

-1

"Bend": an attempt to apply formal proofs to AI-generated code

unquietwiki@programming.dev to

Programming@programming.devEnglish · 6 days ago

3