Live data from Hacker News

Migrating the main Zig repository from GitHub to Codeberg

ziglang.org

311–320 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#311
post #262

Earlier quoted context omitted.

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.

Clearly the job for a microservice. Accept number of seconds to wait as url, return content after that many seconds. Then just use curl in runner.

Re: Migrating the main Zig repository from GitHub to Codeberg

#312

Earlier quoted context omitted.

It’s more likely that most of them are competent professionals doing their best in an impersonal corporate environment, just like the rest of us.

Not all of us sold out to corporations. Admittedly some of those may be a bit ... unusual. Like the guy who created TempleOS.

[deleted]

Re: Migrating the main Zig repository from GitHub to Codeberg

#313
post #278
post #95

> it’s abundantly clear that the talented folks who used to work on the product have moved on to bigger and better things, with the remaining losers eager to inflict some kind of bloated, buggy JavaScript framework on us in the name of progress. > More importantly, Actions is created by monkeys This writing really does not reflect well on Zig. If you have technical issues with Github, fine: cite them. But leave ad ho…

Came here to say that. Killed my curiosity towards Zig in an instant. What a disrespect. A pity. Saw Zig as something rising but with this kind of toxicity, no thanks.

It's probably a lapse, don't read into it too much. You can't expect people to tip toe around. Just give him feedback.

Re: Migrating the main Zig repository from GitHub to Codeberg

#314

Earlier quoted context omitted.

> created by monkeys I don't particularly care for either Zig or Github, but... they do precisely cite the technical issues. That snippet links to a Github discussion comment https://github.com/actions/runner/issues/3792#issuecomment-3... (reproduced below) "The bug in this "safe sleep" script is obvious from looking at it: if the process is not scheduled for the one-second interval in which the loop would return (du…

Then blast the product, not the people who built it.

They are blasting the product tbf. The people part is a small part of it. And apparently at least distracting the HN Community from their point.

Re: Migrating the main Zig repository from GitHub to Codeberg

#315
post #95

> it’s abundantly clear that the talented folks who used to work on the product have moved on to bigger and better things, with the remaining losers eager to inflict some kind of bloated, buggy JavaScript framework on us in the name of progress. > More importantly, Actions is created by monkeys This writing really does not reflect well on Zig. If you have technical issues with Github, fine: cite them. But leave ad ho…

> eager to inflict some kind of bloated, buggy JavaScript framework on us in the name of progress

Could someone elaborate what that JS framework is? Is this recent?

I think GitHub was built on Rails, and the UI has changed relatively little in the past few years.

Re: Migrating the main Zig repository from GitHub to Codeberg

#316

Earlier quoted context omitted.

The absolute state of Github is that I use it dozens of times a day and it works flawlessly, for free, with intermittent outages. Microsoft is doing more with Github than I can say for most of their products. I won't go to bat for the Xbox or Windows teams, but Github is... fine. Almost offensively usable.

Given the trajectory of Microsoft products it stands to reason Github’s future is uncertain. Also Git is ultimately a hosting platform that any competent software shop can recreate; the people behind the platform matter more than the platform itself.

As someone who is intimately familiar with GitHub’s data models, I wouldn’t say that replacing it is so technically trivial.

But even then, you are right that that the moat of social cachet and implicit trust is still more valuable than the moat of technical implementation.

Re: Migrating the main Zig repository from GitHub to Codeberg

#317

Earlier quoted context omitted.

It's completely fine for someone working on a programming language that is useful for some of the same things as Rust to compare that language to Rust, including in ways that make the language not seem as good. Indeed, this is useful information for someone who is using Rust and is considering using Zig (or vice-versa), or who is new to both languages and trying to figure out which is better for their use case.

You seem to be running a lot of interference in this thread. In what way is the tone of the linked messages appropriate?

In what way is the tone of the linked messages not appropriate? Rust is a programming language, not a sacred object. It's fine to say that a different programming language does something better than it, regardless of whether or not you're the developer of that language.

To be clear I like Rust and use it frequently and have for about as long as it's been publicly released, whereas I have only played around a little bit with Zig and I suspect I won't like it as much as Rust even when it's feature-complete. But I don't like seeing an attempt to enforce a social norm that it's wrong to point out shortcomings of Rust, especially when it's aimed at people doing the interesting and valuable work of exploring other areas of the systems programming language design space that Rust is not doing.

Re: Migrating the main Zig repository from GitHub to Codeberg

#318

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…

That's a weird take-away from the post, where the only time ICE is mentioned is

> Putting aside GitHub’s relationship with ICE,

and the rest of the article provides technical reasons.

Re: Migrating the main Zig repository from GitHub to Codeberg

#319
post #251

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…

It seems like every organization in America is compromised in some way if you dig deep enough. Certainly you can find reasons for every big tech. There's still a balance to be struck though.

If by dig you mean lazily sweep the front door while listening to dance music, then yes, I agree with you :)
Post reply on HN