No Blind Trust: Type Systems and Formal Verification for AI-Generated Code

wearecommunity.io

1 pointkvolque1 comment

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

Reply on news.ycombinator.com