As honest as it is I can't risk using this anywhere near production if this is the attitude.
Here is a idea, why not combine both? Have the advantage of Rust its build in checks and LLMs independent checks. Now you get both for a even more safe program.
I personally like Rust for web applications a lot because you can catch many bugs at compile time instead of during tests or runtime.
Nah, C is good enough for me.
> catch many bugs at compile time...
Rust borrow checker is too dumb that you catch many non-bugs as well...I don't like that.
Mmm..LLMs also generates false positives. But at least you can reason with it...
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 fuck borrow checker..(and the horrible syntax)
Thus, the agent needs to iterate less.