Re:Compiling C to Safe Rust, Formalized
by immibis on Saturday December 21, 2024 @02:10AM
(#42478009)
Actually, LLMs are for generating humorous nonsense. Putting them in charge of the world economy was not intended, but we did it anyway.
[ Parent
| on HN ]
Re:Compiling C to Safe Rust, Formalized
by dhosek on Saturday December 21, 2024 @02:40AM
(#42478092)
Given that in my (small, employer-mandated) explorations with Copilot autocompletions it’s offered incorrect suggestions about a third of the time and seems to like to also suggest deprecated APIs, I’m skeptical about the current generation’s ability to be useful at even this small task.
Re:Compiling C to Safe Rust, Formalized
by glouwbug on Saturday December 21, 2024 @10:59AM
(#42480380)
Sure but it takes two copilots to fly a plane
Re:Compiling C to Safe Rust, Formalized
by LeFantome on Saturday December 21, 2024 @12:23PM
(#42480910)
Have you seen O3?
If your experience with something less than half as good as state-of-the-art is that it worked 66% of the time, I am not sure why you would be so dismissive about the future potential.