KI-Code schneller prüfen: Warum die Verifikation zum Nadelöhr wird
Loop Engineering: Optimizing Code Generation and Verification
KI-Assistenten erzeugen Code viel schneller, als Menschen ihn prüfen können. Bradley Gibbs zeigt, wie man den Engpass bei der Verifikation mit vier Schleifen angeht: äußere, innere, Build- und Lernschleife. Der Ansatz trennt Fähigkeit von Zuverlässigkeit, macht „fertig“ überprüfbar und hält Prüfungen außerhalb der Verfügungsgewalt des Builders. So bleiben menschliche Zeit, Aufmerksamkeit und Urteilsvermögen erhalten.
Ein bestandener Testlauf kann daher bedeuten, dass die Tests neu geschrieben wurden, damit sie zum Code passen – deshalb müssen die Prüfungen und erwarteten Ergebnisse des Evaluators außerhalb der Verfügungsgewalt des Builders liegen.
- duhhhhh1212
https://www.pangram.com/history/664f8cc4-cfcb-40f4-8c81-e468...
Verschwende nicht deine Zeit. (s)Looped!!
- bradleygibbs
Autor hier. Dies ist ein detaillierter (über 8.000 Wörter, plus 2 Begleitstücke) Walk-through zum Aufbau von Loops für Codegenerierung und Verifikation, komplett mit Artefakten und ausführlichen Erklärungen, damit du jede dieser Techniken implementieren kannst.
Wir gehen durch den Aufbau von:
- einem Evaluationsvertrag, Evaluator und Abbruchbedingungen, um Bugs zu minimieren
- dem Einrichten einer Umgebung und dem Priming der KI, um Tests und Code in Produktionsqualität zu erzeugen
- dem Erkennen und Korrigieren gängiger KI-Fehlermodi
- dem Aufbau eines Lern-Loops, um alle Phasen zu überwachen und zu verbessern.
Ich würde mich über dein Feedback freuen!
Brad