Remix.run Logo
▲ jug 3 hours ago

They're seriously using AI as a judge for what to file?

▲afdbcreid 3 hours ago | parent | next [-]

The issue and none of the comments mention AI. It is pretty clear your parent said it by themselves.

▲wg0 3 hours ago | parent | prev [-]

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.

▲ChickeNES 3 hours ago | parent [-]

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)"