Hacker News new | ask | show | jobs
user: hnipps
created: 2022-12-20
karma: 2

submissions:

0 points | 0 comments
0 points | 0 comments
Formally Verifying the Easy Part
3 points | 5 comments
0 points | 0 comments
I formally verified AI-generated code. All 4 bugs were in the integration layer
1 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments