Hi Hugo,
Hugo Buddelmeijer via "Development of GNU Guix and the GNU System
distribution." <[email protected]> writes:
On 9/5/26 17:29, Ian Eure wrote:
Hi Thanos,
I highly doubt Guix does not already have drive-by
contributions where
LLMs were used.
Not from me (I did check thoroughly after I learned this was so
controversial).
There are two issues:
- Should Guix allow contributions including LLM output?
- Should Guix label software it packages as containing LLM
output?
This conversation is about the latter, but people keep bringing
in
discussion about the former. They are different problems which
require different discussion, and different solutions.
I agree these are separate.
The problem is that "labeling packages containing LLM
output"-problem
is dependent on resolving "including LLM output in
Guix"-problem.
Because what would be the point of labeling if Guix itself can
include
LLM output? Technically nothing, we would just label the `guix`
package. But in practice, who would both use Guix and filter
out the
LLM-flagged packages, when that would mean filtering out Guix?
Can you point me to any proposal to use the property to "filter
out" packages? I haven’t propsed this, and am not aware of anyone
else having done so. I believe I suggested a tool to report on
the packages using the property, and was envisioning something
like a list of packages containing LLM output, and perhaps a
percentage (of packages in a given profile) it represents.
As a practical matter, you cannot "filter out" such packages, as
it would produce an unusable system, because it would contain the
Linux kernel.
I do agree that it would be somewhat ridiculous to include Guix in
the list, and also that my personal preference is for Guix to
forbid LLM contributions to its codebase and label packages
containing them.
Therefore, discussing the labeling-problem presupposes that the
LLM-output-in-Guix-problem will be settled in the "no"
direction. At
least, I interpreted Untrusem's opening message in that way.
So even though these are different problems, with different
solutions,
it is natural that the problems become entangled if we try to
solve
them in that order.
These are both moot for the reasons given above.
-- Ian
