peterlavigne

Joined 7 months ago

Karma

43

Submissions

7

Member since

Mar 12

View on Hacker News

Recent submissions

Rules for using unreviewed AI-generated code peterlavigne.com

1 peterlavigne 7 months ago 0 comments

Human code review is still cheaper than fully automated verification peterlavigne.com

1 peterlavigne 7 months ago 0 comments

Toward automated verification of unreviewed AI-generated code peterlavigne.com

92 peterlavigne 7 months ago 83 comments