Ik denk dat het een zeer interessante tijd moet zijn om in programmeertalen en formele methoden te zijn, omdat LLM's het hele landschap van softwarebeperkingen volledig veranderen. Dit is al te zien, bijvoorbeeld in de toenemende momentum achter het porteren van C naar Rust of de groeiende interesse in het upgraden van legacy codebases in COBOL enzovoort. In het bijzonder zijn LLM's *bijzonder* goed in vertaling vergeleken met de-novo generatie omdat 1) de oorspronkelijke codebase fungeert als een soort zeer gedetailleerde prompt, en 2) als referentie om concrete tests mee te schrijven. Dat gezegd hebbende, zelfs Rust is nog lang niet optimaal voor LLM's als doeltaal. Wat voor soort taal is optimaal? Welke concessies (indien aanwezig) worden nog steeds gemaakt voor mensen? Ongelooflijk interessante nieuwe vragen en kansen. Het lijkt waarschijnlijk dat we grote delen van alle ooit geschreven software vele malen opnieuw zullen herschrijven.