News for hackers. Stuff that matters.
Re:DARPA: Translating All C to Rust (Tractor) by munificent on Tuesday July 30, 2024 @01:22PM (#41111742)
More like:

"AI more or less sort of summarizes the features of the program into some approximate kind of technical language, then the AI synthesizes something not too far from Rust code that hopefully covers aspirationally the same feature set".

Re:DARPA: Translating All C to Rust (Tractor) by trealira on Wednesday July 31, 2024 @07:52PM (#41124787)
Ghidra, which is decompilation software, already manages to produce almost-valid C from assembly, and it does so without AI. I know nothing about how it works, but just from that, I'm guessing that producing almost-valid Rust from C code would be a simpler problem to solve.