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