Hagyományos fejlődés
- Az emberek manuálisan írják a kódot.
- Már létezik determinista kontroll.
- Throughput továbbra is korlátozza az emberi sebesség.
Ember által írt, határozott
Stratégiai tézis 01
euphile szerint az MI szoftverfejlesztés az irányítás szintjein keresztüli evolúció. A fontos kérdés nem csak az, hogy mennyi AI kódot tud előállítani, hanem az is, hogy a környező rendszer mennyire determinista, kormányzható és újrahasználható, ahogy az MI több munkát végez.
A hagyományos programozástól a géphez közelebbi kódgenerálásig a valódi előrelépés nem csak sebesség. Ez elmozdulás a nagyobb kontroll, a nagyobb determinizmus és az erősebb formális tőkeáttétel felé.
Ember által írt, határozott
Gyors, AIled, törékenyebb
AI- meghajtású, sugárzásvezérelt
Tooling tőkeáttétel, tervezés szerint
Formális, domaintudatos termelés
Más generációjú AI-modelleket igényel
Amit a modell mond
Az elején az emberek közvetlenül írják a szoftvert. A magasabb szinteken a szervezetek az MI-t használják a determinista rendszerek, hitelesítők és formális domain interfészek kiépítéséhez. E pontok között a fő változó az, hogy mennyi megbízható ellenőrzés létezik a szoftvergyártás körül.
Minden szinten változik, hogy ki gyártja a kódot, de a legfontosabb kérdés az, hogy mi korlátozza, validálja, és szabályozza ezt a termelést.
Az autokomplett és inline javaslatok helyi gyorsítók maradnak, míg a fejlesztő a vezetőülésen marad. Hasznos, de még nem az AI- vezérelt fejlesztés.
Vizsgálatok, látnokok, építési ellenőrzések, biztonsági szkennerek, hitelesítők és regressziós lakosztályok létrehozzák a biztonságos korrekcióhoz szükséges determinista visszacsatolási hurkot.
Közös ontológiák, DSLa fordítók, generátorok és a politikai motorok a hallgatólagos domain tudást olyan rendszerekké alakítják át, amelyek megbízhatóbbak, mint az informális értelmezés.
Ellenőrzési szintek
A szekvencia kevésbé az autonómia ünnepléséről szól a saját érdekében, hanem inkább arról, hogy hol válik sérülékennyé a sebesség, hol válik szükségessé a védőkorlát, és hol kezd a formális rendszerek túlszárnyalni az informális kódolási munkafolyamatokat.
Az emberek továbbra is a szoftver közvetlen szerzői. A munkafolyamat nagyrészt meghatározó, de az átvitelt korlátozza a kézi erőfeszítés.
A mesterséges intelligencia felgyorsítja a helyi cselekvéseket, mint például az autokomplett, inline javaslatokat és a kis replikátorokat, miközben a fejlesztő marad a fő kódtermelő szereplő.
Az MI lesz a fő kódtermelő színész a vibrációs kódolás, önálló hurkok, terv- első munkafolyamatok, vagy end-to-end funkció kérések révén.
Az MI még mindig nagy részt ír a kódból, de most egy ellenőrzött munkafolyamaton belül működik, amely ellenőrzi a munkáját és irányítja a következő korrekciót.
Az objektív váltások az ismétlődő generáló kódról olyan eszközök létrehozására, amelyek képesek megismételhető módon előállítani, átalakítani, érvényesíteni, foltozni és tesztelni a kódot.
A szervezetek formalizálják magát a domain-t, és hagyják, hogy a GenAI segítsen megtervezni és fejleszteni az eszközláncot a hivatalos modell körül.
Idővel az AI olyan artefaktumokat generálhat, amelyek közelebb állnak ahhoz, amit a gépek ténylegesen végrehajtanak, mint a mai emberközpontú absztrakciókhoz, például fájlokhoz, repókhoz és frameworkök által formált forráskódhoz.
Stratégiai következmények
euphile véleménye szerint az MI szoftverfejlesztés fejlődése egyre inkább az a kérdés lesz, hogy kérjük-e az MI-t, hogy segítsen olyan determinista rendszerek kifejlesztésében, amelyek megbízhatóan gyártják a szoftvert. A közvetlen kódgenerálás még mindig számít, de a tartósabb előny a szabályozott munkafolyamatokból, az újrahasználható eszközökből és a formális domain interfészekből származik. Mivel ezeket a meghatározó eszközöket sokkal könnyebb létrehozni, lehetővé válik, hogy sokkal összetettebb rendszereket építsünk nagyobb bizalommal. Ez viszont lehetővé teszi, hogy az erőfeszítések visszatérjenek egy új generációs AI modellek, amelyek működnek sokkal alacsonyabb a verem, közelebb a gépi szintű ábrázolások, mint a mai emberi-orientált forráskód kivételek.