Earlier quoted context omitted.
And this kind of behaviour is a red flag for people who actually go digging through the GitHub profile. Like techical people in the last stages of a hiring process.
Is this aspirational or anecdotal, or is this what technical people in FANNG/tech actually do? I hope it's true but it strikes me as the kind of thing that most technical people involved in the interview process would be too tired/overworked to do.
Migrating the main Zig repository from GitHub to Codeberg
641–650 of 952 posts
Re: Migrating the main Zig repository from GitHub to Codeberg
#642They'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…
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.
The post ends with an indictment of capitalism.
Re: Migrating the main Zig repository from GitHub to Codeberg
#643Very 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
#644I'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.
Re: Migrating the main Zig repository from GitHub to Codeberg
#645Earlier 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.
Re: Migrating the main Zig repository from GitHub to Codeberg
#646Earlier quoted context omitted.
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
Even after the public call-outs you keep dropping blatant ads for your blog and AI in general in your PRs; there's no other word for them than ads. This is why I blocked you on the OCaml forum already. When I was a kid, every year I'd get so obsessed about Christmas toys that the hype would fill my thoughts to the point I'd feel dizzy and throw up. I genuinely think you're going through the adult version of that: you…
Re: Migrating the main Zig repository from GitHub to Codeberg
#647Re: Migrating the main Zig repository from GitHub to Codeberg
#648Earlier quoted context omitted.
As a side note, people said that not posting anymore on Twitter and leaving Reddit was also a death sentence for Zig. Time has passed and we're still alive so far, while in the meantime both platforms have started their final journey towards the promised lands of the elves. They won't get there tomorrow or the next month, but I'm sure there has been a time where people started moving from Sourceforge to GitHub and so…
I hope the best for Zig, Loris. But even if Zig will survive and prosper (I hope for both), still I believe this is not a sounding decision and not the right attitude. I hope I'm wrong, but I wanted to share with you my reasoning. Here you are moving away from the open source marketplace AND from your main revenue stream. It's not similar to not posting anymore to Twitter. A better parallel would be not posting anymo…
> A better parallel would be not posting anymore on Hacker News anything Zig related, in terms of potential outcome.
I've been thinking about this lately and in my experience (having seen the effect of HN posts in the past when Zig was smaller vs now) the community is already big and vibrant enough that an HN post alone doesn't do too much of a difference. To be clear, I don't think that HN is losing relevance (unlike all the other big platforms mentioned earlier in this conversation), but our situation has changed.
People now are more and more learning about Zig though cool Zig projects, not by looking at yet another superficial language comparison blog post, which is the kind of content that tends to get to the top of HN more often than not.
More in general I think that your point about not pulling away from all the markeplaces of ideas is valid, but most of those marketplaces are not as good as they claim to be and we have the luxury to run a project that has a strong community connected to it, meaning that we won't be starved of attention or contributors by moving away from GitHub.
This whole situation has an interesting parallel with what's happening in our community wrt chat platforms, if we happen to be at the same tech event in person I'll be happy to share with you all the details :^)
Re: Migrating the main Zig repository from GitHub to Codeberg
#649Earlier quoted context omitted.
I've seen this in other places as well. The bottleneck is not coding or creating a PR, the bottleneck is the review.
This ought to be automated using AI. It could first judge whether the PR is frivolous, then try to review it, then flag a human if necessary. The problem is that Github, or whatever system hosts the process, should actively prevent projects from being DDOS-ed with PR reviews since using AI costs real money.
The established projects are resistant to YOLOing their projects and running them on complete LLM autopilot.
You are proposing a completely different development style.
Fork Ocaml to Oca-LLM and Julia to Jul-AI and see how it goes.
Re: Migrating the main Zig repository from GitHub to Codeberg
#650Very 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…