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

941–950 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#941

Post by cookiengineer »

darthwalsh wrote: post #921
cookiengineer wrote: post #131

Earlier quoted context omitted.

> dmpwn Kinda horrible to see that the 4chan bigots use the same strategy to try to discredit drew devault, and implying things of ownership through their own created fake accounts and smearing campaigns. Pretty much all allegations on that page are circumstantial evidence, especially the bot ownership parts that sircmpwn even took down while citing those bigots using it to scrape child porn. And then the dude of dmp…

Do you have evidence the accounts are fake? That all those accounts are fake?

> Do you have evidence the accounts are fake? That all those accounts are fake?

As if you could cryptographically verify any ownership, let alone any source that was being posted on chan boards.

You act as if nobody ever lies on the internet. The solution to your emotional distress is to start to not give a fvck.

Re: Migrating the main Zig repository from GitHub to Codeberg

#943

Post by gherkinnn »

dreamcompiler wrote: post #629
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.

I disagree with the new rule. The old one is fine and applies to LLMs.

Vibing and good enough is a terrible combination, as unknown elements of the system grow at a faster rate than ever.

Using LLMs while understanding every change and retaining a mental model of the system is fine.

Granted, I see vibe+ignorance way too often as it is the short-term path of least resistance in the current climate of RTO and bums in seats and grind and ever more features.

Re: Migrating the main Zig repository from GitHub to Codeberg

#944

Post by GlacierFox »

igor47 wrote: post #877
andrew_ wrote: post #764

Earlier quoted context omitted.

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.

Though you will no doubt assume you're getting downvoted because you're speaking truth to sociopaths, I just wanted to say I'm downvoting you because your comment violates multiple HN guidelines. Reminder, those are here: https://news.ycombinator.com/newsguidelines.html It's disappointing to see such a long-term community member engage so thoughtlessly. I know the guidelines also say I should just flag and move on, b…

Thank you for your service /s

Re: Migrating the main Zig repository from GitHub to Codeberg

#945

Post by balamatom »

strix_varius wrote: post #864
stocksinsmocks wrote: post #840

Earlier quoted context omitted.

Is that not also true of human written software that costs more per hour than the monthly cost of a coding agent? Developers are expected to ship enterprise software with defects that would land you in court if you made equivalent mistakes designing a water treatment plant or bridge. I get the “AI sucks” argument from a programmers point of view. It’s weird looking and doesn’t care about “code smells” or about rearra…

> Is that not also true of human written software that costs more per hour than the monthly cost of a coding agent? The difference is that a human can learn and grow. From your examples, it sounds like we're talking about completely different applications of code. I'm a software engineer who is responding to the original topic of reviewing PRs full of LLM slop. It sounds like you are a hobbyist who uses LLMs to vibe…

The difference is that a human can be on the hook. A Microsoft or a Meta can't.

Re: Migrating the main Zig repository from GitHub to Codeberg

#946

Post by 59nadir »

lII1lIlI11ll wrote: post #517
SoKamil wrote: post #9

> As a bonus, we look forward to fewer violations (exhibit A, B, C) of our strict no LLM / no AI policy, which I believe are at least in part due to GitHub aggressively pushing the “file an issue with Copilot” feature in everyone’s face. Also, the big part of that issue is people are incentivized to make their GitHub profile look good to have a higher chance of getting hired. Any non-mainstream platform is not as com…

> Also, the big part of that issue is people are incentivized to make their GitHub profile look good to have a higher chance of getting hired. Do people really get hired for bunch of PRs to random repos on GH or just think they will? My impression has always been that GH profile is completely ignored by both recruiters and interviewers.

GitHub (or any repo host) is/was pretty much the only thing I care about when looking at people's applications, because it's the only thing that has anything to do with incontrovertible reality. I certainly don't give a shit about whether or where you went to university and it's unlikely that I value your tenure at some company highly unless I know the people in that company.

Re: Migrating the main Zig repository from GitHub to Codeberg

#947

Post by 59nadir »

yoyohello13 wrote: post #6
bitbasher wrote: post #2

I'm happy to see the move. Codeberg is probably a more stable/long-term solution than SourceHut as the founder is slightly unhinged (but love what he has built). Honestly, either would have been great choices. More opensource projects should move off GitHub. I moved off it myself.

I’m pretty sure Drew has stepped away from SourceHut. It’s kind of a bummer SourceHut stuck so stubbornly to mailing list only workflows. Everything else about the platform is great.

I think it's probably a great filter for getting people who are actually interested in contributing. Lowering the bar for contribution hasn't really turned out to be useful in any real sense, in my experience.

Re: Migrating the main Zig repository from GitHub to Codeberg

#948

Post by 59nadir »

joelreymont wrote: post #895
antirez wrote: post #494

Wow. I think that's a serious mistake. Maybe GitHub is no longer so great and snappy but nowhere to justify moving something that needs: 1. Money, 2. Exposition, to something obscure just because it's a bit better. It's Git with an UI anyway, there isn't such large difference. I don't care about the fact the post is harsh: it's the content that it is broken from my POV because. It is absolutely legit to do something…

Moving away from Github may end up killing the project.

They will spend less time on PRs from LLM spammers like you (for anyone who wonders, just Google his username and check the PRs made to OCaml/Zig/Julia), so if anything they freed up resources.

Re: Migrating the main Zig repository from GitHub to Codeberg

#949

Post by baranul »

manquer wrote: post #15
SoKamil wrote: post #9

> As a bonus, we look forward to fewer violations (exhibit A, B, C) of our strict no LLM / no AI policy, which I believe are at least in part due to GitHub aggressively pushing the “file an issue with Copilot” feature in everyone’s face. Also, the big part of that issue is people are incentivized to make their GitHub profile look good to have a higher chance of getting hired. Any non-mainstream platform is not as com…

Issues and Pull requests are only optional features . Open source projects could always use GitHub as just git host/mirror like how torvalds/linux is setup .

This situation has a strong scam smell. Zig has many thousands of open issues on GitHub (nearly 3,500 issues) that appears ripe to get mostly ignored, closed without resolution, or plain disappear from public view. As pointed out, it is correct to shine a light on and review the situation of issues at Zig's GitHub.

The issues for this language are particularly and unlikely to be followed up on or re-posted at Codeberg. Deceptions or smoke screen claims, can trick the public and sponsors or create false impressions about how far away Zig is (after 9 plus years) from actually being production ready and reaching 1.0.

Re: Migrating the main Zig repository from GitHub to Codeberg

#950

Post by baranul »

mmaunder wrote: post #208

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…

This is indeed the virtue signaling trap. It then calls into question of if such public figures or organizations are really as ethical, as they claim to be or if the reason given is actually valid.

Especially, upon further scrutiny, if that leadership is involved in dirt or makes conflicting statements. The uncovered hypocrisy or deception, greatly undermines public trust and how the foundation is viewed.

Post reply on HN