Mastodon Feed: Post

Boosted by dysfun@treehouse.systems ("gaytabase"):
joshchen@types.pl ("Josh Chen") wrote:

https://github.com/agda/agda/pull/8507

"We are concerned by these developments", "negative effects of large language
models (LLMs) on many individuals, our society, and our planet", "surveillance, censorship, discrimination, labor violations, climate and ecological impact, impact on the hardware market, and centralization of power by Big Tech"

Here's the thing: the actual honest statement is more along the lines of "DESPITE these negative externalities, some of the core team are not willing to develop Agda without the use of LLMs".

Maybe this is counterintuitive, but I am much less inclined to feel judgey about such a statement, than about one which pays lip service to negative externalities while obviously not caring about them in any meaningful way.