Why Rust solves a problem we no longer have(rochuskeller.substack.com)

4 pointsby guenthertقبل 6 أشهر4 comments

rochuskeller.substack.com

Why Rust solves a problem we no longer have

https://rochuskeller.substack.com/p/why-rust-solves-a-problem-we-no-longer

5 comments

forgotpwd16قبل 6 أشهر

Overall not easy to read article. Quite confusing. It makes case rather rewriting in Rust* should instead rewrite in formal spec and generate the code, which is now easier due to LLMs, but why that code cannot be Rust? The memory model and structure may make Rust better AI target and helpful in cases human intervention is required.

*Something most here call waste of time anyway.

fainpulقبل 6 أشهر

Questionable article. Just as you can make logic mistakes in Rust, you can make mistakes when checking the LLM output for sanity.

Looking at the example at the end (modelling a traffic light), you would model that in Rust, so that invalid states are impossible.

Jtsummersقبل 6 أشهر

https://news.ycombinator.com/item?id=46609638

Previous brief discussion.

[deleted]قبل 6 أشهر

akagusuقبل 6 أشهر

Heresy. The Church of Rust will burn you in the fire and anyone who defy their god.