Skip to content

chore: rewriting of slop text in community guidelines#774

Merged
grunweg merged 2 commits intolean4from
kbuzzard-slop
Jan 27, 2026
Merged

chore: rewriting of slop text in community guidelines#774
grunweg merged 2 commits intolean4from
kbuzzard-slop

Conversation

@kbuzzard
Copy link
Member

AI slop is objectionable whether or not it is accompanied by claims about the slop. More and more we are seeing people dumping slop and basically saying "there you are" or "what do you think?". What can one say to such posts, other than "no thank-you"?

@grunweg
Copy link
Contributor

grunweg commented Jan 27, 2026

Thanks!

@grunweg grunweg merged commit 22aad8e into lean4 Jan 27, 2026
2 checks passed
@grunweg grunweg deleted the kbuzzard-slop branch January 27, 2026 08:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants