HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
kvolque
No Blind Trust: Type Systems and Formal Verification for AI-Generated Code
1 points
kvolque
2026-09-26T12:58:38Z
wearecommunity.io