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

681–690 of 952 posts

Re: Migrating the main Zig repository from GitHub to Codeberg

#681

Post by ulbu »

ljm wrote: post #672
rdtsc wrote: post #628

Earlier quoted context omitted.

My favorite of his https://x.com/joelreymont/status/1990981118783352952 > Claude discovered a bug in the Zig compiler and is in the process of fixing it! ...a few minutes later... https://github.com/ziglang/zig/pull/25974 I can see a future job interview scenario: - "What would you say is your biggest professional accomplishment, Joel?" - "Well, I almost single-highhandedly drove Zig away from Github"

Those overly enthusiastic responses from the LLM are really going to do a number on people's egos.

people already go psychotic on LLMs lol

Re: Migrating the main Zig repository from GitHub to Codeberg

#682

Post by franktankbank »

GaryBluto wrote: post #97
davidsainez wrote: post #71

Earlier quoted context omitted.

Not wanting to review and maintain code that someone didn't even bother to write themselves is childish?

Denying code not on it's merits but it's source is childish.

Brandolini's law

Usually I hate quoting "laws" but think about it. I do agree that it would be awesome if we scrutinize 10+k lines of code to bring big changes but its not really feasible is it?

Re: Migrating the main Zig repository from GitHub to Codeberg

#683

Post by franktankbank »

kronks wrote: post #365
DeepYogurt wrote: post #41

Exhibit A is a github user joelreymont who seems to be making a habit of this behavior. He did a very similar spam on ocaml github.com/ocaml/ocaml/pull/14369

This is absolutely insane. If you look at joelreymonts recent activity on GitHub, there is what I would consider an bomb of AI slop PRs with thousands and thousands of changes, AI generated summaries/notes, copyright issues, you name it. People like this are ruining open source for the rest of us, and those poor maintainers really have their work cut out for them sorting through this slop.

What are you going to do? You can't expect some sort of self-censorship based on righteousness and morals. I see joelreymonts as a pioneer planting chestertons fences. LET THE MAN COOK!

Re: Migrating the main Zig repository from GitHub to Codeberg

#684

Post by networked »

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.

> For coding, you can use AI to write your code. For software engineering, you can't.

This is a pretty common sentiment. I think it equates using AI with vibe-coding, having AI write code without human review. I'd suggest amending your rule to this:

> For coding, you can use AI. For software engineering, you can't.

You can use AI in a process compatible with software engineering. Prompt it carefully to generate a draft, then have a human review and rework it as needed before committing. If the AI-written code is poorly architected or redundant, the human can use the same AI to refactor and shape it.

Now, you can say this negates the productivity gains. It will necessarily negate some. My point is that the result is comparable to human-written software (such as it is).

Re: Migrating the main Zig repository from GitHub to Codeberg

#685

Post by otabdeveloper4 »

testdelacc1 wrote: post #500
otabdeveloper4 wrote: post #478

Earlier quoted context omitted.

> A complete lack of empathy... ...for one of the largest of most toxic IT companies in the history if IT? Spare me, please. Microsoft is the last legal entity in the universe you should feel empathy for.

He’s talking about people who wrote the code. Those are actual people. You’ve abstracted them away as “Microsoft” and decided they don’t deserve any empathy.

> You’ve abstracted them away as “Microsoft”

No, they did this when they joined Microsoft, not me. You don't get to be "an actual person" when you're paid by Microsoft to write Microsoft code for a Microsoft product.

Re: Migrating the main Zig repository from GitHub to Codeberg

#686

Post by victorbjorklund »

poulpy123 wrote: post #595
Lyngbakr wrote: post #589

Earlier quoted context omitted.

In a submission to OCaml, when asked why the files he submitted list someone else as an author he says, > Beats me. AI decided to do so and I didn't question it.° I find that sort of attitude terrifying. ° https://github.com/ocaml/ocaml/pull/14369#issuecomment-35573...

I cannot believe it's not trolling

Yeah, either this guy's totally insane or it could even be somebody who's an AI skeptic who's just flooding projects with really dumb PRs just to show the risks and get people skeptical about the use of AI in open source (Takes on my folie hat)

Re: Migrating the main Zig repository from GitHub to Codeberg

#688

Post by spiffyk »

PunchyHamster wrote: post #600

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

I mean, if they've been regularly hitting said bug, does it matter how obscure it is? If I were using a tool that was broken for me personally, I'd be ditching it, too; with absolutely zero regard to whether the tool works for others.

Re: Migrating the main Zig repository from GitHub to Codeberg

#689

Post by alexrp »

ivanjermakov wrote: post #663
woodruffw wrote: post #34

I don’t have strong opinions about Zig or Codeberg, but I find the self-described status of the latter’s infrastructure concerning[1]: they’re seemingly running faulty hardware in production with limited redundancy, and are actively soliciting more hardware of unknown quality/reliability/provenance from their community. This is cool for a hobbyist project, but it doesn’t scream “stable platform for a post-GitHub worl…

I would like to know the reasoning why Zig chose Codeberg instead of self-hosting something like gitea or forgejo. Seems to be a safer bet to limit hosting related weaknesses and unknowns, considering move from github being quite disruptive already.

We always have the option of exiting Codeberg to a self-hosted Forgejo instance if that should become necessary for some reason. (Not that I expect it will, considering Codeberg is a non-profit.)

We do self-host all our CI machines.

Re: Migrating the main Zig repository from GitHub to Codeberg

#690

Post by latexr »

brabel wrote: post #567
testdelacc1 wrote: post #302

Earlier quoted context omitted.

Treating people poorly isn’t a quirk of nerd culture. Even Linus doesn’t think so. > This is my reality. I am not an emotionally empathetic kind of person and that probably doesn't come as a big surprise to anybody. Least of all me. The fact that I then misread people and don't realize (for years) how badly I've judged a situation and contributed to an unprofessional environment is not good. > This week people in our…

But it is very common. I was watching a YouTube video by Casey Muratori where he says anyone using a garbage collected language is stupid and just not a good programmer! Just like that he offended 95% of our industry. He even said people who use smart pointers are just beginners and haven’t learned the true ways yet, offending the remaining 5%. And this sort of comment and people supporting those opinions are extreme…

> But it is very common.

It’s important to keep in mind that “common” doesn’t mean “right” or “positive”. Lots of things, such as CFCs in aerosol spray cans and radioactive elements in household items used to be common.

I’m not saying that’s what your argument is—on the contrary, I get the feeling you’re making a statement and not justifying it—but still think it’s an important point to not forget.

> I was watching a YouTube video by Casey Muratori where

Do you remember what video it was? That’s a bit disappointing and I’d like to see for myself to gather context and tone. From all I’ve seen from Casey I’d expect gentle bashing of languages but not groups of people. Though I mostly have seen Casey on his own teaching or being interviewed one-on-one, I get the feeling he might be different in podcasts.

Post reply on HN