Interesting take. Very elitist and not rooted in reality though, I must say. The overwhelming majority of code out there is in languages more verbose than stric

Interesting take. Very elitist and not rooted in reality though, I must say. The overwhelming majority of code out there is in languages more verbose than strictly necessary, and less expressive than possible. So in real life, yes AI generated code is a helpful and worthwhile thing. Not everyone can swing their Coq around at work. That said, I do agree with the general notion. I find the more verbose the language, the better the help. Dense, more expressive languages fare worse. I’m referring to Python and Rust in my case, so one factor is of course massively larger training corpus for Python, and relatively more churn in Rust.