[eimrine]

There is not such an advancement, Rust is made for dealing with human's mistakes. Chatbots can stop having such a mistakes and generate more terse formal specs instead.

[wookmaster]

Aren’t they trained on human code?