Discuss Scratch

TheAspiringHacker
Scratcher
100+ posts

Unblock "Coq" from the filter

The Scratch filter has prevented me from talking about the Coq proof assistant ( https://coq.inria.fr/ , https://en.wikipedia.org/wiki/Coq ). “Coq” is also the French word for “rooster;” the Coq proof assistant's (French) developers named it after the animal. ( “Coq” could also be a pun for the Calculus of Constructions, AKA CoC, or its creator, Thierry Coquand.)

Blocking “Coq” is discrimination against my religious beliefs as a member of the Church of Alonzo ( https://en.wikipedia.org/wiki/Alonzo_Church ), and it's also discriminatory to the French ( https://en.wikipedia.org/wiki/French_people ), although I am not French myself. As Scratch is a place to learn about computer science, it's important that we let people discuss means of harnessing computational trinitarianism ( https://ncatlab.org/nlab/show/computational+trinitarianism , https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/ ), the Curry-Howard correspondence ( https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence ).

Last edited by TheAspiringHacker (Jan. 2, 2019 21:54:27)

LionHeart70
Scratcher
1000+ posts

Unblock "Coq" from the filter

I think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
TheAspiringHacker
Scratcher
100+ posts

Unblock "Coq" from the filter

LionHeart70 wrote:

I think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
I know that, but Coq itself is not a bad word, and it has a legitimate usage in the context of computer science, or more specifically, programming language theory. It's also the French word for rooster. By blocking “Coq,” the Scratch Team is stifling CS discussion as well as projecting Anglocentrism onto its users.

Last edited by TheAspiringHacker (Jan. 2, 2019 22:01:42)

leapinleopardstar
Scratcher
500+ posts

Unblock "Coq" from the filter

LionHeart70 wrote:

I think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
^^^
TheAspiringHacker
Scratcher
100+ posts

Unblock "Coq" from the filter

leapinleopardstar wrote:

LionHeart70 wrote:

I think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
^^^
Please don't create unconstructive "+1/succ"-style posts merely quoting other another post, especially since I already responded to the post with unanswered disagreements.

Last edited by TheAspiringHacker (Jan. 2, 2019 23:21:03)

leapinleopardstar
Scratcher
500+ posts

Unblock "Coq" from the filter

TheAspiringHacker wrote:

leapinleopardstar wrote:

LionHeart70 wrote:

I think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
^^^
Please don't create unconstructive "+1/succ"-style posts merely quoting other another post, especially since I already responded to the post with unanswered disagreements.
I wa quoting them because they said exactly what I was going to say.
Gibom
Scratcher
100+ posts

Unblock "Coq" from the filter

While yeah, the word is similar to an inappropriate word, you could say the same for the word ‘shot’. Even though I could imagine ‘Coq’ is pronounced the same as the swear word, it still should be usable.
TheAspiringHacker
Scratcher
100+ posts

Unblock "Coq" from the filter

leapinleopardstar wrote:

TheAspiringHacker wrote:

leapinleopardstar wrote:

LionHeart70 wrote:

I think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
^^^
Please don't create unconstructive "+1/succ"-style posts merely quoting other another post, especially since I already responded to the post with unanswered disagreements.
I wa quoting them because they said exactly what I was going to say.
Well then, could you please respond to my reply to them, then?
TheAspiringHacker
Scratcher
100+ posts

Unblock "Coq" from the filter

Wow! This topic is already off the first page after an hour or two! Bump!
TheAspiringHacker
Scratcher
100+ posts

Unblock "Coq" from the filter

Bump!
-stache-
Scratcher
500+ posts

Unblock "Coq" from the filter

TheAspiringHacker wrote:

Wow! This topic is already off the first page after an hour or two! Bump!
Yeah welp people are grumpy about 3.0
Wahsp
Scratcher
1000+ posts

Unblock "Coq" from the filter

The problem is that I could see people using it inappropriately
garlicbreathinator
Scratcher
48 posts

Unblock "Coq" from the filter

I have seen many acts of unnecessary censorship in minecraft server chats and other online systems… This word should definitely be unblocked. However, a number of phrases that do not align with its definition should still trigger the filter, such as “suck (”“/a/my/etc.) coq” and “coqsucker or coq sucker”, or a comment that just says “coq” with no other context.

Perhaps any words with legitimate meanings like this that could also be used to pass swear words through the filter could trigger a warning that will say something like
Hold up! Make sure your comment follows the community guidelines. If your comments are found to break the community guidelines, you could be punished!
A couple seconds after this message appears, you will be able to send the message. However, if a large portion of the messages you send get flagged like this, an autoreport may be sent and a moderator will take a look. Certain types of messages that are likely but not guaranteed to be spam, such as comments that are mostly or all caps or are at/near the 500 character limit could also get this kind of warning. You could even apply this to other comments as well, such as possible unsolicited advertising of projects and comments that could possibly include telephone numbers or emails. To prevent abuse of this leniency by new accounts and to give them a warning if they break the rules early on, new scratchers could have a lower number of flags within a set period to trigger an autoreport.

Sorry that got a little too complicated, but it could be quite useful to see a new filtering system that will help crack down on this harder to detect content.
StrangeMagic32
Scratcher
1000+ posts

Unblock "Coq" from the filter

Support, many words are taken and not used how they are intended, which would then cause people to put them on filters, because the so called swear word version of coq also means Rooster (though I doubt most people even know this, because of it's derogatory use)
An adult male chicken; a rooster.
An adult male of various other birds.
A weathervane shaped like a rooster; a weathercock.
So I really feel it's unfair to teach children that some words aren't bad, but that people use them is bad ways, but this does not in sense make the word bad.

Also apparently according to google translate, and I know it's not the best source, but it works, coq is pronounced almost like coke, in the English language.

The 60 second rule strikes again.

Last edited by StrangeMagic32 (Jan. 3, 2019 21:52:40)

TheAspiringHacker
Scratcher
100+ posts

Unblock "Coq" from the filter

Bump.
TopThrillAnthony2
New Scratcher
9 posts

Unblock "Coq" from the filter

TheAspiringHacker wrote:

LionHeart70 wrote:

I think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
I know that, but Coq itself is not a bad word, and it has a legitimate usage in the context of computer science, or more specifically, programming language theory. It's also the French word for rooster. By blocking “Coq,” the Scratch Team is stifling CS discussion as well as projecting Anglocentrism onto its users.

Unfortunately, should they unblock it, people CAN use “Coq” in a vulgar manner.
bybb
Scratcher
1000+ posts

Unblock "Coq" from the filter

Support. The filter overblocks anyway. I couldn't even say “Arifureta Sekai Seifuku” for a while until someone got “Seifuku” unblocked. If they really think people are going to abuse the word, send an autoreport whenever someone posts something with that word in it, and allow mods to delete it quickly if it's offending.
StrangeMagic32
Scratcher
1000+ posts

Unblock "Coq" from the filter

deleted

Last edited by StrangeMagic32 (Jan. 3, 2019 22:10:40)

TheAspiringHacker
Scratcher
100+ posts

Unblock "Coq" from the filter

Bump.
JACsterandOlibob
Scratcher
1000+ posts

Unblock "Coq" from the filter

No support as why can't you just say rooster?

Also in 2.0 there were things discriminating against whole countries and it wasn't fixed. (E.G. £ symbol not showing up)

Overall it's too difficult to monitor I reckon.

Good luck, though

Powered by DjangoBB