Hacker News
new
top
best
ask
show
job
No Blind Trust: Type Systems and Formal Verification for AI-Generated Code
(
wearecommunity.io
)
1 point
by
kvolque
2 hours ago
2 comments
Alexadar
2 hours ago
Besides units and e2e tests i prompt machine to create a 20-30 line files in a critical locations like web ingress classes, to verify by eyes fast, knowing everything after it (hopefully) have less critical issues i.e. unauthorized access
kvolque
2 hours ago
[flagged]