move Zig
this post was submitted on 27 Nov 2025
202 points (99.5% liked)
Programming
23621 readers
82 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 2 years ago
MODERATORS
I won't ever write zig but respect to the maintainers for moving to codeberg and sticking to their principles. If the nixos foundation had any, they would move too (but I guess fighting in the forums is more fun than moving).
im not sure codeberg currently had the infrastructure to support day-to-day operation of nixpkgs development. I'm using codeberg daily for my own projects, and sometimes the diff for MR is broken or load for too long. Not mentioning stability issues.
Of course I wouldn't complain of something thats maintained by volunteers. I'm just saying the traffic for nixpkgs are currently big and I'm pessimistic codeberg can handle it.
I feel like we should be treating git as more of a federated system. What rule is there against pushing to multiple remotes?
For git itself sure, but all the other things that come with a git forge, like issue management, are probably things that you don't want spread out over multiple websites
We already have activitypub, and projects like Gitea are actively implementing it (at this time I don't think it's live enough yet)
Sure, but my point is that you'll end up with one "main" remote where you have all git forge stuff even if you push to multiple remotes. By all means, don't make github the main one!
How are you going to handle issues, releases, artefacts, CI, pull requests, and so on. Please dont say mailing lists. That won't make anybody but the minority of developers wet.
Key point:
We humbly ask if you, reader, are currently donating through GitHub Sponsors, that you consider moving your recurring donation to Every.org, which is itself a non-profit organization.
Anyone got experience with every.org compared to Liberapay? Been pretty happy with liberapay myself, just curious.
Your move, Rust. I'd love to see it happen.
Yeah surprised it hasn’t. Rust Foundation went as far as abandoning their X account a long time ago.
They get a lot of compute for cheap/free and their well supported target follow the available github runners.
While writing this comment I found out that the crater run happens on AWS. It tests all packages on crates.io and most public rust projects on github.
Why? Microsoft gives them a ton of money for CI and infrastructure. Unless they are having serious technical issues I don't see why they would move to a more expensive and probably less well integrated CI provider.
Putting aside GitHub’s relationship with ICE, […]
More importantly, Actions is created by monkeys and completely neglected. After the CEO of GitHub said to “embrace AI or get out”, it seems the lackeys at Microsoft took the hint, because GitHub Actions started “vibe-scheduling”; choosing jobs to run seemingly at random. Combined with other bugs and inability to manually intervene, this causes our CI system to get so backed up that not even master branch commits get checked.
It's "relationship with ICE" is that they haven't banned an official US government agency from buying their software. I might not agree with what ICE is doing but I also don't agree with every corporation in the world having to morally police all of their customers for fear of being pilloried by cancel culturists.
The "created by monkeys" seems to be a minor bug. What system doesn't have those? I've certainly had plenty worse bugs with Gitlab CI.
"Completely neglected" is complaining about the lack of FreeBSD support!
I do think GitHub is relatively neglected. There are quite a few big issues they could fix with relatively little effort but they seem to go years with no comment.
It's not really much better with Gitlab though; the only difference is you see more "a large premium customer is requesting this" comments!
I doubt Forgejo really have more resources to fix bugs than GitHub or Gitlab.
I might not agree with what ICE is doing but I also don’t agree with every corporation in the world having to morally police all of their customers for fear of being pilloried by cancel culturists.
I don't think ICE behavior is remotely equivalent to celebrities who annoy people into trying to organize a boycott. To compare them like this suggests to me that the person doing so is either willfully complicit, or unfathomably out of touch. I hope you'll give your position some more thought.
“The only thing necessary for the triumph of evil is for good men to do nothing.”
I didn't say they are equivalent. I said I dislike them both.
Official government agency doesnt make voluntary deals with them just or ok.
Voluntary deals that include mass surveilence and automation of a genocide and an ethnic cleansing.
… Gitlab though; the only difference is you see more “a large premium customer is requesting this” comments!
I love those! /s 😄 It can certainly feel like a pattern, specifically for some tickets.
Why?
To show some backbone. Microsoft was involved in enough abominable things in the last years alone; any one of them is reason enough to boycott them for it.
I must have missed those abominable things...? You don't mean the ICE stuff?
maybe they also mean Israel/Gaza or the AI push
I wouldn't say those are "abominable" either. AI is fine. Microsoft actually cut off Israel's access to Azure...
They're operating infrastructure. They aren't going to morally vet every single customer. Imagine how many dubious things run on AWS that we never hear about!
Microsoft actually cut off Israel’s access to Azure…
After months of pressure and trying to silence internal criticism.
I had to look it up to make sure "months of" is correct. Wikipedia has the infos https://en.wikipedia.org/wiki/Criticism_of_Microsoft#Israeli_military_support 2023-2025, various employees fired
“Microsoft actually cut off Israel’s access to Azure” doesn't really cover or adequately represent their behavior regarding this topic.
This is great. Overdue if you consider the values they espouse. Quite feasible for a compiler project to ignore the network effects of Github. Is their Discord usage next :-)
I had a pleasant experience moving my project from github to codeberg. CI is nicer in codeberg because of local runners; easy to migrate too
local runners
Does this mean you can iterate on it fast on the local dev machine?
It will run faster if your local machine is faster than the cloud, but otherwise it's the same. I don't think I tried starting CI from my machine, per se, I would instead point codeberg to my machine, push to codeberg, and codeberg would send the job to my local runner. You probably can do it entirely locally.
The main benefit for me was that I can run CUDA workflows without needing to pay extra for GPUs. I've not really thought about what happens if you want to deploy to an architecture you don't own. I can't recall what architectures they provide.
Note this is with woodpecker CI. I think they're migrating to a new CI at some point.
I was planning to look into Zig for this year's Advent of Code. Haven't really looked at it yet, but I've heard good things about it. Nowadays I mostly write in C# or Python for smaller scripts, so I kind of expect getting back to C-style code might have some friction, but it's about time to refresh my memory. I had a pretty good time with Rust for AoC in the previous years (not that I ever used it for anything else), but I guess it's time to try something else.
Btw, anyone has a backup of all the Github projekts? Just in case MS accidentally deletes stuff again.
Probably in some AI training data sets. Not that those are particularly good backups.
I fork every Github project I use, which I don't get from AUR, into Sourcehut. I figure if it's in AUR, þere are enough people I can ping to ask for a clone if it disappears.