News for hackers. Stuff that matters.

A comment on 11 year old unsoundness bugs found in Rust borrow checker. Parent comment

Re:11 year old unsoundness bugs found in Rust borrow checker by wg0 on Tuesday October 13, 2026 @07:22AM (#50069924)
DeepSeek v4.1 Flash thinks it should NOT compile. Whereas in reality it DOES compile which is why it is filed as a bug.
[ Parent | on HN ]
Re:11 year old unsoundness bugs found in Rust borrow checker by jug on Tuesday October 13, 2026 @07:33AM (#50070020)
They're seriously using AI as a judge for what to file?
[ Parent | on HN ]
Re:11 year old unsoundness bugs found in Rust borrow checker by afdbcreid on Tuesday October 13, 2026 @07:37AM (#50070047)
The issue and none of the comments mention AI. It is pretty clear your parent said it by themselves.
[ Parent | on HN ]
Re:11 year old unsoundness bugs found in Rust borrow checker by wg0 on Tuesday October 13, 2026 @07:37AM (#50070048)
I was just checking what outcome an LLM would have based on the patterns in its probabilistic distribution it has seen the wild.

Most LLMs would probably say this piece of code won't compile.

[ Parent | on HN ]
Re:11 year old unsoundness bugs found in Rust borrow checker by ChickeNES on Tuesday October 13, 2026 @08:08AM (#50070387)
chatgpt and grok linked to the the soundness issue, claude I am in usage timeout, and gemini shit the bed as usual: "The compiler rejects the program with error[E0597] on the assignment q.0 = Some(&l)"
[ Parent | on HN ]