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

591–600 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#591

Post by IshKebab »

fHr wrote: post #573
silisili wrote: post #431

Earlier quoted context omitted.

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…

Gitlab smokes and rolls githubs shitty ass CI all day any day for over 10 years now

I've had so many issues with Gitlab CI. I don't think it's really any better than Github's.

Re: Migrating the main Zig repository from GitHub to Codeberg

#592

Post by testdelacc1 »

conartist6 wrote: post #590
mikelitoris wrote: post #252

Earlier quoted context omitted.

oh god... he has a humongous AI generated PR for julia too https://github.com/tshort/StaticCompiler.jl/pull/180

Maybe this guy is it: the actual worst coder in the world

Lot of people are criticising this guy but we all benefit from having an example to show people - this, please don’t do what this guy is doing. Please read the generated code, understand it, edit it and then submit it.

If anyone’s answer to “why does your PR do this” is “I don’t know, the AI did it and I didn’t question it” then they need a time out.

Re: Migrating the main Zig repository from GitHub to Codeberg

#594

Post by s-lambert »

ralph84 wrote: post #264
homebrewer wrote: post #228

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.

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.

Microsoft had their own CI service and it existed before GitHub Actions did, it was renamed Azure Dev Ops but it existed before GitHub Actions and it was largely similar from what I remember.

Re: Migrating the main Zig repository from GitHub to Codeberg

#595

Post by poulpy123 »

Lyngbakr wrote: post #589
nake89 wrote: post #485

Earlier quoted context omitted.

When confronted about LLM writing completely broken tests the guy said the funniest thing: "It knows what it’s doing but tends to be… lazy." I'm a big fan of LLMs but this guy is just a joke. He understand nothing of the code the LLM generates. He says things like "The LLM knows". He is not going to convince anybody to merge is PRs, since he is not even checking that the tests the LLM generates are correct. It's a jo…

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

Re: Migrating the main Zig repository from GitHub to Codeberg

#596

Post by adrianN »

throwaway150 wrote: post #243
adrianN wrote: post #189

Earlier quoted context omitted.

You can express dissatisfaction and anger „naturally“ without calling people losers and monkeys.

> You can express dissatisfaction and anger „naturally“ without calling people losers and monkeys. I can't speak for others. But if I am screwing up as badly as GitHub is, I'd rather someone calls me a loser and monkey for it. It's like someone splashing ice cold water on my face and showing me the reality. It's going to be very uncomfortable, yes. But I'll learn from it and try not to screw up so badly again. I find…

Imo there is a big difference between insulting a person's work and insulting a person themself. People can and do mess up colossally without being losers or monkeys.

Re: Migrating the main Zig repository from GitHub to Codeberg

#597

Post by poulpy123 »

wewewedxfgdf wrote: post #126

Very questionable decision. You're running what aims to be a major programming language - have it where people expect and live with your gripes about the platform. In retail you set up your store in the biggest mall with the most customers walking past - sure you can go set up in some back alley but don't expect customers to come to your store. This remains true even if the mall owns forget to mop the floor. This fee…

It's a programming language, not a tool for end users. The intersection of people for who Zig being hosted on github is helpful with the people who are going to interact with the code source is basically none

Re: Migrating the main Zig repository from GitHub to Codeberg

#598

Post by rs186 »

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

I wonder why the maintainers haven't banned this dude yet.

Re: Migrating the main Zig repository from GitHub to Codeberg

#599

Post by arp242 »

wewewedxfgdf wrote: post #126

Very questionable decision. You're running what aims to be a major programming language - have it where people expect and live with your gripes about the platform. In retail you set up your store in the biggest mall with the most customers walking past - sure you can go set up in some back alley but don't expect customers to come to your store. This remains true even if the mall owns forget to mop the floor. This fee…

For established projects of a certain level of audience and attention, they can be hosted anywhere and it won't matter all that much. Zig is already such a project. People already know about Zig. There's tons of established projects that don't use GitHub (some migrated, some never used it) and they're fine.
Post reply on HN