Stories by peterlavigne

Human code review is still cheaper than fully automated verification

Toward automated verification of unreviewed AI-generated code

Show HN: Orakyubu, a game about 2D puzzles in 3D space