peterlavigne

3 ms·

1. 1.▲
   Rules for using unreviewed AI-generated code(peterlavigne.com)

   1 points by peterlavigne 6mo ago|0 comments
2. 2.▲
   Human code review is still cheaper than fully automated verification(peterlavigne.com)

   1 points by peterlavigne 7mo ago|0 comments
3. 3.▲
   Toward automated verification of unreviewed AI-generated code(peterlavigne.com)

   92 points by peterlavigne 7mo ago|83 comments
4. 4.▲
   by peterlavigne 4y ago

   > I wish Trello had intercard dependencies and per-checklist item due dates Intercard dependencies may be covered by a power-up[1]. Per-checklist item due dates were added in the last couple years[2]. 1. https://screenful.com&
5. 5.▲
   Show HN: Orakyubu, a game about 2D puzzles in 3D space(peterlavigne.itch.io)

   9 points by peterlavigne 5y ago|2 comments