“I can reason globally about the effects of multi-threading and data races while only looking at my code locally.”
A rare AI-and-code take with actual substance. LLMs write fine functions and garbage systems, because whole-program properties do not fit in a context window. Tratt’s answer is language design that enforces global guarantees through local rules, the way Rust kills data races with ownership. The fix for AI code is the same fix that helps humans. Nobody wants to hear it because it is slower than shipping a new model.