One post tagged with "design"

Andrej Karpathy posted today that it's "a very interesting time to be in programming languages and formal methods" because LLMs change the whole constraints landscape. He's right. But I think the more important question isn't what language LLMs should write code in — it's what language they should make commitments in.

Code is disposable — agents will rewrite it constantly. Contracts between agents need to be permanent, verifiable, and mathematically enforced. That requires a different kind of language entirely.