3 ms·
When people have the choice whether to use AI or use rust because LLMs don't produce workable rust programs they leave rust behind and use something else. The v
by CyberDildonics 10mo ago
When people have the choice whether to use AI or use rust because LLMs don't produce workable rust programs they leave rust behind and use something else. The venn diagram of people who want formal verification and think LLM slop is a good idea is two separate circles.
- justatdotin 10mo agotwo of my current agent projects use rust: agent generated rust is going very well for me.
- CyberDildonics 10mo agoYou're missing the point of what I said. If LLM programming and rust conflict people don't suddenly learn to program and stay with rust, they find a new language.
- justatdotin 10mo agomy experience is that llm programming and rust can fit together very nicely, thankyou. I am finding agent tooling expands my capacity for multi-language projects
- CyberDildonics 10mo agoThis seems like it's intentional at this point. Try to follow me. The whole point is that if someone needs to lean on LLMs in the first place and they have problems with the language, they go to a different language instead of stopping using LLMs.
- justatdotin 10mo agoI think I do understand your claim, which is why I am offering my personal experience as counter-evidence. agents can empower us to choose the best language for the job, rather than defaulting to one which we are most familiar with. I suspect our difference in opinion comes from your attitude about tools as a crutch to lean on vs a lever to apply.
- CyberDildonics 10mo agoThere isn't a difference of opinion you aren't replying to what I'm saying in the first place.