4 ms·
We probably aren't that far off actually. Even taking asm with no symbols back into rust works well. You have truth, just have the agent repeat until the asm ma
by galangalalgol 9mo ago
We probably aren't that far off actually. Even taking asm with no symbols back into rust works well. You have truth, just have the agent repeat until the asm matches. Doesn't work on giant codebases, but on a few functions it absolutely does. And while the llm may get the algorithm wrong, the type system does seem to help it generate useful code in rust for a starting place v
- pjmlp 9mo agoYeah, but then just let the agent generate proper C++ code, contrary to an human it doesn't forget about best practices, or how ownership is supposed to be handled.
- galangalalgol 9mo agoExcept the llm forgets about that in rust too, then the agent looks at the ownership errors from the previous iteration and fixes them.
- pjmlp 9mo agoFirst it needs to have a Rust ecosystem available, e.g. CUDA, SYSCL, HFT, HPC,... Maybe it could be used to remove Rust dependency on C++ infrastructure (LLVM/GCC), and bring Cranelift up to speed.