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