So if LLMs can write C really "well" - as in they can keep track of all the memory allocations, branches and conditions that would prevent the typical memory problems associated with C...then do we even need Rust anymore? The control of the memory allocations and layout in C does theoretically mean you can ultra-optimise the code. The LLMs can write 1000s of unit tests and they're really good at fuzzing.
I don't know Rust well enough to understand what else it would provide over the safe memory guarentees?
> So if LLMs can write C really "well" - as in they can keep track of all the memory allocations, branches and conditions that would prevent the typical memory problems associated with C...then do we even need Rust anymore? The control of the memory allocations and layout in C does theoretically mean you can ultra-optimise the code. The LLMs can write 1000s of unit tests and they're really good at fuzzing.
If.
(Mind you, fuzzing a program with any non-trivial input space can only ever prove that it is unsound. It can never prove that the program is sound.)
pulkitsh1234 · · focus · HN ↗
wg0 · · focus · HN ↗
I like C's simplicity so much. The only other language that comes close in simplicity and minimalism is go.
Flere-Imsaho · · focus · HN ↗
I don't know Rust well enough to understand what else it would provide over the safe memory guarentees?
zozbot234 · · focus · HN ↗
If.
(Mind you, fuzzing a program with any non-trivial input space can only ever prove that it is unsound. It can never prove that the program is sound.)