Ask HN: How are you handling production risks from AI generated code?
A Hacker News user asked the community how they are managing production risks from AI-generated code, with one commenter noting that 'A proof is a program that computes the witness.' The discussion reflects growing conce…