Live data from Hacker News

Migrating the main Zig repository from GitHub to Codeberg

ziglang.org

261–270 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#261

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…

when the shit finally starts flying there is no better place to be than low down, in a dark corner, with clean hands, looking nothing like a pig

[dead]

Re: Migrating the main Zig repository from GitHub to Codeberg

#262
post #186

Earlier quoted context omitted.

The original loop is: while (time() != timeout) {;} The fixed loop is: while (time() < timeout) {;}

I see. I did not realize SECONDS was a built in bash variable.

It is still not a proper fix. It is still busy-looping 100% CPU.

Given that Github Actions is quite popular, probably wasting large amount of energy.

But probably good at generating billable Actions minutes.

One can only hope that not many people use sleeps to handle their CI race conditions, as that itself is also not a proper fix.

Re: Migrating the main Zig repository from GitHub to Codeberg

#263

Earlier quoted context omitted.

The only good thing about it is their very generous limits for "open source" projects (it doesn't even have to be free software AFAIK, just the source has to be visible to everyone). The CI service itself is an absolute trash fire caused by the usual Microsoft NIH, and if they have financial means not to deal with it anymore, I see no reason for them to waste their limited development time on dealing with it.

They could have easily done that without all the insults.

I agree it’s unprofessional, but at least we’re talking about GHA, even if tangentially, because there’s a lot to talk about and not much of it is good.

Re: Migrating the main Zig repository from GitHub to Codeberg

#264

So much vague outrage over nothing. That CI system created by so called monkeys is the one of the best free CI service in the world. Not everyone has the millions of dollars like Zig Foundation to create their own CI servers. After that they appreciate GitHub Sponsors, but say it is now a complete liability just because a project leader left. What are the actual changes? Any new rule? But no, it is now a "liability"…

The only good thing about it is their very generous limits for "open source" projects (it doesn't even have to be free software AFAIK, just the source has to be visible to everyone). The CI service itself is an absolute trash fire caused by the usual Microsoft NIH, and if they have financial means not to deal with it anymore, I see no reason for them to waste their limited development time on dealing with it.

Where else would the CI service for a Microsoft product be invented? NIH is a weird insult in this context. If Microsoft had instead acquired a CI service you’d be complaining about how they’re reducing competition.

Re: Migrating the main Zig repository from GitHub to Codeberg

#265

Earlier quoted context omitted.

You're right, I've been hearing lots of good things about Zig and I wanted to check it out but I'm glad I saw this post. I want no part of this thing. I've heard people call other people "monkeys" before in a work setting. it's never good. Fact is, you don't need to call anyone names or insult them. The takeaway for me is that the Zig project is led by people who are extremely immature and toxic. I simply don't trust…

> The takeaway for me is that the Zig project is led by people who are extremely immature and toxic. immature and toxic : welcome to every big tech , you don't want part of them either, right ?

if they call their employees monkeys, certainly. I think every big tech company is well aware of lawsuits regarding a hostile work environment, work place bullying, etc.. they all have company wide training on these topics.

Having been in that situation before, if I even get a hint that I would be treated this way, I'm backing out of any interview. I won't say for no amount, but for no amount they would consider reasonable compensation would I think it's worth it. People commit suicides over this stuff. This isn't a joke. Life is too short. I mean just seeing other people treated this way is horrible on its own. I can't believe people defend this stuff. People need to learn to be ashamed again.

Re: Migrating the main Zig repository from GitHub to Codeberg

#268

Earlier quoted context omitted.

You're right, I've been hearing lots of good things about Zig and I wanted to check it out but I'm glad I saw this post. I want no part of this thing. I've heard people call other people "monkeys" before in a work setting. it's never good. Fact is, you don't need to call anyone names or insult them. The takeaway for me is that the Zig project is led by people who are extremely immature and toxic. I simply don't trust…

microsoft employee detected. lol to all ms employees, keep downvoting...

I wish :)

Re: Migrating the main Zig repository from GitHub to Codeberg

#269
If voiced and channeled properly, I see very little chance of Microsoft and Github wouldn't prioritize fixes for a critical open source project.

Yes issues have been filed but more could be done back channel.

Personally - I think GitHub is a cultural artifact now. Of the entire planet. Hackers and curious minds from Japan to Alaska and everything in-between flock to GitHub.

Re: Migrating the main Zig repository from GitHub to Codeberg

#270

Earlier quoted context omitted.

And what's wrong with that? Even if you're right, just don't use it, why insult and denigrate people?

Because they deserve to know they're making the world a worse place.

GitHub is definitely not making the world a worse place. Touch grass.
Post reply on HN