Live data from Hacker News

Migrating the main Zig repository from GitHub to Codeberg

ziglang.org

731–740 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#731

Earlier quoted context omitted.

Do you believe that Zig is following its own code of conduct, or not?

The website is not covered by the CoC, so they are not in abeyance

Ziglang.org disconnected from the Zig Code of Conduct is wild.

I really want to pull on that thread more, to see how far you’ll go to defend an indefensible position, but I won’t.

Re: Migrating the main Zig repository from GitHub to Codeberg

#732

I like Zig for the most part but this post does seem needlessly mean spirited. I don't like Microsoft or GitHub either, but I don't see the point of taking pot shots at the devs who work there.

This just in: Software engineer with motivation and skills to develop a new language, strangely lacking in PR and marketing skills. More at 11.

Re: Migrating the main Zig repository from GitHub to Codeberg

#733
post #577

Earlier quoted context omitted.

> There is a purity spiral that organizations can enter when they start doing this You are the one summoning that spiral by making a cheap gotcha wrt codeberg using Paypal. The project apparently could and did move because the swith from github to codeberg wasn't that big of an impact, and because, while the new forge is not perfect, they feel the association is less severe. There is no "purity spiral" in that, just…

As I was reading your reply I was half convinced that it was not purity spiral but by the end, even you admit it’s an ethics thing so yeah it is pretty much purity spiral in place. Next they will leave the USA so that they won’t be associated with Trump.

There are multiple dozens of ethic schools and ideas and many of them are not about purity, but although viability and realistic expectations.

They are not going Categorical imperative here.

Re: Migrating the main Zig repository from GitHub to Codeberg

#734

Earlier quoted context omitted.

I absolutely don't care about how people generate code, but they are responsible for every single line they push for review or merge. That's my policy in each of my clients and it works fine, if AI makes something simpler/faster, good for the author, but there's 0, none, excuses for pushing slop or code you haven't reviewed and tested yourself thoroughly. If somebody thinks they can offset not just authoring or editi…

Totally agree. For me, the hard part has been figuring out the distinction with junior engineers... Is this poorly thought out, inefficient solution that is 3x as long as necessary due to AI, or inexperience?

Not defending him, but we were already doing this with electron apps, frameworks, libraries, and scripting languages. The only meaningful cost in most software development is labor and that’s what makes sense to optimize. I’d rather have good software, but I’ll take badly made software for free over great software that costs more than the value of the problem solved.

These discussions are always about tactics and never operations.

Re: Migrating the main Zig repository from GitHub to Codeberg

#735

They've abandoned GitHub for Codeberg because GitHub has ICE as a customer. Codeberg uses Paypal which is a member of the ICE "Virtual Global Taskforce". https://www.ice.gov/news/releases/top-story-industry-partner... There is a purity spiral that organizations can enter when they start doing this, which ends up with you shoving yourself into a cold dark corner of the internet and still not being completely detached…

I think there's a difference between providing services to X and a platform using a payment processor that collaborates with X.

You have a point, of course, but for many options, the best we can do is avoid the worst one as there's no perfect solution. I'm not saying that people should leave GitHub because of this, but I can see why some would and why they may pick a different, still not perfect, alternative instead of doing everything themselves.

Re: Migrating the main Zig repository from GitHub to Codeberg

#736

Earlier quoted context omitted.

That's why the article put that reason aside

It could have done an even better job of putting it aside by not even mentioning it at all. Instead we're all sitting here talking about it instead of the technical reasons.

If they had not mentioned github's association with ICE, then we'd be in a situation where everyone would be questioning whether or not the relationship had anything to do with the decision.

Re: Migrating the main Zig repository from GitHub to Codeberg

#737

I'm happy to see the move. Codeberg is probably a more stable/long-term solution than SourceHut as the founder is slightly unhinged (but love what he has built). Honestly, either would have been great choices. More opensource projects should move off GitHub. I moved off it myself.

I am getting fatigued by all of these. I am learning about a new one each time. We have - GitHub - BinCode - GitLab - SourceHut - CodeBerg They all seem to do roughly the same things, but with a different web UI. Competition is great! Especially in response to a big corp that has market share. But... there was value in the centralization of GH.

there is value in interoperability, not in centralization

Re: Migrating the main Zig repository from GitHub to Codeberg

#738

Earlier quoted context omitted.

My old rule about the difference between coding and software engineering: For coding, "it seems to work for me" is good enough. For software engineering, it's not. My new rule: For coding, you can use AI to write your code. For software engineering, you can't.

I feel like the distinction is equivalent to LLMs can make mistakes. Humans can't. Humans can and do make mistakes all the time. LLMs can automate most of the boring stuff, including unit tests with 100% coverage. They can cover edge cases you ask them to and they can even come up with edge cases you may not have thought about. This leaves you to do the review. I think think the underlying problem people have is they…

"I feel like these distinctions are equivalent to

    LLMs can make mistakes. Humans can't."
No, that's not it. The difference between humans and AI is that AI suffers no embarrassment or shame when it makes mistakes, and the humans enthusiastically using AI don't seem to either. Most humans experience a quick and viseral deterrent when they publish sloppy code and mistakes are discovered. AI, not at all. It does not immediately learn from its mistakes like most humans do.

In the rare case when there is a human that is consistently persistently confidently wrong like AI, a project can identify that person and easily stop wasting their time working with that person. With masses of people being told by the vocal AI shills how amazing AI is, projects can easily be flooded with confidently wrong aaI generated PRs.

Re: Migrating the main Zig repository from GitHub to Codeberg

#739

Earlier quoted context omitted.

I don't see how the two are related at all. A blanket ban on LLM-generated code is at least arguably a reasonable policy.

> A blanket ban on LLM-generated code is at least arguably a reasonable policy. No, I don't think it is. There's more nuance to this debate than either "we're banning all LLM code" or "all of our features are vibe coded". A blanket ban on unreviewed LLM code is a perfectly reasonable way to mitigate mass-produced slop PRs, but it is not reasonable to ban all code generated by an LLM. Not only is it unenforceable, but…

A blanket ban is really the only sensible thing to do so that no time is wasted for both sides (contributors know upfront that there's no point trying to get an AI-generated PR accepted - so they won't waste time creating one, and project maintainers don't waste time reviewing what might be broken AI slop - even if some AI generated PRs would be acceptable from a quality point of view).

When there's a grey zone then there will be lots of pointless discussions like "why was this AI-generated PR accepted but not mine" etc etc...

Re: Migrating the main Zig repository from GitHub to Codeberg

#740
Another software project feels it’s necessary to dive into divisive politics when it should just make good software. It’s sad, really. Now what I think of when I hear „Zig“ is a community of self-important, immature and delusional people instead of thinking about the undeniable advantages of the Zig language.
Post reply on HN