|
|
|
|
|
|
by OliverGilan
148 days ago
|
|
|
Maintainer here. In the case where a human edits a previously AI-generated line we simply track that as a human-produced line of code. We are thinking of making this a distinct subcategory because there's a lot of useful info in that data. Regarding performance we haven't done rigorous benchmarks but we've been using this internally and haven't noticed any problems |
|
|