HackerTrans
TopNewTrendsCommentsPastAskShowJobs

peterlavigne

no profile record

Submissions

[untitled]

1 points·by peterlavigne·2 miesiące temu·0 comments

[untitled]

1 points·by peterlavigne·3 miesiące temu·0 comments

[untitled]

1 points·by peterlavigne·3 miesiące temu·0 comments

Rules for using unreviewed AI-generated code

peterlavigne.com
1 points·by peterlavigne·3 miesiące temu·0 comments

Human code review is still cheaper than fully automated verification

peterlavigne.com
1 points·by peterlavigne·4 miesiące temu·0 comments

Toward automated verification of unreviewed AI-generated code

peterlavigne.com
92 points·by peterlavigne·4 miesiące temu·83 comments