3 ms·
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. Tha
by alkonaut 21d ago
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. That and full self driving - including the nuances of gesturing to a human about who's going to reverse in a single lane in a snowstorm.
But if 50% of code can be converted automatically to safe idiomatic Rust? Great. Doesn't sound too far fetched. But yes, there's certainly a long tail here.
- bpye 21d ago> 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. Whilst 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.
- azhenley 21d agoProgramBench was published recently where agents have to reconstruct a program given just the binary and documentation. https://programbench.com/ https://programbench.com/
- Jean-Papoulos 21d agoIf we have AGI, it can just solve all the memory issues in the existing codebase instead of rewriting it all.
- alkonaut 21d agoBut then we'd still be left with a C or C++ codebase.
- throwaway273748 21d agoGiven the hypothetical presupposes AGI, so what? We wouldn't be the ones reading or maintaining it.