Rules for using unreviewed AI-generated codepeterlavigne.com1 points·by peterlavigne·vor 3 Monaten·0 comments
Human code review is still cheaper than fully automated verificationpeterlavigne.com1 points·by peterlavigne·vor 4 Monaten·0 comments
Toward automated verification of unreviewed AI-generated codepeterlavigne.com92 points·by peterlavigne·vor 4 Monaten·83 comments