3 ms·

Yeah I call BS. The "word filter" answer was selected as the valid answer by a third party (not OP).That's what the OP replied to another comment : > Heargo 24

Yeah I call BS. The "word filter" answer was selected as the valid answer by a third party (not OP).That's what the OP replied to another comment : > Heargo 24 days ago > Thanks, I'll try as soon as I get the problem again (somehow it's not bugged anymore...). Looks like it was just a temporary issue with no evidence that's it's due to a word filter.

moyix 4y ago
FYI, there is in fact a bad word filter in GitHub Copilot. When it was first released, the list was stored client-side in obfuscated form and I had a lot of fun decoding it: https://twitter.com/moyix/status/1433254293352730628 https://twitter.com/moyix/status/1433254293352730628 The Register wrote about it too: https://www.theregister.com/2021/09/02/github_copilot_banned_words_cracked/ https://www.theregister.com/2021/09/02/github_copilot_banned... They have since moved the bad word list server-side to prevent people from figuring out what's on it, but it's still there. This is easy to verify, just ask it to complete something that would include a banned word; my favorite here is "Israel", and it will just sit there and refuse to complete, either via inline suggestions or in the sidebar view that gives you 10 choices: https://i.imgur.com/O97YwKc.png https://i.imgur.com/O97YwKc.png This was what I managed to decode of the list (in ROT13 form to prevent accidental offense): https://moyix.net/~moyix/copilot_slurs_rot13.txt https://moyix.net/~moyix/copilot_slurs_rot13.txt No doubt they've added and removed some things since then.
- EddySchauHai 4y ago
  Hahaha some of those banned words are very mild. Wuzzocks, numbnuts, and rodgering?
  - duskwuff 4y ago
    It's a hell of a list. Everything from seriously offensive slurs which I won't repeat here, to phrases which are much sillier than offensive like "banana bender" or "bearded clam", to words that are simply descriptive like "pornographic", "immigrant", or "race". (Because I had to look it up too: "banana bender" is a humorous term for an inhabitant of Queensland, Australia. It doesn't appear to be considered offensive at all.)
    - EddySchauHai 4y ago
      Banana bender was definitely something else in my mind! But yes they also have some very graphic slurs there.
- alephxyz 4y ago
  I stand corrected. Impressive work!

moyix 4y ago

FYI, there is in fact a bad word filter in GitHub Copilot. When it was first released, the list was stored client-side in obfuscated form and I had a lot of fun decoding it: https://twitter.com/moyix/status/1433254293352730628 https://twitter.com/moyix/status/1433254293352730628 The Register wrote about it too: https://www.theregister.com/2021/09/02/github_copilot_banned_words_cracked/ https://www.theregister.com/2021/09/02/github_copilot_banned... They have since moved the bad word list server-side to prevent people from figuring out what's on it, but it's still there. This is easy to verify, just ask it to complete something that would include a banned word; my favorite here is "Israel", and it will just sit there and refuse to complete, either via inline suggestions or in the sidebar view that gives you 10 choices: https://i.imgur.com/O97YwKc.png https://i.imgur.com/O97YwKc.png This was what I managed to decode of the list (in ROT13 form to prevent accidental offense): https://moyix.net/~moyix/copilot_slurs_rot13.txt https://moyix.net/~moyix/copilot_slurs_rot13.txt No doubt they've added and removed some things since then.

EddySchauHai 4y ago
Hahaha some of those banned words are very mild. Wuzzocks, numbnuts, and rodgering?
- duskwuff 4y ago
  It's a hell of a list. Everything from seriously offensive slurs which I won't repeat here, to phrases which are much sillier than offensive like "banana bender" or "bearded clam", to words that are simply descriptive like "pornographic", "immigrant", or "race". (Because I had to look it up too: "banana bender" is a humorous term for an inhabitant of Queensland, Australia. It doesn't appear to be considered offensive at all.)
  - EddySchauHai 4y ago
    Banana bender was definitely something else in my mind! But yes they also have some very graphic slurs there.
alephxyz 4y ago
I stand corrected. Impressive work!