Jag tror att det måste vara en mycket intressant tid att arbeta med programmeringsspråk och formella metoder eftersom LLM:er förändrar hela mjukvarulandskapets begränsningar helt. Antydningar om detta kan redan ses, t.ex. i den ökande momentumet bakom portningen av C till Rust eller det växande intresset för att uppgradera äldre kodbaser i COBOL eller liknande. Särskilt är LLM:er *särskilt* bra på översättning jämfört med de-novo-generering eftersom 1) den ursprungliga kodbasen fungerar som en slags mycket detaljerad prompt, och 2) som en referens för att skriva konkreta tester med avseende på. Med det sagt är inte ens Rust i närheten av optimalt för LLM:er som målspråk. Vilken typ av språk är optimalt? Vilka eftergifter (om några) finns fortfarande för människor? Otroligt intressanta nya frågor och möjligheter. Det känns troligt att vi kommer att skriva om stora delar av all programvara som någonsin skrivits många gånger om.