> Conversion of legacy nontrivial C++ code bases into Rust (or anything else for that matter) feels like it should be one of the "Millenium problems" for AGI.
replyWhilst I have no doubt that LLMs will be useful here, I still have reservations about validation. I think experience tells us that test coverage is generally insufficient to ensure functional equivalence, and not all components are well specified.
ProgramBench was published recently where agents have to reconstruct a program given just the binary and documentation.
replyIf we have AGI, it can just solve all the memory issues in the existing codebase instead of rewriting it all.
replyBut then we'd still be left with a C or C++ codebase.
reply