Developers that make responsible use of AI tools can, supposedly, also not use them for a specific project, if they want to.
The policy is a blocker only for those people who are unwilling to work without AI, which is a subset of the people who do use AI.
That being said, it doesn’t matter, as explained in the post, it makes no sense to open an LLM PR when you have non-LLM PRs waiting for you. It’s like in Monty Hall, you should always change the door you chose initially.
Note that at the moment we haven’t agreed on whether we want LLM contributions at all. There are other factors to consider.
One non-technical factor for example is branding: one thing is for people to experience miscompilations because Zig is a v0 project, another is to experience miscompilations and learn that Zig is a vibecoded project. Even if we were to be extremely rigorous with accepting LLM-assisted contributions, users might still (rightfully IMO) conclude that Zig is slop.
And more importantly, as the Go people like to say, “no is temporary, yes is forever” (ofc you can reinstate the ban, but for example the branding hit is essentially permanent).
To be clear, this is just one argument, maybe not even the most important one, in a series of arguments that we haven’t had yet in the core team. The general vibe in the team, as far as I can tell, is that we’re not particularly interested in opening the door to AI contributions for the foreseeable future.
As a personal note, I’ve worked at a company (consultancy) that would bill customers weeks worth of development time to produce a significantly worse output than what LLMs can produce in minutes. In that context not using AI would be bad business, and I get why people are excited about agentic coding. I’ve also seen Mitchell having a good time with it, and I’ve also personally used LLMs occasionally to see what they have to say. That being said I’m not convinced that LLMs are a very good fit for the Zig project, both in terms of goals and process. Unfortunately this is not a discussion one can easily have in public, everybody is trying hard to rebuild an identity / predict the future of software engineering in light of LLMs and so nuance about your specific situation is lost, making the discussion worthless.