[EricRiese]

A more concise language is more efficient for an LLM to produce and easier for a human to verify.

I don't think LLMs have solved the problem of wanting code that's concise and also performant.

[CuriouslyC]

But a less concise language is (theoretically, if you're doing useful stuff with the verbosity) easier for machines to verify.