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

761–770 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#761

Post by blibble »

rootlocus wrote: post #716
dreamcompiler wrote: post #629

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…

> 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.

in my experience these tests don't test anything useful

you may you have 100% test coverage, but it's almost entirely useless but not testing the actual desired behaviour of the system

rather just the exact implementation

Re: Migrating the main Zig repository from GitHub to Codeberg

#762

Post by IshKebab »

ljm wrote: post #715
IshKebab wrote: post #591

Earlier quoted context omitted.

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

I'll take any CI service that isn't cobbled together by mountains of nested and indirected YAML. Absolute horror to maintain.

Yeah... are there any though?

Re: Migrating the main Zig repository from GitHub to Codeberg

#763

Post by barnabee »

petcat wrote: post #741
drannex wrote: post #70

Earlier quoted context omitted.

That they don't support a nationalistic paramilitary organization that requires its members to be masked and never known by the public so they cant be held accountable? A nationalized KKK is not something to ever support.

I don't care about ICE one way or another, but calling people "monkeys" and "losers" because they're not building a product to your exact specifications is extremely childish. It seems to me that the real "losers" are the ones spending so much time bitching and moaning about a software platform they don't like.

> I don't care about ICE one way or another,

Which is itself a political position, a privileged one at that

Re: Migrating the main Zig repository from GitHub to Codeberg

#764

Post by andrew_ »

MildlySerious wrote: post #579
aadishv wrote: post #419

Earlier quoted context omitted.

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

People protesting ICE do not do so out of political concern, but humanitarian concern. This seems like a minor nitpick as those two are intimately tangled up, but it matters to make the distinction. Standing up for others is not petty or self-serving and that's exactly what this sort of conflation can falsely imply.

It's virtue signaling plain and simple. People who crafted their identities around the current thing in ~2017 are religiously attached to having to be part of the in group and can't let it go, and it inevitably bubbles up like this.

This will no doubt rankle those who align with that group, but they are a pathetic remnant of a terrible period of rampant sociopathy.

Re: Migrating the main Zig repository from GitHub to Codeberg

#765

Post by voidnap »

petcat wrote: post #741
drannex wrote: post #70

Earlier quoted context omitted.

That they don't support a nationalistic paramilitary organization that requires its members to be masked and never known by the public so they cant be held accountable? A nationalized KKK is not something to ever support.

I don't care about ICE one way or another, but calling people "monkeys" and "losers" because they're not building a product to your exact specifications is extremely childish. It seems to me that the real "losers" are the ones spending so much time bitching and moaning about a software platform they don't like.

They aren't "bitching and moaning" they are moving communities and platforms. GitHub is user hostile run by a company with a pattern for that. Alternatives to GitHub exist and supporting them is not "bitching and moaning", it's building and creating. The fact you can't or won't recognize that is telling.

Re: Migrating the main Zig repository from GitHub to Codeberg

#766

Post by tsimionescu »

pier25 wrote: post #756
tsimionescu wrote: post #293

Earlier quoted context omitted.

How is it not? In the not so distant past of the 1930s there were political parties advocating for the mass killing of people with disabilities, or at least the sterilization of those with heritable disabilities. There have been real campaigns in that period that did this type of forced sterilization, especially in some mental hospitals. You'll still find people espousing such beliefs, thankfully at the fringes for n…

Seems weird to me that anyone would frame it like this. In my country (Spain) we put eg ramps for wheelchairs no matter the political party. It's considered a human rights or moral issue, not a political one.

I would bet Franco was not really putting up ramps for disabled people. That a political party is not currently represented in your country (thankfully!!) doesn't mean that the topic is not political.

Re: Migrating the main Zig repository from GitHub to Codeberg

#768

Post by rvcas »

MildlySerious wrote: post #579
aadishv wrote: post #419

Earlier quoted context omitted.

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

People protesting ICE do not do so out of political concern, but humanitarian concern. This seems like a minor nitpick as those two are intimately tangled up, but it matters to make the distinction. Standing up for others is not petty or self-serving and that's exactly what this sort of conflation can falsely imply.

Just because people have a revolutionary fetish and fantasize about being the ones to stop Hitler in 1933 (they would not have) does not make their delusions a reality. These dorks make anti-establishment vibes so lame. Just because you say something doesn’t make it real.

Re: Migrating the main Zig repository from GitHub to Codeberg

#770

Post by ethmarks »

flohofwoe wrote: post #739
ethmarks wrote: post #89

Earlier quoted context omitted.

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

Perhaps you misunderstood my comment. I'm not advocating for vibe-coded AI-generated PRs, and I do think that blanket banning them is pretty reasonable for the reasons you stated.

However, I don't think that banning all AI-generated code is reasonable. Having an LLM generate a couple of functions or a bit of boilerplate in an otherwise manually coded PR should not invalidate it from being accepted if it's helpful.

Post reply on HN