HackerTrans
TopNewTrendsCommentsPastAskShowJobs

peterlavigne

no profile record

Submissions

[untitled]

1 points·by peterlavigne·2개월 전·0 comments

[untitled]

1 points·by peterlavigne·3개월 전·0 comments

[untitled]

1 points·by peterlavigne·3개월 전·0 comments

Rules for using unreviewed AI-generated code

peterlavigne.com
1 points·by peterlavigne·3개월 전·0 comments

Human code review is still cheaper than fully automated verification

peterlavigne.com
1 points·by peterlavigne·4개월 전·0 comments

Toward automated verification of unreviewed AI-generated code

peterlavigne.com
92 points·by peterlavigne·4개월 전·83 comments