Remix.run Logo
▲ cultofmetatron an hour 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.

▲lolakutty 24 minutes ago | parent [-]

>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.