Toward automated verification of unreviewed AI-generated code

by peterlavigne | View on Hacker News