I noticed that all mediocre developers who revealed that LLM can do basic tasks and even basic apps without a human in the loop, tend to choose Rust language for their “genius projects.”
Why Rust, fer crissake?! It has literally zero application areas where it’s the best choice from scratch. Even Haskell is better for every new project, if one decides to use language they barely understand. Let alone Lean4.
I’d love to hear opinions on the matter.



