upvote
Reading their comment it sounds like they wanted to confirm the bug existed with AI, not sure they ever said they had AI write the code. Why have such a dumb policy?
reply
It's a violation of project rules to confirm bugs with AI?
reply
reply
>If you use a chatbot to give you advice on a comment on the issue tracker, that comment is unwelcome.

>No LLMs for finding bugs.

>No talking about use of chatbot/LLM services.

I've said it before and I'll say it again- it's a cult that bans dissent

reply
The things you've quoted and your conclusion feel at odds. They just don't want AI contributions, and they, like a lot of the world, are bored of hearing about AI. Is it really too much to ask?
reply
> The Zig community is decentralized. Anyone is free to start and maintain their own community, which is not subject to these rules.
reply
The second part affirms that it is centralized. There is nothing wrong with that except saying that because you can leave the community and go elsewhere, it is ipso facto decentralized.
reply
I figure they're either using a loose interpretation of "decentralized" or an honest interpretation of "community".
reply
For the record, there isn't even uniformity of thought on LLMs within the core team, let alone the broader Zig community.
reply
If there's an edict that no one is allowed to bring up the topic, how can someone change this part of the code of conduct?

Asking non-rhetorically. It seems like one position "ai in any circumstance = bad" is being enforced. The commenter above didn't even understand why he was ignored.

reply
> If there's an edict that no one is allowed to bring up the topic, how can someone change this part of the code of conduct?

To clarify, do you mean someone who isn't part of the core team?

reply
Interesting to hear! We maintain the project Antfly (entirely zig) and have been nervous about bringing issues to the zig folks or asking questions because of our ai usage.

We’re quite knowledgeable and thoughtful folks fwiw

I think I’ve seen you are a core team member or contributor? I remember your tag?

reply
We simply ask that Zig bug reports be written by humans, for humans. Whether you use LLMs on your project is immaterial to us.

Yes, I'm a core team member.

reply
Thanks for the clarification here!

So for instance because of the size of our codebase our project has pushed Zig to some of the edges, specifically we end up hitting a bug when using llvm and zig on arm64 (Mac and Linux) where it seems to be caused by some configuration Zig passes through to LLVM. I’ve used codex and claude to help me diagnose and find the bug (we use nix’s glibc zig to circumvent the problem now). I now understand the root cause but am not sure what the proper fix would be. But I’ve not known whether or not even raising the issue would break the terms of contributing? Would raising the issue break the implicit agreement?

reply
I’ve not found the zig folks to ban dissent, they engage in a lot of thoughtful dialog. Just because they’ve made a different decision for how they take contributions than other people agree with doesn’t make them a cult?
reply
Yes ... pretty damn stupid.
reply
"NO LLMs for finding bugs" is easier written as "Don't use the tools your adversaries will"

I've written code a long time and that's probably the dumbest rule I've seen.

reply
Pointing out something that is not good doesn't require surprise at the fact that it happened
reply
Yeah, the maintainers of a DOA hobby project should certainly be allowed to run it however they want imo
reply
That's honestly my biggest problem with Zig.

It's clearly a hobby project (constant breakages, the maintainer getting into politics, rejecting some safety mechanisms, the anti-LLM crusade, a strange focus on esoteric targets with little to no commercial significance), but the maintainer does not admit that it is a hobby project.

It makes me respect the Rust community even more.

reply
Wow I thought surely they wouldn't object to using AI to confirm bugs, but they really do.

Tbf I guess as a popular open source project not using AI to fix bugs, they probably already have more open bugs than they can ever fix so it doesn't really help them for people to find more.

I would imagine his bug was actually ignored just because Zig has 2700 open bugs, rather than some AI policy violation.

reply
Claude Code has 13.4k open bugs: https://github.com/anthropics/claude-code/issues

Show me a popular open source project that doesn't have a large number of open issues and I'll show you one that has a triage bot auto-close them.

reply
Some have both, despite using an auto-close bot! OC is at 4.6K open and 24K closed issues. https://github.com/anomalyco/opencode/issues
reply
They don’t, at least not any more. Andrew Kelley has explicitly stated that he sees the value of using LLMs to uncover bugs. Inspired by sqllite project.

https://youtu.be/zwi5b5xSsKA?is=PTjJJjSnVMdRuZag

They may just be taking the slow route of rejecting by default until they can be sure that the usage of LLMs provides long term value. I don’t see anything wrong with that. If you’re writing robust software, using LLMs at this stage is a bit of a gamble. We don’t fully know the long term effects on code quality yet.

reply
He sees the value of using LLMs... only after performing NASA-level verification and fully comprehensive fuzzing using traditional tools. Since Zig has not done those things, LLM-generated bugs are still banned.
reply
Ah, so yet another language in the long line of "I'm smart enough to use this but you the user are not"
reply
Project maintainers know what level of AI use is acceptable for themselves, and quantifying it and enforcing it for random contributors is very difficult.
reply
This is because they got so many shit admissions from people using LLMs they were wasting time reviewing them.
reply
The popular LLM projects have infinitely many more bugs than the zig project does this is a ridiculous message.
reply