Overall not easy to read article. Quite confusing. It makes case rather rewriting in Rust* should instead rewrite in formal spec and generate the code, which is now easier due to LLMs, but why that code cannot be Rust? The memory model and structure may make Rust better AI target and helpful in cases human intervention is required.

*Something most here call waste of time anyway.

Questionable article. Just as you can make logic mistakes in Rust, you can make mistakes when checking the LLM output for sanity.

Looking at the example at the end (modelling a traffic light), you would model that in Rust, so that invalid states are impossible.

Heresy. The Church of Rust will burn you in the fire and anyone who defy their god.