Tradicinė plėtra
- Žmonės rašo kodą rankiniu būdu.
- Jau egzistuoja ryžtinga kontrolė.
- pavojus išlieka ribotas dėl žmogaus greičio.
Žmonijos rašytinis, deterministinis
Back to strategic thetes
strateginė disertacija 01
PG programinės įrangos kūrimo evoliucijos modelis
eufilas mato PG programinės įrangos plėtrą kaip evoliuciją per kontrolės lygius. Svarbus klausimas yra ne tik tai, kiek kodas AI gali gaminti, bet ir tai, kiek deterministinis, valdomas, ir daugkartinio naudojimo aplinkinė sistema tampa, nes AI imasi daugiau darbo.
PG programinės įrangos kūrimas Evoliucija Modelis
Nuo tradicinio programavimo iki mašinai artimesnio kodo generavimo tikroji pažanga nėra vien greitis. Tai poslinkis link didesnės kontrolės, didesnio determinizmo ir stipresnio formalaus sverto.
AI-led Coding
- AI tampa pagrindiniu koduojantį gaminančiu aktoriumi.
- Vibe kodavimas ir autonominės kilpos spartina produkciją.
- Trūkumas auga, kai sistemos tampa sudėtingesnės.
Fast, Ai- led, more trattle
AI su kontrolės mechanizmais
- AI veikia valdomo darbo srauto viduje.
- Bandymai, konstravimas, skenavimas, ir tvirtintojai riboja produkciją.
- Atsiliepimų kilpos veda kitą pataisą.
maitinimas valdomas
AII sukurti determinaciniai įrankiai
- AI stato generatorius ir tvirtintojus.
- Lankstymo įrankiai, transformatoriai, ir keltuvai tampa turtu.
- daugkartinio sverto poveikis viršija vieno karto rezultatą.
Informavimo svertas (pagal projektą)
Enterprise Ontologies, DSL ir Kompiliatoriai
- Bendras ontologijos modelis.
- DSL, kompiliatoriai, generatoriai, ir politikos variklių struktūros gamybos.
- Programinė įranga tampa formalesnė ir pakartojama skalėje.
Formali, gerai žinoma gamyba
Mašinai artimesnio kodo generavimas
- Generavimas artėja prie to, ką mašinos iš tikrųjų vykdo.
- Runtime artifaktai ir patikrinti planai didėja.
- Kodeksas nebeyra pagrindinis artefaktas.
Reikia kitos kartos AI modelių
tik prognozė
Čia aprašoma, kas gali atsitikti, o ne tai, kas, jos manymu, pageidautina, etiška, ar atsakomybė pagal nutylėjimą.
Ką modelis sako
AI SPLC pasikeičia tiek kaip kodus gaminantis aktorius, tiek kaip valdymo paviršiaus pokytis.
pradžioje, žmonės rašyti programinę įrangą tiesiogiai. Aukštesniuose lygmenyse organizacijos naudoja PG, kad padėtų kurti deterministines sistemas, tvirtintojus, ir formalias domenų sąsajas. tarp šių taškų, pagrindinis kintamasis yra, kiek patikimas valdymas egzistuoja aplink programinės įrangos gamybą.
Kontrolė yra kintamasis
Kiekvienas lygis keičiasi, kurie gamina kodą, bet svarbesnis klausimas yra, kas varžo, patvirtina, ir reglamentuoja, kad gamyba.
Kopilotas nėra 1 lygis
Autocomplete ir inline pasiūlymai išlieka vietiniai greitintuvai, o kūrėjas lieka vairuotojo vietoje. Naudinga, bet dar ne AID vadovaujama plėtra.
Kontrolės mechanizmai padaro AI praktiškai naudojamą
Testai, lementai, kurti patikrinimus, saugumo skenavimo, validatorių, ir regresijos suites sukurti deterministinį grįžtamojo ryšio kilpą, reikalingą saugiai korekcijai.
Formalizacija sukuria ilgalaikį svertą
bendros ontologijos, DSL, kompiliatoriai, generatoriai, ir politikos varikliai pasukti tylias domeno žinias į sistemas, kurios skalę patikimiau nei tik neoficialus aiškinimas.
Kontrolės lygiai
Modelis apibūdina progresą nuo rankinio srauto į deterministinę programinės įrangos gamybą.
Seka yra mažiau susijusi su autonomijos šventimu dėl savo paties, ir daugiau su supratimu, kur greitis tampa trapus, kur reginiai tampa būtini, ir kur formalios sistemos pradeda viršyti neoficialius kodavimo darbų srautus.
Tradicinė programinė įranga
Žmonės lieka tiesioginiai programinės įrangos autorius. Darbų eiga iš esmės yra lemiama, bet našumą riboja rankinės pastangos.
- Humaniškai parašytas kodas yra numatytasis.
- Gerai žinomas projektavimas, peržiūra, bandymas, statyti, ir dislokuoti kilpa vis dar taikoma.
- Kontrolė yra didelė, bet skalę riboja žmonės.
Kopijavimo stiliaus pagalba
AI pagreitina vietinius veiksmus, tokius kaip autoužbaigtumo, netiesinių pasiūlymų, ir mažus reflektorius, tuo tarpu kūrėjas išlieka pagrindinis kodavimo aktorius.
- NAME OF TRANSLATORS SPLC modelis pats.
- Žmonės vis dar vairuoja struktūrą ir sprendimus.
- Našumas didėja vietoje, bet gyvavimo ciklas iš esmės nekinta.
Firminis kodavimas
AI tampa pagrindiniu kodavimo aktoriumi per vibe kodavimą, autonomines kilpas, planuojamus pirminius darbų srautus, arba baigiamuosius funkcijų prašymus.
- Greitis gali būti labai didelis esant ribotoms problemoms.
- Didelis kiekis kodo gali atsirasti greitai.
- Patikimumas mažėja, nes sudėtingumas, sujungimas, ir veiklos kontekstas auga.
AI orkestruojamas kūrimas su deterministiniais kontrolės mechanizmais
AI vis dar rašo didelę kodo dalį, bet dabar jis veikia kontroliuojamoje darbo eigos, kuri tikrina savo darbą ir vadovauja kitą pataisą.
- Bandymai, lementai, kurti patikrinimus, nuskaito, ir tvirtintojai riboja produkciją.
- Automatizuotos fitneso funkcijos ir regresijos komplektai aptikti lūžius anksti.
- Grįžtamojo ryšio kilpa tampa pakankamai įskaitoma, kad būtų galima patikimai iteracija.
AIA sukurtos determinacinės priemonės
Objektyvus perėjimas nuo pakartotinai generuoti kodą generuoti įrankius, kurie gali gaminti, transformuoti, patvirtinti, pleistras, ir bandymo kodą pakartojamais būdais.
- Generatoriai, transformatoriai, tvirtintojai, ir patikėtiniai tampa pagrindiniu turtu.
- AI pradeda kurti daugkartinio naudojimo mechanizmus, ne tik tiesioginę produkciją.
- Rezultatas yra pakartojamas svertas, bet ne vienas-off pagreitis.
Entreprise-range ontology, DSLir su GenAI sukurti kompiliatoriai
Organizacijos formalizuoja domeną ir leidžia GenAI padėti kurti ir plėtoti priemonių grandinę aplink šį formalų modelį.
- Verslo sritį apibrėžia bendros ontologijos.
- DSL, kompiliatoriai, generatoriai, tvirtintojai, ir politikos variklių struktūros gamyba.
- Programinė įranga tampa formalesnė, pakartojama, ir mažiau priklausoma nuo trapių interpretacijų.
Mašinai artimesnio kodo generavimas
Laikui bėgant AI gali generuoti artefaktus, artimesnius tam, ką mašinos iš tikrųjų vykdo, nei šiandieninėms į žmogų orientuotoms abstrakcijoms, tokioms kaip failai, saugyklos ir frameworkų formuojamas šaltinio kodas.
- Vyrauja vykdomųjų atvaizdų ir optimizuotų kilimo laiko artefaktai.
- Instrukcijos ir patikrinti planai tampa labiau centralizuoti.
- Humanitarinis kodas tampa sąsaja, nebūtinai pagrindiniu artefaktu.
strateginis poveikis
Eupfill mano, kad PG programinės įrangos kūrimo evoliucija vis labiau tampa prašymu AI padėti sukurti deterministines sistemas, kurios patikimai gamina programinę įrangą. Tiesioginis kodo generavimas vis dar svarbus, bet tvaresnis privalumas kyla iš reguliuojamų darbų srautų, daugkartinio naudojimo priemonių, ir formalių domenų sąsajų. Toms determinacinėms priemonėms kuriant tampa daug lengviau, todėl galima sukurti daug sudėtingesnes, patikimesnes sistemas. Galų gale, kad, savo ruožtu, gali leisti pastangas susigrąžinti apie naujos kartos PG modelius, kurie veikia daug mažesnis kamino, arčiau mašinų lygio atstovybių, nei šiandienos žmogaus orientuoto kodo ėmimo.