надеюсь, в Cooch

Где описание для Ъ что это такое и зачем оно нужно?

Пускай переименовывают в pysya. Тогда к ним эти гадкие нетолерантные русские не полезут

https://github.com/coq/coq/wiki/Alternative-names

Почти каждое предложенное альтернативное имя может быть помещено в такой контекст, где возникнет вульгарная коннотация

Peetooh же

Такая же судьба ждёт Spoofing’скую booty: сначала проект приобретёт популярность, вокруг него сформируется сообщество, в него проникнут истерички и поднимут вопрос о переименовании.

А вообще надо форкнуть и назвать форк coq-old.

Остался только coc.nvim?

Я вот задумался, как читается CoC (Code Of Conduct)? Нарушает ли CoC CoC?

Coq-Club mailing list

Последнюю неделю или около, уже становится тяжело отличать, где народ на серьёзных щщах, а где просто лулзы.

СиОуСи

https://youtu.be/oNJCiHE-5Xg?t=1758

. Там н, но, думаю, это не повлияло.

Coq – «петух» в переводе с французского. Гугл по этому запросу первым предлагает «coq au vin» – цыплёнка в вине.

Переименуют – обидят французов.

Mwa-ha-ha :) Такое название уже занято авторами проекта.

Как говорится: кто о чём, а сообщество о ...

Coq-Club

Кок-дубинка? Звучит угрожающе.

Я думаю, многие русские программисты откажутся пользоваться языком «петух» только из-за названия. Не дай бог на зону попадёшь с такой славой, ничего хорошего из этого не получится.

Coq-Club «Голубая устрица»

А вообще надо форкнуть и назвать форк coq-old

oldcoq

не использовали Coq из-за его названия

Плохому студенту вечно коки мешают.

Типа дошло до идиотов. Long overdue.

Из предложенного мне больше всего нравится Chicken (аббревиатура от Calculus Handling Inductives Completely Kernel Errors Notwithstanding).

Совсем от нецензурных коннотаций избавиться не удастся, они в английском есть у всего вообще.

Может быть небольшая путаница с chicken scheme

https://www.youtube.com/watch?v=s4bC7VkRCws

Coq is a proof assistant based on the calculus of constructions. It is used to formalize proofs in a variety of fields, including mathematics and programming languages.

Главное, чтобы не получилось, как с Pidora…

Предлагаю переименовать их в Hooli.

reports about students (notably women) who ended up not learning / using Coq because of its name

Да и coq c ними. В чём вопрос?

reports about students (notably women) who ended up not learning / using Coq because of its name

Так, может быть это и к лучшему?

Я бы переименовал в Calculus Handling Literate Errors Nonwithstanding.

https://github.com/Ky6uk/PETOOH

Написано лучшими русскими программистами.

Это противоречит принципам инклюзивности и гендерного равенства, пропагандируемого сегодня в западной цивилизации. Не дай бог ляпнешь такое публично, отменят вмиг.

Так как количество оскорбительного смысла неубывает, бан любых слов ведёт лишь к его перераспределению. Больше бана, больше запретный слов, отрицательный эффект. Это общеизвестно.

А какая аббревиатура для Code of Conduct and Kindness?

А я предполагал что то подобное. Coq 8.12 (комментарий)

Дотянулись проклятые толерасты.

Свидетельства людей, которые столкнулись с притеснениями или неловкими ситуациями

сообщения о студентах (особенно о девушках), которые в конечном итоге не учились / не использовали Coq из-за его названия

И которые решили влезть в чужой проект и навязать свои правила, да!

CoCK.

Я б не отказался заиметь такой.

Hoochie coochie

oldcoq

old-dick

Переименовать в diq.

В России внезапное попадание на зону с каждым днём всё более вероятно. Надо чистить совесть.

Так пойдёт

Программный Интерфейс Доказательств Общих Рассуждений

которые в конечном итоге не учились / не использовали Coq из-за его названия

Пацталом. Ну конечно, именно из-за названия!

Если что, там такой матан, что название проекта это такая мелочь, и я удивлён, что они не решили переменовать «члены» в многочленах.

Как можно после таких выкрутасов всерьез относится к этим «полезным» инициативам? Или это троллинг такой опоздавший к 1 апреля?

Ну в обсуждении на HN многие высказались в том ключе, что мол я хотел на работе предложить использовать его, но мне было неудобно предлагать проект с таким названием.

Кстати у меня была такая же история. Была такая библиотека для Java iBatis. Она мне нравилась, но я тоже не стал предлагать её с таким названием, как-то стрёмно. Потом переименовали в MyBatis и всё стало проще.

окей. Но.

я конечно не англичанин, но CoC и Сoq прям вот так сильно отличаются по произношению? не вижу логики

и если нежное английское ухо это слово так режет, то почему так назвали? проекту чуть ли не 30 лет!

я конечно не англичанин, но CoC и Сoq прям вот так сильно отличаются по произношению? не вижу логики

Понятия не имею, что там с CoC. В целом, думаю, этот термин употребляется в общении гораздо реже, чем название языка. Его можно произносить и как «си оу си». Или просто расшифровывать. Coq это не аббревиатура и его по буквам произносить было бы странно. По-мне можно просто говорить «коук», как в кока-коле, но я не носитель, им видней.

и если нежное английское ухо это слово так режет, то почему так назвали? проекту чуть ли не 30 лет!

Я так понимаю, назвали французы. Для них, видимо, никаких отрицательных коннотаций нет, петух и петух. Типа кричит, про ошибки предупреждает. Французы вообще печально известны тем, что английский либо не знают, либо стараются игнорировать. А когда язык стал сколько-нибудь известным, уже решили не трогать. Ну а сейчас, видимо, решили потрогать (:

1. Что это такое вообще?
2. Как оно переводится, что вызывается такое бурление?

Что это такое вообще?

Широко известный в узких кругах язык программирования.

Как оно переводится, что вызывается такое бурление?

Как я понимаю, бурление вызывает его произношение, которое напоминает слово cock. А так это французское слово «петух».

Была такая библиотека для Java iBatis. Она мне нравилась, но я тоже не стал предлагать её с таким названием, как-то стрёмно. Потом переименовали в MyBatis и всё стало проще.

Предлагаю действовать по аналогии и переименовать Coq в MyCoq.

«коук», как в кока-коле, но я не носитель, им видней.

+

помню что WCL называли «даб-си-эль» англиязычные