Probably the same way Unity feels about their game engine being associated with awful low budget shovelware games. The game engine was popular with low budget games because you can use the engine for free… But you have to display the “Made with Unity” splash screen for a few seconds as your game boots up. And notably, you can pay a licensing fee to remove that splash screen requirement. Basically the drug dealer special: Get the newbie game devs familiar with the engine for free, then charge the publishers to use the engine that their employees all already know.

The issue (which Unity didn’t initially foresee when they wrote their licensing terms) is that all of the shovelware games used Unity for free, and all of them had the big “Made with Unity” splash. So Unity very quickly became associated with super low effort shovelware games.

It just shows how safe the language is, LLMs have to rely on Rust to prevent all the memory bugs. Same for proof assistants

I'm a professional software engineer writing Rust for many years now.

Honestly, I am very happy that AI is using Rust. Much better that AI uses Rust than Python! If you think AI written Rust is bad, you have no idea how sloppy AI written Python is.

Rust is a great language. Turns out the same stuff that makes it great for humans also makes it great for agents. This is not a bad thing, this is a win-win.

Historically, Rust's biggest disadvantage has been how hard the language is to write and how much you sometimes need to fight the compiler. This disadvantage is quite effectively mitigated by AI, since you can let the AI fight the compiler and write most of the code. So you get all the advantages that Rust brings with basically none of the downsides.

I'm just happy that Rust was invented before LLMs. If Rust did not exist before LLMs, the code the AIs would be writing would be a lot worse.

Hope that answers it.

They probably love it?