Jeg tror det må være en veldig interessant tid å være i programmeringsspråk og formelle metoder fordi LLM-er fullstendig endrer hele landskapet for programvarebegrensninger. Antydninger til dette kan allerede sees, for eksempel i den økende fremdriften bak portingen av C til Rust eller den økende interessen for å oppgradere eldre kodebaser i COBOL eller lignende. Spesielt er LLM-er *spesielt* gode på oversettelse sammenlignet med de-novo-generering fordi 1) den opprinnelige kodebasen fungerer som en slags svært detaljert prompt, og 2) som en referanse for å skrive konkrete tester med hensyn til. Når det er sagt, er selv Rust langt fra optimalt for LLM-er som målspråk. Hva slags språk er optimalt? Hvilke innrømmelser (om noen) er fortsatt gjort for mennesker? Utrolig interessante nye spørsmål og muligheter. Det føles sannsynlig at vi vil ende opp med å omskrive store deler av all programvare som noen gang er skrevet mange ganger.