I think it must be a very interesting time to be in programming languages and formal methods because...
By @karpathy
Karpathy's major thread on how LLMs fundamentally change the programming languages landscape — LLMs excel at code translation (C→Rust, COBOL modernization) because original code acts as a detailed prompt. Questions what the optimal programming language for LLMs would be, predicts we'll rewrite large fractions of all software many times over.