Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Migrating the main Zig repository from GitHub to Codeberg

ziglang.org

Post reply on HN
Print view View original

621–630 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#621

Post by dlisboa »

silisili wrote: post #431
nromiun wrote: post #139

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

Anyone who has ever used Gitlab, or dare my foul mouth say Jenkins, has experienced a better system than Github actions. Unless it's miraculously improved recently as it's been a couple years for me, they didn't even document their regex/pattern matching. Best I could find via searching was that it was whatever Ruby used, which wasn't any kind of real standard. I don't want to call anyone names, but whoever defends s…

I've used both and I don't know if they've been improved but both were terrible a few years ago (at least in our case). Very unstable and finicky. I last used Jenkins in 2017 and Gitlab in 2021, so I don't know how they are today.

Re: Migrating the main Zig repository from GitHub to Codeberg

#623

Post by etyp »

aadishv wrote: post #419
picafrost wrote: post #318

Earlier quoted context omitted.

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.

I feel like that's the whole point of the OP. I agree with the overall post but mentioning the ICE relationship seems to detract from the main point. "I hate GitHub because X Y and Z features are bad" is a good reason to move away; "I hate GitHub because one of their thousands of enterprise customers does not align with my political views" is not, in my opinion. For the record, I do not support ICE

I read it as "this was a big news story which we care about. You may know it, but it is not the primary reason. Here is the primary reason."

Re: Migrating the main Zig repository from GitHub to Codeberg

#624

Post by VMG »

forgotpwd16 wrote: post #549
joelreymont wrote: post #372

Earlier quoted context omitted.

I had $1000 in Claude credits and went to town. Yes, I made mistakes along the way.

The biggest mistake, AI or not, is dropping a 10K+ PR. 300~500 LOC is how far one should be going, unless they're doing some automated refactoring. E.g. formatting the entire StaticCompiler.jl source. This should've been a distinct PR, preferably by a maintainer.

I've seen this in other places as well.

The bottleneck is not coding or creating a PR, the bottleneck is the review.

Re: Migrating the main Zig repository from GitHub to Codeberg

#625

Post by Eldt »

joelreymont wrote: post #369
quirino wrote: post #35

> As a bonus, we look forward to fewer violations (exhibit A, B, C) of our strict no LLM / no AI policy, Hilarious how the offender on "exhibit A" [1] is the same one from the other post that made the frontpage a couple of days ago [2]. [1] https://github.com/ziglang/zig/issues/25974 [2] https://news.ycombinator.com/item?id=46039274

That one was poorly documented and may have been related to an issue in my code. I would offer this one instead. https://github.com/joelreymont/zig/pull/1

Stop the catfishes, please

Re: Migrating the main Zig repository from GitHub to Codeberg

#626

Post by flohofwoe »

josephg wrote: post #557
noodletheworld wrote: post #499

Earlier quoted context omitted.

> I just don't like how they have to put out false claims like there are big problems with GH CI and Sponsors These aren't false claims. Thats my point. Microsoft can afford to make these tools better; they just dont care. Yes, its better than having nothing , but honestly you have to be wearing blinkers not to see the decline rn.

> Microsoft can afford to make these tools better; they just dont care. They certainly have enough money, but can they actually improve it? Who could step in? How? Do you think more hiring would help? Or would it make it worse? Leadership could try and step in by force. But they'd have to undermine whoever is running github actions to do so. It would be a huge, risky political move. And for what? Are they actually lo…

Github has been entirely integrated into Microsoft's AI division since the last Github CEO left a couple of months ago (not much of a loss since he was responsible for Githubs AI enshittifaction). Those org-changes alone are plenty of reason to lose trust in Github's future. IMHO things can only get worse with an "AI first" division in charge and now is probably the best time to jump ship, at least it's the responsible thing to do for sufficiently large and professional projects (and I bet that ziglang is only one of many to follow).

> But they'd have to undermine whoever is running github actions

I'm not sure if anybody is running the GH Actions project at the moment beyond bare maintenance work and trying to keep the whole thing from collapsing into a pile of rubble. There is also no separate Github entity anymore within Microsoft, so nothing to "undermine".

Re: Migrating the main Zig repository from GitHub to Codeberg

#627

Post by franktankbank »

poulpy123 wrote: post #595
Lyngbakr wrote: post #589

Earlier quoted context omitted.

In a submission to OCaml, when asked why the files he submitted list someone else as an author he says, > Beats me. AI decided to do so and I didn't question it.° I find that sort of attitude terrifying. ° https://github.com/ocaml/ocaml/pull/14369#issuecomment-35573...

I cannot believe it's not trolling

Intentional or not its an interesting social experiment.

Re: Migrating the main Zig repository from GitHub to Codeberg

#628

Post by rdtsc »

quirino wrote: post #35

> As a bonus, we look forward to fewer violations (exhibit A, B, C) of our strict no LLM / no AI policy, Hilarious how the offender on "exhibit A" [1] is the same one from the other post that made the frontpage a couple of days ago [2]. [1] https://github.com/ziglang/zig/issues/25974 [2] https://news.ycombinator.com/item?id=46039274

My favorite of his https://x.com/joelreymont/status/1990981118783352952

> Claude discovered a bug in the Zig compiler and is in the process of fixing it!

...a few minutes later...

https://github.com/ziglang/zig/pull/25974

I can see a future job interview scenario:

- "What would you say is your biggest professional accomplishment, Joel?"

- "Well, I almost single-highhandedly drove Zig away from Github"

Re: Migrating the main Zig repository from GitHub to Codeberg

#629

Post by dreamcompiler »

quirino wrote: post #35

> As a bonus, we look forward to fewer violations (exhibit A, B, C) of our strict no LLM / no AI policy, Hilarious how the offender on "exhibit A" [1] is the same one from the other post that made the frontpage a couple of days ago [2]. [1] https://github.com/ziglang/zig/issues/25974 [2] https://news.ycombinator.com/item?id=46039274

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.

Re: Migrating the main Zig repository from GitHub to Codeberg

#630

Post by MrBuddyCasino »

otikik wrote: post #572
MrBuddyCasino wrote: post #564

Earlier quoted context omitted.

Whats the difference? Both are (or were) funded by NGOs and the state department.

US has a special definition for what constitutes "left" that doesn't apply outside. Compared to European leftists, US leftists are center-right.

Charlie Kirk was shot by a center-right guy on September 10, 2025?

Luigi Mangione shot the UnitedHealthcare CEO December 4, 2024 and had an anti-capitalist manifesto, was he center right?

What about Elias Rodriguez (leftist activist, Israeli Embassy Staff Shooting)?

Michael Reinoehl (antifa) who shot Aaron Danielson?

"No Kings" Vance Boelter who shot two politicians?

"Anti-ICE" Joshua Jahn who killed two detainees and wounding an agent in the Dallas ICE Facility Sniper Attack?

US leftists are the same murderous closeted communists as they are everywhere else.

They assassinate people (see recent cases), perform terrorist attacks (peaking at ~500 (!) bombings in 1971), form mobs to socially ostracise people they don't agree with, distribute brazen propaganda in mass media and subvert every organisation they join.

Post reply on HN