An AI code editor that checks its own work

Discussion
|
Link