Bence programlama dilleri ve biçimsel yöntemler alanında olmak çok ilginç bir dönem olmalı çünkü LLM'ler yazılımın tüm kısıtlama ortamını tamamen değiştiriyor. Bunun ipuçları zaten görülebilir; örneğin C'nin Rust'a taşınmasının arkasındaki ivme ya da COBOL'da eski kod tabanlarının yükseltilmesine olan artan ilgi gibi. Özellikle, LLM'ler de-novo üretime kıyasla çeviri konusunda *özellikle* iyidir çünkü 1) orijinal kod tabanı çok ayrıntılı bir prompt olarak işlev görür ve 2) somut testler yazmak için bir referans olarak kullanılır. Bununla birlikte, Rust bile LLM'ler için hedef dil olarak pek optimal değil. Hangi tür bir dil en iyisidir? İnsanlar için hâlâ hangi tavizler (varsa) sağlanıyor? İnanılmaz ilginç yeni sorular ve fırsatlar. Muhtemelen şimdiye kadar yazılmış tüm yazılımların büyük bir kısmını defalarca yeniden yazacağız.