Remix.run Logo
▲ jabedude a day ago

How is Zig doing as a project? I remember they took a hard line against AI

▲agentultra a day ago | parent | next [-]

They seem to be doing fine. Tigerbeetle and Ghostty are two projects that continue to do well and are written in Zig. The foundation’s funding also seems to be doing well. They are continuing to make releases.

▲triyambakam a day ago | parent [-]

Ghostty is a strange example though because Mitchell is very keen on agentic engineering.

▲B4uler5 a day ago | parent [-]

Strange in what way? Mitchell has also stated that he reviews every line of code that goes into Ghostty so I don't think its quite the same as the Bun rewrite.

▲brabel 16 hours ago | parent [-]

He can say that … but after reviewing the 1000th PR from a LLM and only finding minor issues that really go down to subjective taste, I think he may start to reconsider that.

▲surgical_fire 16 hours ago | parent [-]

One day I may get there, but even for minor PRs I constantly find important issues that I need to intervene.

▲brabel 8 hours ago | parent [-]

Really, even after a LLM has gone through a review and fixed issues found? I almost never see anything relevant since around Opus 5 came out, and now with Fable and Opus 5.5 whatever I think is wrong is almost certainly right.

▲surgical_fire 7 hours ago | parent [-]

On my small personal projects I seldom find any mistakes. I use Chinese models on those. GLM, DeepSeek, MiMo.

At work I use Claude, but it is a considerably larger and quite complex codebase. I use LLMs a lot, but it is a common weekly occurrence for me to correct misconceptions, bugs, or overengineering from Opus/Sonnet (Opus plans and reviews, Sonnet implements).

▲abc42 a day ago | parent | prev | next [-]

It looks like they're spending 5 months what should be a 1 month job these days.

▲onlyrealcuzzo a day ago | parent | next [-]

Filed a compiler bug related to dwarf tables that screws up debugging and line of code coverage that they completely ignored, just because I mentioned that I had every LLM check it to confirm it's a bug, since all I know is what kcov and every coverage tool generates incorrect coverage data for my repo, for 100% certain.

▲bendmorris a day ago | parent | next [-]

Sounds like you violated the clearly stated project rules and admitted to it. Are you surprised that they're not engaging with you?

▲giancarlostoro a day ago | parent | next [-]

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?

▲unclad5968 a day ago | parent | prev | next [-]

It's a violation of project rules to confirm bugs with AI?

▲bendmorris a day ago | parent | next [-]

Read it yourself: https://ziglang.org/code-of-conduct/

▲sigmar a day ago | parent [-]

>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

▲B4uler5 a day ago | parent | next [-]

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?

▲alexrp a day ago | parent | prev | next [-]

For the record, there isn't even uniformity of thought on LLMs within the core team, let alone the broader Zig community.

▲sigmar a day ago | parent | next [-]

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.

▲alexrp a day ago | parent [-]

> 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?

▲kingcauchy a day ago | parent | prev [-]

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?

▲alexrp a day ago | parent [-]

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.

▲kingcauchy a day ago | parent [-]

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?

▲alexrp 19 hours ago | parent [-]

I would suggest just starting by filling out the bug report template, i.e. steps to reproduce, expected behavior, and observed behavior. If for some reason you can't provide a reasonable reproduction, the symptoms on their own can sometimes be enough for us to make an educated guess at what's going wrong.

Regarding whether you should post the root cause analysis: Per the current policy, the answer would have to be no.

I do personally have more nuanced thoughts on this, and I started typing them out... but then I realized that my reply was getting dangerously close to blog post length, so I decided to restrain myself and commit to turning it into an actual blog post later. In a nutshell, though, the problem is that even if there is such a thing as responsible use of LLMs for bug analysis, the only way we can currently be confident that someone possesses the required qualities for that is by working with them for a while.

▲kingcauchy 18 hours ago | parent [-]

I understand, maybe one day I'll have the chance to hear the blog posts' worth of thought on the matter!

https://codeberg.org/ziglang/zig/issues/37060 I opened the issue and can give you the agent generated RCA on the matter if you all want it in issue 604 on antfly's github but I understand that's against policy and totally respect that.

Appreciate all the work you guys do and have been following the whole Zig project since inception fwiw!

▲tolerance a day ago | parent | prev | next [-]

> The Zig community is decentralized. Anyone is free to start and maintain their own community, which is not subject to these rules.

▲ternaryoperator a day ago | parent [-]

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.

▲tolerance a day ago | parent [-]

I figure they're either using a loose interpretation of "decentralized" or an honest interpretation of "community".

▲kingcauchy a day ago | parent | prev | next [-]

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?

▲vips7L 6 hours ago | parent | prev | next [-]

The cult are the people forcing their LLM addiction on other people.

▲surgical_fire 16 hours ago | parent | prev [-]

Not sure I see the problem there.

Even in projects where I use LLM liberally, I would rather not read or have to engage with your LLM output.

I use LLMs already, I can make do without yours.

▲sigmar 9 hours ago | parent [-]

>Even in projects where I use LLM liberally, I would rather not read or have to engage with your LLM output.

I don't want to read LLM output on a project either. But you may have misread the quoted section, it isn't saying "you can't post LLM output," it is saying you can't ask an LLM to advise/critique your own comment before posting it.

>>If you use a chatbot to give you advice on a comment on the issue tracker, that comment is unwelcome.

▲jibalt a day ago | parent | prev | next [-]

Yes ... pretty damn stupid.

▲cabaalis a day ago | parent | prev [-]

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

▲nozzlegear 18 hours ago | parent [-]

Can a programming language have an adversary?

▲throwaway7356 17 hours ago | parent [-]

Given all more modern programming language implementations include a standard library that will be attacked by people: yes.

▲saghm a day ago | parent | prev | next [-]

Pointing out something that is not good doesn't require surprise at the fact that it happened

▲IshKebab a day ago | parent | prev | next [-]

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.

▲bendmorris a day ago | parent | next [-]

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.

▲esafak a day ago | parent | next [-]

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

▲IshKebab 15 hours ago | parent | prev [-]

Gotta admit it's weird that they haven't set up Claude to fix them! Tbf my threshold for "AI now writes good enough code" was Astra or Opus 5.5 and they only just released that.

▲audunw a day ago | parent | prev | next [-]

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.

▲csande17 a day ago | parent | next [-]

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.

▲saghm a day ago | parent | prev [-]

Ah, so yet another language in the long line of "I'm smart enough to use this but you the user are not"

▲unleaded a day ago | parent | next [-]

Project maintainers know what level of AI use is acceptable for themselves, and quantifying it and enforcing it for random contributors is very difficult.

▲Capricorn2481 a day ago | parent | prev [-]

This is because they got so many shit admissions from people using LLMs they were wasting time reviewing them.

▲acedTrex a day ago | parent | prev [-]

The popular LLM projects have infinitely many more bugs than the zig project does this is a ridiculous message.

▲phoghed a day ago | parent | prev [-]

Yeah, the maintainers of a DOA hobby project should certainly be allowed to run it however they want imo

▲miki123211 a day ago | parent [-]

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.

▲txdv 9 hours ago | parent | prev | next [-]

I reported a bug and waited for a year. one day it was merged. the thing is that there are a looot of bugs and the team is small, so your turn might not have come up yet

▲0c3ca83 a day ago | parent | prev | next [-]

If it's generating detectably incorrect code, why do you need an LLM to tell you it's a bug?

▲onlyrealcuzzo a day ago | parent | next [-]

Encountering something that seems incorrect, and proving something is a bug and not just YOUR user error, AND reproducing it minimally - turns out to not be easy when it's a low-level compiler issue, and YOU'RE not an expert, especially when it relates to Dwarf tables...

Typically, any time you think you've found a compiler error, you're using it wrong...

▲nvme0n1p1 a day ago | parent [-]

If it's a real bug, you can just report what you know and leave it at that. You don't need to embellish it with random guesses about a root cause.

Okay: "I compile this input and the linker crashes."

Not okay: "I compile this input and the linker crashes. Also here's 10 paragraphs of slop about dwarf tables, which I can't even evaluate the accuracy of since I'm not an expert."

> Typically, any time you think you've found a compiler error, you're using it wrong...

Yes, if you can't figure out if it's a bug, the bug tracker is the wrong place to get help. Ask in a community forum instead.

▲onlyrealcuzzo a day ago | parent [-]

> Not okay: "I compile this input and the linker crashes. Also here's 10 paragraphs of slop about dwarf tables, which I can't even evaluate the accuracy of since I'm not an expert."

It's a 20-line file with a few commands to run it to reproduce it. Not 10 paragraphs of slop.

Presumably that is much more helpful than - here's my gigantic repo, good luck running my tests, also good luck finding the bug.

▲nvme0n1p1 a day ago | parent [-]

> here's my gigantic repo, good luck running my tests

What about my comment made you think I was suggesting not to give repro steps?

> also good luck finding the bug

But yes actually, this half is true. It's better to give them no extra information, than to give too much information that you have no idea if it's true or not.

▲ a day ago | parent | prev [-]
[deleted]
▲acedTrex a day ago | parent | prev | next [-]

> breaks the project rules

> gets ignored

Who could have forseen this.

▲doctorpangloss a day ago | parent | prev | next [-]

Their policy is immature. Clicking little upvote and downvote buttons is immature. Better to just lie and duplicate the issue.

▲senderista a day ago | parent | next [-]

Seems like "parallel construction" where you show you actually understand and can explain the issue independent of an LLM would be the way to go. No need to mention how you found the bug as long as you can explain what the bug is, why it matters, and how to repro.

▲rererereferred 10 hours ago | parent [-]

Sending a repro and saying you don't understand why it doesn't work is valid too.

▲bigstrat2003 a day ago | parent | prev [-]

Lying to get around a project policy you disagree with is immature. They have the right to run things the way they want, either accept their rules or leave the project be.

▲UncleOxidant a day ago | parent | prev [-]

If they really insist on no LLM involvement at all then they're going to fall behind and lose out. Your LLM use case seems really very conservative - you didn't write any code with it, you just use it to confirm the bug. There are many OSS projects that are also taking a similar hardline against LLMs - people are going to fork them and then move on. I've had LLMs fix bugs/add features to a couple of projects like this and, well, they're missing out on the fixes/added features that I'm using locally.

▲0c3ca83 a day ago | parent | next [-]

People keep promising me that I'll be left behind, but somehow it never seems to happen.

▲brabel 16 hours ago | parent | next [-]

How do you evaluate this? Have you tried looking for a job? Or compared your project with a similar project where people are using AI and you are not? Or you’re just staying put and waiting to see what happens?

▲nvme0n1p1 a day ago | parent | prev [-]

They remind me of the "have fun staying poor" people from crypto

▲0c3ca83 a day ago | parent | next [-]

I'd really love to figure out how to stay behind, but the people who keep insisting I'll be left behind are doing their level best to prevent it.

▲onlyrealcuzzo a day ago | parent | prev [-]

TBF, most people did stay poor, they just didn't really get richer.

▲acedTrex a day ago | parent | prev [-]

They are doing fine, all this "left behind" talk has no basis other than cope.

▲greggoB a day ago | parent | prev | next [-]

Can you offer any specifics? The ToC looks quite extensive, which to me indicates a lot of design decisions needed to be made (probably involving many people) and unclear how that process might be accelerated by AI.

Unless you're suggesting the language design should also be vibed together?

▲nvme0n1p1 a day ago | parent [-]

> Unless you're suggesting the language design should also be vibed together?

Sounds like a fun little project, have a bunch of AI pushers fork Zig and see if they can do a better job. I want to see results, not snarky HN comments. After all this progress, ChatGPT should be able to one-shot a better language since AI is so good now... right?

▲spankalee a day ago | parent | next [-]

One-shot, no, but there are a bunch of people pretty much solo-building their personal ideal language with AI and it's going quite well. You need to know just enough about language design to be dangerous, but you don't need to be a seasoned pro.

I'm doing it myself: https://zena-lang.dev/

▲0c3ca83 a day ago | parent | next [-]

It seems like such a strange thing to do, building a language that you aren't going to write by hand. It's guaranteed to perform worse at higher cost, fill up a lot more of the context window, and burn a ton more reasoning tokens.

If you're using AI, a language with a large training set is going to win.

▲dnautics a day ago | parent | next [-]

> If you're using AI, a language with a large training set is going to win

Not necessarily? What if the training set contains an overwhelming amount if bad code written by neophytes? I imagine Python quality by the LLM suffers from this, for example.

What if the language has extremely confusing syntax constructs (like early php) or bad or no conventions (suppose the standard library has somecollection.put(key, value) sometimes and othercollection.put(value, key) other times), and individual code authors just pick what they want adhoc

Large training set ain't gonna save you.

▲0c3ca83 a day ago | parent [-]

There's a lot of RL that goes into this, you're not just training on bad code. Python is one of the programming languages that LLMs consistently perform best at.

▲dnautics 20 hours ago | parent [-]

Near bottom on auto coder benchmark from last year, so clearly claiming "consistently" is false or misleading. Did you make that up?

▲Karrot_Kream a day ago | parent | prev | next [-]

I guess it depends on whether you will write everything in an AI assisted fashion or not. There's benefits to languages that are quick and easy to read by the author even if the LLM is doing the writing, because most code still benefits from human review above and beyond the review that agents provide. Language popularity certainly helps but it seems like for moderately popular languages [1] the cost you pay for a lack of popularity is quite modest.

[1]: https://danluu.com/pl-tokens/

▲0c3ca83 a day ago | parent [-]

A language you just created isn't going to be moderately popular, so it's just going to put you at a disadvantage -- and you're not even going to be writing in it, so why the self-kneecapping?

▲Karrot_Kream a day ago | parent [-]

I mean what does "put you at a disadvantage" even mean concretely? To use a less popular language, it means you need to load up context related to the semantics of your language, load context on how to invoke tools to make sure the syntax with your language is correct, load up context related to each tool call you make (which will be more numerous in a niche language), and load up context on architectural decisions that might be specific to your language. All of this is simply a token cost. By forcing a model to load an initial amount of context per harness turn you also effectively shorten the max context window beyond which the model becomes stupid (which itself is much shorter than the max context length.)

Obviously it's not like people are specifically trimming each and every prompt they give a model to tokenmax their models to get the best output / input prompt, we instead live in a spectrum of how many tokens of input and context we're willing to provide to a model to make progress. If the cost of those tokens is low enough for the problem domain you're working in, then it's fine. For some the readability of a personal language may outstrip any of the token costs that one needs to pay to use it. Alternatively maybe you want something like an array language (J, K, APL, etc) which allows array programming and optimizations that conventional PLs just can't do. Maybe you want your language to compile to a target that is highly portable. There's actually a lot of stuff out there that previously wasn't feasible but with LLMs-as-force-multiplier absolutely is.

I also suspect the space is a continuum. There may be pareto optimal points, such as DSLs built atop languages, that are both highly readable but also fairly token efficient.

▲0c3ca83 a day ago | parent [-]

It's both a token cost and a performance cost; there's only so much that documentation can do, compared to a ton of RL on top of millions of lines of examples. The space is a continuum, but the more you stray from the trained path the higher the cost you pay.

▲cmontella 12 hours ago | parent [-]

> the more you stray from the trained path the higher the cost you pay.

Note the LLMs are trained on language semantics far beyond the mainstream ones, so language design can become quite exotic without straying too much from the training. You really do have to measure these things, I don’t see how you can make a confident assertion without data.

▲spankalee a day ago | parent | prev | next [-]

I don't think those assertions about AI development necessarily hold. And I think it'd be a depressing future if we can't ever have anything new or better that wasn't popular in the training set as of November 2025.

I wrote about some of my thoughts with Zena and AI here: https://zena-lang.dev/blog/2026/09/languages-for-the-ai-era/

▲0c3ca83 a day ago | parent [-]

Yes, we're building a sad world. I'm glad you noticed. Until we get LLMs with online learning, training data will dominate.

▲brabel 16 hours ago | parent | next [-]

But you’re very clearly wrong. Just go ahead and try it: write your own language or just a DSL, write a brief description of how it works , let a LLM use it. Many of us have done this and everyone knows that it works extremely well, to most people’s surprise.

▲0c3ca83 13 hours ago | parent [-]

I'd suggest benchmarking the outcomes. It's going to "work", but at a higher cost with worse ontcomes compared to an existing language with a large training set.

▲cmontella 12 hours ago | parent [-]

Here are some benchmarks I’ve collected recently:

https://mech-lang.org/iros-r4r-2026/index.html#5805406811462...

I compare one algorithm across several programming languages and backends. There is no training data for Mech in the LLM yet it beats most other implementations in perf, which were optimized by LLM.

Maybe human performance engineers trained in these languages could write better implementations. But to answer the question of whether the LLM could write more performant code in languages it’s trained in versus languages it’s not, this comparison is at least illustartive.

▲spankalee 21 hours ago | parent | prev [-]

> Yes, we're building a sad world. I'm glad you noticed

What is the point of sarcastic, passive aggressive comments like this?

▲0c3ca83 21 hours ago | parent [-]

I don't think it's particularly sarcastic. Its bitter, of course, because the world we're working towards kind of sucks. I'd like to opt out of it, but it's being forced on me.

The best I can do is understand its edges and try to find some advantage that leaves me well off enough to stave off the worst effects.

▲itishappy a day ago | parent | prev [-]

This assumes the goal is to create a productive language.

When I design my own languages (I have written several, all terrible!) it's typically to learn about language design.

▲ a day ago | parent | prev | next [-]
[deleted]
▲Karrot_Kream a day ago | parent | prev [-]

Been thinking about doing this myself (did some PL in grad school but it's been a long time), but I find myself wanting to reach for a Scheme (using macros to grow the language I want) and customize it or build something atop Janet.

Curious why you wanted a more ML / Rust / Scala inspired syntax. (Personal preference here is totally valid btw, just curious.)

▲spankalee a day ago | parent [-]

The syntax is TypeScript inspired because I like it and my bet is that the familiarity helps human and AI coders learn the language.

▲agentultra a day ago | parent | prev | next [-]

Claude can’t one-shot a C compiler.

None of these systems can. They need enormous training. They need alignment and reinforcement. They need harnesses. And most importantly they need a human that knows how to write and develop a C compiler.

The ISO specifications are not sufficient. Neither are the System V guidelines. Not even spec tests and compcert.

▲UncleOxidant a day ago | parent | prev | next [-]

You're not going to one-shot it, but over the course of a couple of months of evenings you could come up with something usable/interesting if you manage the LLM well.

▲IshKebab a day ago | parent | prev [-]

Nobody is one-shotting big projects. Even humans can't do that.

▲DASD a day ago | parent [-]

Fabrice Bellard might be an exception.

▲IshKebab 15 hours ago | parent [-]

Ha funny but no.

▲dingdingdang a day ago | parent | prev | next [-]

Yep, it's true, but the reality of what it would take to actually fork and commence with healthy use of AI alongside with the elusive soft/hard stance needed to lead technically and socially is probably a bigger challenge than anyone is willing to take on! Soo.. slow and (rather?) well it goes for Zig.

▲mg74 a day ago | parent | prev [-]

Slow and steady wins the race

▲re-thc a day ago | parent | next [-]

Anthropic levels of slowness (pacing)?

▲jibalt a day ago | parent | prev | next [-]

Parables aren't reality.

▲mathisfun123 a day ago | parent | prev | next [-]

in tech? really?

▲combobyte a day ago | parent | next [-]

Language design and implementation is much more in the realm of actual computer science than it is "tech"

▲Zak a day ago | parent | prev | next [-]

In programming languages, usually. Building software on top of a rapidly-changing language is not often a recipe for success.

▲ a day ago | parent | next [-]
[deleted]
▲vips7L 6 hours ago | parent | prev [-]

This is why Java deliberately is the last mover. Letting other languages experiment first.

▲nvme0n1p1 a day ago | parent | prev [-]

Yes, the Lindy effect applies in tech too.

▲saghm a day ago | parent | prev [-]

And apparently ignores legitimate compiler bugs on the way that someone happened to ask an LLM to double check their diagnosis

▲acedTrex a day ago | parent | prev | next [-]

Im really enjoying using it, works great tbh

▲DASD a day ago | parent | prev [-]

Seems to be C++ing which is disappointing. Looking more at C3 and Odin for cases where I'd hoped Zig to land.

▲deagle50 a day ago | parent | next [-]

Odin scratches this “stick shift” itch for me better than anything else. Highly recommended.

▲yurish a day ago | parent | prev | next [-]

In what sense are the C++ing? Too complicated or what?

▲zer0-c00l a day ago | parent | prev | next [-]

can you elaborate on what you mean by "C++ing"?

▲sureglymop a day ago | parent | prev [-]

C3 is honestly so good and a bit underrated.

▲silisili a day ago | parent [-]

It's my favorite of the new round of languages by far. I just wish it had a bigger ecosystem.