Discuss Scratch
- Discussion Forums
- » Suggestions
- » Unblock "Coq" from the filter
- TheAspiringHacker
-
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 ).
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
-
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
-
100+ posts
Unblock "Coq" from the filter
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. I think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
Last edited by TheAspiringHacker (Jan. 2, 2019 22:01:42)
- leapinleopardstar
-
500+ 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
-
100+ posts
Unblock "Coq" from the filter
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 think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
Last edited by TheAspiringHacker (Jan. 2, 2019 23:21:03)
- leapinleopardstar
-
500+ posts
Unblock "Coq" from the filter
I wa quoting them because they said exactly what I was going to say.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 think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
- Gibom
-
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
-
100+ posts
Unblock "Coq" from the filter
Well then, could you please respond to my reply to them, then?I wa quoting them because they said exactly what I was going to say.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 think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
- TheAspiringHacker
-
100+ posts
Unblock "Coq" from the filter
Wow! This topic is already off the first page after an hour or two! Bump!
- -stache-
-
500+ posts
Unblock "Coq" from the filter
Yeah welp people are grumpy about 3.0 Wow! This topic is already off the first page after an hour or two! Bump!
- Wahsp
-
1000+ posts
Unblock "Coq" from the filter
The problem is that I could see people using it inappropriately
- garlicbreathinator
-
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
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.
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
-
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.
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)
- TopThrillAnthony2
-
9 posts
Unblock "Coq" from the filter
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. I think it's because it sounds very similar/could be an alternate spelling to a word that often has a vulgar meaning.
Unfortunately, should they unblock it, people CAN use “Coq” in a vulgar manner.
- bybb
-
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
-
1000+ posts
Unblock "Coq" from the filter
deleted
Last edited by StrangeMagic32 (Jan. 3, 2019 22:10:40)
- JACsterandOlibob
-
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
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

- Discussion Forums
- » Suggestions
-
» Unblock "Coq" from the filter