Traditionel udvikling
- Mennesker skriver kode manuelt.
- Deterministisk kontrol eksisterer allerede.
- Gennemstrømning forbliver begrænset af menneskelig hastighed.
Menneskeskrevet, deterministisk
Strategisk afhandling 01
euphile ser AI-softwareudvikling som en udvikling gennem niveauer af kontrol. Det vigtige spørgsmål er ikke kun, hvor meget kode AI kan producere, men hvor deterministisk, styrbart og genbrugeligt det omgivende system bliver, efterhånden som AI påtager sig mere arbejde.
Fra traditionel programmering til maskinnær kodegenerering handler det egentlige fremskridt ikke kun om hastighed. Det er et skifte mod mere kontrol, mere determinisme og stærkere formelle virkemidler.
Menneskeskrevet, deterministisk
Hurtig, AI-ledet, mere skør
AI-drevet, feedback-styret
Værktøjsudnyttelse, ved design
Formel, domænebevidst produktion
Kræver en anden generation af AI-modeller
Hvad siger modellen
I begyndelsen skriver mennesker softwaren direkte. På de højere niveauer bruger organisationer AI til at hjælpe med at bygge deterministiske systemer, validatorer og formelle domænegrænseflader. Mellem disse punkter er nøglevariablen, hvor meget pålidelig kontrol der findes omkring softwareproduktion.
Hvert niveau ændrer, hvem der producerer koden, men det vigtigere spørgsmål er, hvad der begrænser, validerer og styrer den produktion.
Autofuldførelse og inline-forslag forbliver lokale acceleratorer, mens udvikleren bliver i førersædet. Nyttig, men endnu ikke AI-styret udvikling.
Tests, linters, build-checks, sikkerhedsscanninger, validatorer og regressionssuiter skaber den deterministiske feedback-loop, der er nødvendig for sikker korrektion.
Delte ontologier, DSL'er, compilere, generatorer og policy-motorer omdanner tavs domæneviden til systemer, der skaleres mere pålideligt end uformel fortolkning alene.
Niveauer af kontrol
Sekvensen handler mindre om at fejre autonomi for dens egen skyld og mere om at forstå, hvor hastigheden bliver skrøbelig, hvor autoværn bliver nødvendige, og hvor formelle systemer begynder at udkonkurrere uformelle kodningsarbejdsgange.
Mennesker forbliver de direkte forfattere af softwaren. Arbejdsgangen er stort set deterministisk, men gennemløbet er begrænset af manuel indsats.
AI accelererer lokale handlinger såsom autofuldførelse, inline-forslag og små refaktorer, mens udvikleren forbliver den vigtigste kodeproducerende aktør.
AI bliver den vigtigste kodeproducerende aktør gennem vibe-kodning, autonome loops, planlægning-første arbejdsgange eller end-to-end funktionsanmodninger.
AI skriver stadig en stor del af koden, men den fungerer nu inde i en kontrolleret arbejdsgang, der tjekker dens arbejde og guider den næste rettelse.
Målet skifter fra gentagne gange at generere kode til at generere værktøjer, der kan producere, transformere, validere, lappe og teste kode på gentagelige måder.
Organisationer formaliserer selve domænet og lader GenAI hjælpe med at designe og udvikle værktøjskæden omkring den formelle model.
AI kan med tiden generere artefakter, der ligger tættere på det, maskiner eksekverer, end på nutidens menneskecentrerede abstraktioner som filer, repositories og framework-formet kildekode.
Strategisk implikation
euphiles opfattelse er, at udviklingen af AI-softwareudvikling i stigende grad bliver et spørgsmål om at bede AI om at hjælpe med at bygge deterministiske systemer, der producerer software pålideligt. Direkte kodegenerering har stadig betydning, men den mere holdbare fordel kommer fra styrede arbejdsgange, genanvendelige værktøjer og formelle domænegrænseflader. Efterhånden som disse deterministiske værktøjer bliver meget nemmere at skabe, bliver det muligt at bygge meget mere komplekse systemer med større selvtillid. Det kan til gengæld i sidste ende tillade en indsats for at skabe nyere om en ny generation af AI-modeller, der opererer meget lavere i stakken, tættere på repræsentationer på maskinniveau end nutidens menneskeorienterede kildekodeabstraktioner.