Live data from Hacker News

Migrating the main Zig repository from GitHub to Codeberg

ziglang.org

601–610 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#601

Earlier quoted context omitted.

> Microsoft can afford to make these tools better; they just dont care. They certainly have enough money, but can they actually improve it? Who could step in? How? Do you think more hiring would help? Or would it make it worse? Leadership could try and step in by force. But they'd have to undermine whoever is running github actions to do so. It would be a huge, risky political move. And for what? Are they actually lo…

> Are they actually losing customers over gh actions? I doubt it. Did you read the article?

Correct me if I'm wrong, but I doubt Zig was ever a paying customer of github.

Re: Migrating the main Zig repository from GitHub to Codeberg

#602

Earlier quoted context omitted.

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

Maybe this guy is it: the actual worst coder in the world

Well that's the origin story for the main character on Solo Leveling, so...

Actually, I probably shouldn't make this comment publicly. It could cause another 3-5 programmer-isekai anime series.

Re: Migrating the main Zig repository from GitHub to Codeberg

#603

Earlier quoted context omitted.

> I'm happy to see the move. Codeberg is probably a more stable/long-term solution than SourceHut as the founder is slightly unhinged What's this about?

Maybe the incident: https://news.ycombinator.com/item?id=41837782 https://dmpwn.info/

Should have made some popcorn before clicking the link.

The drama in the open source community is no less fun than YouTubers or celebrities.

Great way to begin Thanksgiving.

Re: Migrating the main Zig repository from GitHub to Codeberg

#604

Earlier quoted context omitted.

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

Maybe this guy is it: the actual worst coder in the world

A question I only dare to ask myself in these times of LLM: Is this even a real human being or already an instance of an ‘agentic system’?

Re: Migrating the main Zig repository from GitHub to Codeberg

#607

Earlier quoted context omitted.

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 agree that there is a steep learning curve compared to Github pull requests or Gitlab merge requests, but like many things the steep learning curve actually hides a very powerful tool. A famous example is the Linux Kernel, a project of such a size that simply can not work with the Github/Gitlab model.

I would use the word "exception" rather than "example".

I doubt the next generation of programmers will have any idea what it means to contribute code "by mailing list".

Re: Migrating the main Zig repository from GitHub to Codeberg

#608

Earlier quoted context omitted.

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

I had $1000 in Claude credits and went to town. Yes, I made mistakes along the way.

It's truly astonishing to me that your account has existed since 2008 and you decided to pull this.

As a troll job for the lulz it is some amazing work. Hats off

Re: Migrating the main Zig repository from GitHub to Codeberg

#609

Calling the people who work on GitHub “losers” is not cool.

Is it really a surprise that the project that declared a blanket ban on LLM-generated code is also emotional and childish in other areas?

Given my own experience working on compiler stuff with LLM, I'd say it's a very good decision.

LLMs jump at the first opportunity to use regex for EVERYTHING instead of doing proper lexing/parsing, for example. You need to repeatedly tell it not to use regex. In the end you might as well hand write your code, because you actually know how it works, unlike a clueless LLM.

Re: Migrating the main Zig repository from GitHub to Codeberg

#610

The arguments seem... really weak ? They just linked to some random obscure bug and an obscure OS not being supported in containers (and I'd imagine solution being "just bring your own runner"). I have... questions about Zig leadership

> They just linked to some random obscure bug

A bug that they have encountered, have reported, with a description of the root cause, and has not been fixed. A bug that has wasted their time and money.

Post reply on HN