Toward automated verification of unreviewed AI-generated code(peterlavigne.com)81 points by peterlavigne 7 months ago | 71 comments
