Live data from Hacker News

Migrating the main Zig repository from GitHub to Codeberg

ziglang.org

481–490 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#482

Earlier quoted context omitted.

Eh. Their messaging is immature here, but you don't need to be on the biggest thing - especially when you have a limited set of contributiors, not millions. It is deeply unfortunate that Git won instead of Mercurial and even more unfortunate that GitHub won. GitHub's code review/PR UI is an abomination. We had better tools 15 years ago and GitHub is still a regression. There are tons of reasons to move off it if you'…

I wonder why they did not choose Sourcehut or were they on there at some point?

And I wonder why Codeberg and not a self-hosted Forgejo/Gitea instance? I also don’t like GitHub but this bandwagon to Codeberg doesn’t seem quite alright to me. There must be another way than jumping from one centralized git hosting service to another.

Re: Migrating the main Zig repository from GitHub to Codeberg

#483

Earlier quoted context omitted.

The best free CI system in the world has macOS 15 runners running at 75% capacity due to a background process that consumes 100% CPU [1]. The problem is known to them since May but not fixed half a year later. [1] https://github.com/actions/runner-images/issues/13358

So tell us where is the better free macOS CI provider? I would love to switch to them. That is what I meant by the BEST FREE CI provider. It is not the best if you have money for something better.

Yes I want to know too. Where can I run this test matrix for less than $100/mo unbilled (where half the “cost” is from macOS alone): https://github.com/ncruces/go-sqlite3/wiki/Support-matrix

I built a similar matrix to test wazero (of which I'm a maintainer).

Re: Migrating the main Zig repository from GitHub to Codeberg

#484

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…

Levels of indirection matter.

Re: Migrating the main Zig repository from GitHub to Codeberg

#485

Earlier quoted context omitted.

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

More context/discussion on this: https://discourse.julialang.org/t/ai-generated-enhancements-... (Honestly, that's a lot more patience than I'd be able to give what are mostly AI-generated replies, so kudos to these folk.)

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

Re: Migrating the main Zig repository from GitHub to Codeberg

#486
post #379

Earlier quoted context omitted.

To add to it, the post is still calling people losers and monkeys, so the CoC is clearly not working properly.

Might as well get rid of laws against murder because sometimes people commit murder anyway?

A better analogy would be getting rid of laws against murder if its unevenly applied so people from a particular group always got away with it.

Re: Migrating the main Zig repository from GitHub to Codeberg

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

Monkeys, LLMs, coding agents, AI - are all synonyms for me. Not to be confused with actual living things.

Re: Migrating the main Zig repository from GitHub to Codeberg

#488
post #20

Earlier quoted context omitted.

Look at the absolute state of what they are working on. If they are not losers, they are dispirited clock-punchers who don't care about their craft.

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.

My thinking as well. If people don’t like Microsoft, the last place to start their quixotic adventure would be GitHub.

I don’t use Azure or Windows. At work I push against Teams and actively try to persuade customers not to use Microsoft products. The reason isn’t even ideological - most of the time their products suck and the dev support is bad. VScode may be an exception, I’ll give them that.

Re: Migrating the main Zig repository from GitHub to Codeberg

#489
post #21
post #8

Earlier quoted context omitted.

Github is by far the more woke platform, so I think you missed the point.

There is no sense in which a platform owned by a company which enthusiastically aided a genocide could be termed "woke."

That's why its called woke/rainbow imperialism.

Re: Migrating the main Zig repository from GitHub to Codeberg

#490

Earlier quoted context omitted.

Amusingly, this post violates Zig's own code of conduct: https://ziglang.org/code-of-conduct > Examples of behavior that contribute to creating a positive environment include: > - Using welcoming and inclusive language. > - Being respectful of differing viewpoints and experiences. > - Showing empathy towards others. > - Showing appreciation for others’ work.

Codes of conduct are perfunctory virtue signalling. Do we really need a unique set of "rules" posted on every project? They all sound like they were written by the same AI bot. That said, it's telling that the Zig leader can't even follow them. The rules should just be taken down.

CoCs are useful at least for autists. They don’t have to be unique for every project.

A good CoC for most projects is: “tl;dr: don’t act rude or illegal”, followed by a detailed explanation of what is rude or illegal, ending with “project maintainers have final discretion”.

Post reply on HN