P peterlavigne.com Toward automated verification of unreviewed AI-generated code 92 points peterlavigne 7 months ago 83 comments
