4 ms·
It was true until LLMs arrive. Feature compilers + IDEs can be integrated with LLMs to help programmers. Rust was a great idea, before LLMs, but I don't see th
by metalloid 2y ago
It was true until LLMs arrive.
Feature compilers + IDEs can be integrated with LLMs to help programmers.
Rust was a great idea, before LLMs, but I don't see the motivation for Rust when LLMs can be the solution initial for C/C++ 'problems'.
- baq 2y agoOn the contrary LLMs make using safe but constraining languages easier - you can just ask it how to do what you want in Rust, perhaps even by asking it to translate C-ish pseudocode.
- smolder 2y agoRelying on LLMs to code for you in no way solves the safety problem of C/C++ and probably worsens it.
- BrainInAJar 2y agoprobably? even if the LLM is trained on flawless C code (which it isn't) it still has no way of reasoning about a complex system, it's just "what token is statistically most likely to come next"
- smolder 2y agoI said that because it's very possible for someone to write a more flawed program without an LLMs help. The exact probabilities weren't central to my point.
- ulbu 2y agoRust compiler checks things for you. People trust the Rust compiler because it enforces rules they want, so people don’t have to be in its place. Your suggestion is to be that checker to LLM-generated code. Back to square one.