Saya pikir ini pasti waktu yang sangat menarik untuk berada dalam bahasa pemrograman dan metode formal karena LLM mengubah seluruh lanskap kendala perangkat lunak sepenuhnya. Petunjuk tentang hal ini sudah dapat dilihat, misalnya dalam momentum yang meningkat di balik porting C ke Rust atau meningkatnya minat untuk meningkatkan basis kode lama di COBOL atau dll. Secara khusus, LLM *terutama* baik dalam terjemahan dibandingkan dengan generasi de-novo karena 1) basis kode asli bertindak sebagai semacam prompt yang sangat rinci, dan 2) sebagai referensi untuk menulis tes konkret sehubungan dengan. Meskipun demikian, bahkan Rust tidak optimal untuk LLM sebagai bahasa target. Bahasa seperti apa yang optimal? Konsesi apa (jika ada) yang masih diukir untuk manusia? Pertanyaan dan peluang baru yang sangat menarik. Rasanya mungkin kita akan menulis ulang sebagian besar dari semua perangkat lunak yang pernah ditulis berkali-kali.