2 ms·
Why Rust solves a problem we no longer have
- Jtsummers 9mo agohttps://news.ycombinator.com/item?id=46609638 https://news.ycombinator.com/item?id=46609638 Previous brief discussion.
- deleted 9mo ago[deleted]
- forgotpwd16 9mo agoOverall 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 9mo agoQuestionable 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.
- akagusu 9mo agoHeresy. The Church of Rust will burn you in the fire and anyone who defy their god.