Comment by cultofmetatron
2 days ago
> write it in C and ask an LLM to weed out the memory bugs?
because a non-determinist chain of reasoning is not the same as a fully deterministic algorithm. Its the best tool when a deterministic system is not feasable.
>because a non-determinist chain of reasoning is not the same as a fully deterministic algorithm.
It is not. But rust's borrow checker has its costs. It forces awkward implementations. Either suffer the horrible life time syntax, or pay the price of clone everywhere.
If you use C and run LLMs over it once in a while, I think it will get you most of the way.
99% of code only needs to know 'static and 'a, maybe 'b when you take two references and return one but that's pretty rare. You only get into complex lifetimes if you write the kind of code that belongs in a library.