News for hackers. Stuff that matters.
Re:Zig v0.17.0 by saghm on Friday October 02, 2026 @06:04PM (#49939177)
> It may surprise some people here to see that Andrew is warming up to using LLMs to discover bugs (inspired by results from SQLlite) and considers it a tool on the path to getting to bug free software.

Someone in the thread below says their bug was closed because of mentioning that they use AI to confirm the bug they had encountered. Is he going to go back and reopen all of those now that he learned what pretty much everyone else already knew?

Re:Zig v0.17.0 by idle_zealot on Friday October 02, 2026 @06:18PM (#49939318)
> Someone in the thread below says their bug was closed because of mentioning that they use AI to confirm the bug they had encountered

I don't know about this particular case, but if I saw someone report a bug and as evidence claim they had X Y and Z LLMs verify it I would be pretty upset. If you're going to use an LLM to make a replication, just do that and give me the replication, don't point to your notoriously error-prone tools as though they lend your report credence.

It's in a similar vein to people who reply to questions with "well Claude says: <chat transcript dump>"

Re:Zig v0.17.0 by manwe150 on Friday October 02, 2026 @07:29PM (#49939844)
I feel very torn as a maintainer on this, since the only way to respond to the increased noise from AI has been to have AI do the research for me to extract all the links and line numbers I used to have to find by hand to explain why the PR needs more effort to be completed. But I also will be highly dismissive of any submitter who just posts AI text without cleaning it up first. It feels hypocritical, but the alternative is that I just can’t respond to most people instead due to limited bandwidth. I mark if something comes directly from the LLM though and to try to express my degree of confidence in its claims.
Re:Zig v0.17.0 by childintime on Saturday October 03, 2026 @03:58AM (#49942258)
Seems like we might need to go to different issue tracking model for AI reports. Such reports must not only provide a bug report/issue but must provide a fix as well. That fix must then be reasoned back to why it solves the bug, why it is minimal, why it is unlikely to silently cause new bugs. It can't introduce new capabilities/side-effects. The platform verifies the claims in the report using another LLM. Then the tests are run, which are no longer publicly accessible to avoid slipping malicious code through the cracks. When okay the patch can go into staging. Perhaps a special version containing only accumulated AI fixes.
Re:Zig v0.17.0 by kingcauchy on Friday October 02, 2026 @07:53PM (#49940033)
Human reproductions are notoriously error prone whether ai assisted or not right? I’m not sure what the analogy is between “llms are error prone” and “thoughtlessly copy-pasting something from Claude” is.
Re:Zig v0.17.0 by dwattttt on Friday October 02, 2026 @08:18PM (#49940203)
Human reproductions don't have to be bad. It feels just as justified to push back on a bad bug report whether human or AI and say "I don't have enough to go on here".

If a report is improved and becomes actionable, that's great.

Re:Zig v0.17.0 by tech_hutch on Friday October 02, 2026 @08:41PM (#49940320)
Hey, we're all the result of human reproductions.
Re:Zig v0.17.0 by kingcauchy on Friday October 02, 2026 @08:44PM (#49940342)
Might be my favorite comment ever now.
Re:Zig v0.17.0 by xdavidliu on Friday October 02, 2026 @07:07PM (#49939684)
> It's in a similar vein to people who reply to questions with "well Claude says: <chat transcript dump>"

or substantially worse: "<chat transcript dump>"

Re:Zig v0.17.0 by B4uler5 on Friday October 02, 2026 @08:16PM (#49940185)
He specifically says in that presentation that they are open to LLMs helping them get to bug free, but because the language is still in flux, they would rather prioritise bugs users actually find rather than those found by LLMs, essentially with the intent of unblocking people rather than wasting time fixing things that may need to be fixed again or be wasted work come the next update.
Re:Zig v0.17.0 by saghm on Friday October 02, 2026 @11:15PM (#49941096)
My understanding of the situation is that the user did find a bug themselves, because it literally broke on their own code, and then they just had the LLM help them verify their theory of the bug that they already had.
Re:Zig v0.17.0 by itishappy on Friday October 02, 2026 @06:50PM (#49939571)
Shouldn't everybody already know that while using AI to find bugs for oneself is amazingly efficient, using AI to submit bug reports for others is quite the opposite? Burden of verification and all.
Re:Zig v0.17.0 by dev-in on Friday October 02, 2026 @07:34PM (#49939872)
Exactly, the main issue isn't the LLM creating or confirming the report. Rather, the maintainer has no idea how it was prompted, and the results may be completely wrong. Some LLMs also have a bad habit of trying to please the user, confirming their biases.
Re:Zig v0.17.0 by boomlinde on Sunday October 04, 2026 @06:20AM (#49952499)
I don't care how it was prompted any more than I care about what exact thoughts went through your head before you realized it was a bug. The problem isn't usually a lack of information, but the abundance of non-information. Chatbots and the people who use them to pen bug reports frequently seem to have had "no time to make it shorter", as Blaise Pascal put it.

That you used an LLM to "confirm" the bug is an example of such non-information. The reproduction testcase and/or the reproduction steps and description of the expected outcome confirm the bug.

Re:Zig v0.17.0 by mjburgess on Friday October 02, 2026 @06:08PM (#49939222)
There's a difference between Opus 4.5 and Astra 6
Re:Zig v0.17.0 by f33d5173 on Friday October 02, 2026 @06:11PM (#49939258)
With regards to whether when it finds a legitimate bug, it should be given weight?
Re:Zig v0.17.0 by mjburgess on Friday October 02, 2026 @06:55PM (#49939596)
With regards to whether a blanket ban has a payoff
Re:Zig v0.17.0 by throwaway27448 on Friday October 02, 2026 @07:25PM (#49939820)
Why would the difference matter? A bug report is valid or it isn't.
Re:Zig v0.17.0 by manwe150 on Friday October 02, 2026 @07:35PM (#49939877)
A lot of bug reports aren’t valid, or handle a case that can’t realistically happen or realistically be handled (eg what do you do if you detect a crash while the prior crash is crashing and the logging pipe is throwing errors)
Re:Zig v0.17.0 by throwaway27448 on Friday October 02, 2026 @07:57PM (#49940053)
Sure but this is true regardless of the model. Either it found a bug or it didn't—who cares about the intermediary steps or tools used so long as the reporter can reproduce it?
Re:Zig v0.17.0 by manwe150 on Friday October 02, 2026 @11:21PM (#49941126)
That’s assuming the reporter reproduced it. I’ve seen so much slop these days. Sometimes people post whole conversations in which the final answer from the AI is that the initial report was impossible to fit to the data after reproducing it, then continues in circles arguing that proves the original reported issue was real and the refuted cause isn’t actually refuted (eg it said there was a bug in function A, in code which never used function A — and that example was with the top tier models just released last month)
Re:Zig v0.17.0 by vitaminCPP on Friday October 02, 2026 @06:47PM (#49939546)
citation needed
Re:Zig v0.17.0 by saghm on Friday October 02, 2026 @11:16PM (#49941105)
[dead]
Re:Zig v0.17.0 by tstenner on Saturday October 03, 2026 @10:18AM (#49944489)
But if I called you in the middle of the night to offer you something that will make every 9th sneeze on every second tuesday of March in a leap year less irritating your first reaction wouldn't be to thank me.
Re:Zig v0.17.0 by saghm on Saturday October 03, 2026 @07:07PM (#49948674)
If I were making a product to try to eliminate sneezes, and someone said "I noticed an issue with it, and after I looked into your manufacturing process, I think I figured out what's causing it, so I double checked using an AI tool and it added further evidence that the defect I found is legitimate and would be solved by the solution I had come up with", it would be bizarre for me to say "I would have accepted this if you didn't spend the extra time at the end to verify your existing findings with an AI"
Re:Zig v0.17.0 by dnautics on Friday October 02, 2026 @09:16PM (#49940509)
> Is he going to go back and reopen all of those now that he learned what pretty much everyone else already knew?

In the state of the tagged video he says still not accepting AI submissions until a certain set of preconditions is met. So... No?

Re:Zig v0.17.0 by saghm on Friday October 02, 2026 @11:15PM (#49941090)
So "warming up to" is moving at a glacial pace, in both senses of the word
Re:Zig v0.17.0 by dnautics on Saturday October 03, 2026 @12:07AM (#49941277)
Fine but you could have checked the primary source.
Re:Zig v0.17.0 by nvlled on Friday October 02, 2026 @10:15PM (#49940796)
Note the distinction:

- using the LLM to find (possible) bugs and a human confirms it by testing, reviewing, etc.

- using the LLM to find and confirm the bug without the human confirming it

Re:Zig v0.17.0 by saghm on Friday October 02, 2026 @11:13PM (#49941080)
Neither of those are my understanding of what happened: a human found a bug, and then had an LLM verify their theory of the issue. To me, that's just extra due diligence and pretty weird to use as grounds to ignore.
Re:Zig v0.17.0 by nvlled on Saturday October 03, 2026 @01:12AM (#49941513)
You are referring to this comment right? https://news.ycombinator.com/item?id=49938732

> that I had every LLM check it to confirm it's a bug

I'm primarily objecting the way he phrased it, as opposed to just saying "I've tested and confirmed and reproduced the bugs". Instead, it sounds uncertain and detached, like he asked the LLMs if it's indeed a bug without further verification.

Re:Zig v0.17.0 by osigurdson on Friday October 02, 2026 @10:32PM (#49940897)
I suspect they can't easily tell the difference between a high quality LLM based contribution and a low quality one.
Re:Zig v0.17.0 by rererereferred on Saturday October 03, 2026 @09:34AM (#49944123)
They want to focus first on bugs hitting people's actual code to unblock them, not theoretical bugs that LLMs can hit by coming up with some contrived code, regardless of the quality of the bug report.