Re: [gentoo-dev] arb has been merged into flint

2024-03-21 Thread Michael Orlitzky
On Thu, 2024-03-21 at 16:44 +, Andrey Grozin wrote:
> sci-mathematics/arb has been merged into sci-mathematics/flint, see
> https://github.com/flintlib/arb
> Is it time to last-rite sci-mathematics/arb?
> 

Yeah, I was waiting for flint-3.x to go stable first since arb is
stable. But until recently flint-3.x was broken by a missing pkg-config
file. It should be fixed in flint-3.1.0 added ~11 days ago.




[gentoo-dev] arb has been merged into flint

2024-03-21 Thread Andrey Grozin

sci-mathematics/arb has been merged into sci-mathematics/flint, see
https://github.com/flintlib/arb
Is it time to last-rite sci-mathematics/arb?

Andrey



Re: [gentoo-dev] RFC: banning "AI"-backed (LLM/GPT/whatever) contributions to Gentoo

2024-03-21 Thread Michał Górny
On Tue, 2024-02-27 at 15:45 +0100, Michał Górny wrote:
> Given the recent spread of the "AI" bubble, I think we really need to
> look into formally addressing the related concerns.  In my opinion,
> at this point the only reasonable course of action would be to safely
> ban "AI"-backed contribution entirely.  In other words, explicitly
> forbid people from using ChatGPT, Bard, GitHub Copilot, and so on, to
> create ebuilds, code, documentation, messages, bug reports and so on for
> use in Gentoo.
> 
> Just to be clear, I'm talking about our "original" content.  We can't do
> much about upstream projects using it.

Since I've been asked to flesh out a specific motion, here's what I
propose specifically:

"""
It is expressly forbidden to contribute to Gentoo any content that has
been created with the assistance of Natural Language Processing
artificial intelligence tools.  This motion can be revisited, should
a case been made over such a tool that does not pose copyright, ethical
and quality concerns.
"""

This explicitly covers all GPTs, including ChatGPT and Copilot, which is
the category causing the most concern at the moment.  At the same time,
it doesn't block more specific uses of machine learning to problem
solving.

Special thanks to Arthur Zamarin for consulting me on this.

-- 
Best regards,
Michał Górny



signature.asc
Description: This is a digitally signed message part