Live data from Hacker News

Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

gitlab.redox-os.org

141–150 of 504 posts

Re: Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

#141
In my experience with the right set of guardrails LLMs can deliver high quality code. One interesting aspect is doing security reviews and formal verification with agents that is proven to be very useful in practice.

https://www.datadoghq.com/blog/ai/harness-first-agents/

Re: Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

#142

I think we will be getting into an interesting situation soon, where project maintainers use LLMs because they truly are useful in many cases, but will ban contributors for doing so, because they can't review how well did the user guide the LLM.

Some sort of LLM audit trail is needed (containing prompts used, model identifier and marking all code written by LLM). It could be even signed by LLM providers (but that wouldn't work with local models). Append only standard format that is required to be included in PR. It wouldn't be perfect (e.g. deleting the log completely), but it might help with code reviews. This would probably be more useful to help you see w…

This would be a useful feature to bake into the commits generated by agents. Heck you don’t even need to wait — just change your prompt to tell it to include more context in its commit messages and to sign them as Claude rather than yourself…

Re: Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

#143
post #56

Earlier quoted context omitted.

That's eliminating of an important part of open source culture.

I don't think it really is - drive-by changes have been a net burden on maintainers long before LLMs started writing code. Someone who wants to put in the work to become a repeat contributor to a project is a different story.

Hard disagree. Drive by's were the easiest to deal with, and the most welcome. Especially when the community tilted more to the side of non-amateurs and passionate people.

Re: Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

#144
I think clients who care about getting good software will eventually require that LLMs are not directly used during the development.

I think one way to compare the use of LLMs is that it is like comparing a dynamically typed language with a functional/statically typed one. Functional programming languages with static typing makes it harder to implement the solution without understanding and developing an intuition of the problem.

But programming languages with dynamic typing will let you create a (partial) solutions with a lesser understanding the problem.

LLMs takes it even more easy to implement an even more partial solutions, without actually understanding even less of the problem (actually zero understanding is required)..

If I am a client who wants reliable software, then I want an competent programmer to

1. actually understand the problem,

2. and then come up with a solution.

The first part will be really important for me. Using LLM means that I cannot count on 1 being done, so I would not want the contractor to use LLMs.

Re: Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

#145
Hiring managers could help here: the only thing that should count as a positive when - if - you feel like someone's open source contributions are important for your hiring decision is to make it plain that you only accept this if someone is a core contributor. Drive-by contributions should not count for anything, even if accepted.

Re: Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

#146
post #6

I think this is a reasonable decision (although maybe increasingly insufficient). It doesn't really matter what your stance on AI is, the problem is the increased review burden on OSS maintainers. In the past, the code itself was a sort of proof of effort - you would need to invest some time and effort on your PRs, otherwise they would be easily dismissed at a glance. That is no longer the case, as LLMs can quickly g…

For well-intended open source contributions using GenAI, my current rules of thumb are: * Prefer an issue over a PR (after iterating on the issue, either you or the maintainer can use it as a prompt) * Only open a PR if the review effort is less than the implementation effort. Whether the latter is feasible depends on the project, but in one of the projects I'm involved in it's fairly obvious: it's a package manager…

My rules of thumb is much shorter: don't.

The open source world has already been ripped off by AI the last thing they need is for AI to pollute the pedigree of the codebase.

Re: Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

#147

Earlier quoted context omitted.

Yep, that’s why my forks of all their libraries with bugs fixed such as https://github.com/pmarreck/zigimg/commit/52c4b9a557d38fe1e1... will never ever go back to upstream, just because an LLM did it. Lame, but oh well- their loss. Also, this is dumb because anyone who wants fixes like this will have to find a fork like mine with them, which is an increased maintenance burden.

Hugely unpopular opinion on HN, but I'd rather use code that is flawed while written by a human, versus code that has been generated by a LLM, even if it fixes bugs. I'd gladly take a bug report, sure, but then I'd fix the issues myself. I'd never allow LLM code to be merged.

Any thoughts on why you have that preference?

Re: Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

#148
post #129

Earlier quoted context omitted.

Yep, that’s why my forks of all their libraries with bugs fixed such as https://github.com/pmarreck/zigimg/commit/52c4b9a557d38fe1e1... will never ever go back to upstream, just because an LLM did it. Lame, but oh well- their loss. Also, this is dumb because anyone who wants fixes like this will have to find a fork like mine with them, which is an increased maintenance burden.

just like... don't tell them a LLM did it?

That's a dick move because you are opening up an open source project to claims of infringement without recourse.

Why on earth would you force stuff on a party that has said they don't want that?

Re: Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

#149

Earlier quoted context omitted.

That’s such a silly take. “Our approach is harness-first engineering: instead of reading every line of agent-generated code, invest in automated checks that can tell us with high confidence, in seconds, whether the code is correct. “ that’s literally what The whole industry has been doing for decades, and spoiler: you still need to review code! it just gives you confidence that you didn’t miss anything. Also, without…

So you read the three-part series of blogs that are packed in details in 3 minutes after I shared the link and put yourself into a position of entitled opinion and calling my position a silly take? Sure thing.

Obviously not, I skimmed through the first two, and it’s not difficult to assess that it’s just fluff that sounds interesting but is actually not.

Re: Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

#150

Earlier quoted context omitted.

> That being said, to outright ban a technology in 2026 on pure "vibes" is not something I'd say is reasonable. To outright accept LLM contributions would be as much "pure vibes" as banning it. The thing is, those that maintain open source projects have to make a decision where they want to spend their time. It's open source, they are not being paid for it, they should and will decide what it acceptable and what is n…

Your reply is based on a 100% bad-faith, intellectually dishonest interpretation of the comment to which you’re replying. You know that. Nobody claimed that LLM code should be outright accepted. Also, nobody claimed that open source maintainers have the right to accept or decline based on whichever criteria they choose. To always come back to this point is so…American. It’s a cop-out. It’s a thought-terminating clich…

> Nobody claimed that LLM code should be outright accepted

Not directly, but that's the implication.

I just did not pretend that was not the implication.

> always come back to this point is so…American

I am not American.

To be frank, this was the most insulting thing someone ever told me online. Congratulations. I feel insulted. You win this one.

> If you aren’t interested in discussing the merits of the decision, don’t bother joining the conversation.

I will join whatever conversation I want, and to my desires I adressed the merits of the discussion perfectly.

You are not the judge here, your opinion is as meaningless as mine.

> Most of all, I’m sick of the patronising “don’t forget that you can fork the project!” What’s the point of saying this?

That sounds like a "you" problem. You will be sick of it until the end of time, because that's the final right answer to any complaints of open source project governance.

> You aren’t adding anything to the conversation. You’re being snarky.

I disagree. In fact, I contributed more than you. I adressed arguments. You went on a whinging session about me.

Post reply on HN