Comment by antonvs Comment by antonvs 2 days ago 1 reply Copy Link View on Hacker News Yes, because those other languages all have much weaker type systems.
Copy Link jmalicki 18 hours ago Collapse Comment - Do you have examples of LLMs proving global correctness for say, C? Having worked on static analysis for both C and Rust, Rust is the easier problem because of the type system, but I am eager to be proven wrong! Reply View | 0 replies
Do you have examples of LLMs proving global correctness for say, C? Having worked on static analysis for both C and Rust, Rust is the easier problem because of the type system, but I am eager to be proven wrong!