Programming Languages and Type Safety in the Era of LLMs

Elon Musk's claim that LLMs will make compilers and programming languages obsolete is challenged with a counter-argument: programming languages will become more important, not less, in the LLM era. LLMs struggle with low-level machine code for the same reasons humans do, and benefit even more from structured, type-safe languages like Rust that provide rigorous feedback loops. The 'if it compiles, it works' philosophy of Rust makes it particularly well-suited for agentic coding workflows, as compiler errors give LLMs immediate, actionable feedback. The conclusion is that we need more Rust-like rigor across more programming domains, and better tooling integration (e.g., LSPs) to leverage that rigor in multi-agent systems.