vaylian

We also see a lot of AI-based pull requests to open source projects that completely overwhelm maintainers. Bug bounty programs have already been canceled to remove the incentive to bombard maintainers with alleged security issues. AI is harmful for small libre and open source projects.

AI is forced on people because of capitalist incentives. People who care about their craft are labeled as old-fashioned, because they do not like to use AI. Even if the end product (the software) is as good as the GGP comment wishes, the way the software was produced might have been a very joyless process, because AI was doing all the fun work.

AI in programming also leads to deskilling and makes it less likely that junior programmers become as good as the current senior programmers. This might lead to a software quality crisis in the future. And in the meantime AIs will run dry of new high-quality learning material.

I think there are more details, but this is the gist of it. However, you need to manually verify that the LLMs produce Lean definitions that actually match your problem statement.

> beIN, a Qatari company with offices in France, previously sought to force Quad9 to block resolution for a set of domain names they assert are participating in copyright infringement of its audiovisual rights on sports event broadcasts.