It just shows how safe the language is, LLMs have to rely on Rust to prevent all the memory bugs. Same for proof assistants
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
replies:
It just shows how safe the language is, LLMs have to rely on Rust to prevent all the memory bugs. Same for proof assistants