2 stories
peterlavigne.com visit →
Stories 2 (0 evaluated) Avg HRCB ND
Avg SETL ND Avg Conf ND
Poster Karma 2 avg Submitters 1
1. Human code review is still cheaper than fully automated verification (peterlavigne.com)
1 points by peterlavigne 1 days ago | 0 comments | skipped
2.
HRCB -0.08
E 0.00
S -0.20
Toward automated verification of unreviewed AI-generated code (peterlavigne.com)
92 points by peterlavigne 8 days ago | 85 comments | hrcb Technology