Coq переименовывается в Rocq

0

2

Привет, ЛОР!

Я тебе покушать принёс. Известный инструмент для автоматического доказательства теорем Coq со следующего релиза будет называться Rocq. Основная причина переименования: созвучность старого названия с английским словом, обозначающим мужской половой член, что очевидно является большой проблемой для душевного спокойствия и равновесия многих людей.

Ссылка: https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-roadmap.md#change-of-name-coq---the-rocq-prover

Ссылка

←	ИИ здорового человека

Вышла первая стабильная версия FixVim

→

По ссылке никакие причины переименования не указаны.

firkax ★★★★★
(11.02.24 22:14:36 MSK)

Ответ на: комментарий от firkax 11.02.24 22:14:36 MSK

По ссылке никакие причины переименования не указаны.

Они указаны вот тут: https://github.com/coq/coq/wiki/Alternative-names

The name Coq comes from the French word for rooster, CoC (the Calculus of Constructions) and Thierry Coquand, one of the initial authors of Coq. But it is also close to the word «cock» which has a slang meaning that some English speakers consider offensive (it also means a male bird or the firing lever in a gun). This similarity has already led to some women turning away from Coq and others getting harassed when they said they were working on Coq. It also makes some English conversations about Coq with lay persons simply more difficult.

hateyoufeel ★★★★★
(11.02.24 22:16:40 MSK) автор топика
Последнее исправление: hateyoufeel 11.02.24 22:17:06 MSK (всего исправлений: 1)

Ответ на: комментарий от hateyoufeel 11.02.24 22:16:40 MSK

Вот как я это прочитал:

This similarity has already led to some women turning away from cock and others getting harassed when they said they were working on cock. It also makes some English conversations about cock with lay persons simply more difficult.

Они специально так много раз написали это слово, я уверен.

knovich ★
(11.02.24 22:22:55 MSK)

Ссылка

Роцк жив!

moonmadness ★
(11.02.24 22:34:23 MSK)

Ссылка

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

Irben ★★★
(11.02.24 23:01:32 MSK)

Ответ на: комментарий от Irben 11.02.24 23:01:32 MSK

Надо форкнуть Rocq и назвать Coq

Потом форкнуть ещё два раза, назвать Diq и Fuq. Чтобы наверняка.

Nervous ★★★★★
(11.02.24 23:03:25 MSK)
Последнее исправление: Nervous 11.02.24 23:03:52 MSK (всего исправлений: 2)

Похожие темы

[Форум] Coq переименуют (2021)

t184256 ★★★★★
(11.02.24 23:05:47 MSK)

Ответ на: комментарий от Nervous 11.02.24 23:03:25 MSK

Надо форкнуть Rocq и назвать Coq

Потом форкнуть ещё два раза, назвать Diq и Fuq. Чтобы наверняка.

Phoque. Это тюлень на французском.

hateyoufeel ★★★★★
(11.02.24 23:07:24 MSK) автор топика

ПЕРЕИМЕНОВАЛИ ПЕНИС по сути, сволочи англосаксы!!!

Exmor_RS ★★★
(11.02.24 23:08:01 MSK)

Ссылка

Ответ на: комментарий от t184256 11.02.24 23:05:47 MSK

Похожие темы

[Форум] Coq переименуют (2021)

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

hateyoufeel ★★★★★
(11.02.24 23:08:07 MSK) автор топика

Ссылка

Забавно, что Code of Conduct или CoC нормуль везде пихают.

Zhbert ★★★★★
(11.02.24 23:08:43 MSK)

Ответ на: комментарий от hateyoufeel 11.02.24 22:16:40 MSK

Thierry Coquand,

Мда, то есть автор назвал прогу своим именем а они это его имя из её названия удаляют? 🤦

firkax ★★★★★
(11.02.24 23:19:45 MSK)

Ответ на: комментарий от firkax 11.02.24 23:19:45 MSK

Thierry Coquand,

Мда, то есть автор назвал прогу своим именем а они это его имя из её названия удаляют? 🤦

Ну, примерно. Это как если бы Ян после развода с Деборой удалил deb- из Debian.

hateyoufeel ★★★★★
(11.02.24 23:20:46 MSK) автор топика

Ссылка

РОКК
ЕБОЛ
МУПЮ
ОВИЧ
НИRЕ
Т👠🔑Й

buddhist ★★★★★
(12.02.24 00:21:18 MSK)

Ссылка

Ответ на: комментарий от Nervous 11.02.24 23:03:25 MSK

Frequently Asked Questions живет и здравствует, а на него даже я триггернулся когда узнал.

untitl3d ★
(12.02.24 01:42:56 MSK)

Ссылка

Ответ на: комментарий от Zhbert 11.02.24 23:08:43 MSK

CoC FAQ

untitl3d ★
(12.02.24 01:44:42 MSK)

Ссылка

Нужно.
Это как если бы программист Хренов назвал свою программу Хрен.
Брендинг это не хухры-мухры!

mydibyje ★★★★
(12.02.24 04:06:50 MSK)

Ответ на: комментарий от Zhbert 11.02.24 23:08:43 MSK

Потому что CoC — он кого надо CoC, т.е. жунщин и меньшинств, а следовательно его можно и нужно пихать во всякую щель безо всякого вазелина. За Qucs ведь тоже не приходят, и по той же, в сущности причине.

Smacker ★★★★★
(12.02.24 04:17:04 MSK)

Ссылка

«Кок» напоминает о том, что место женщины на кухне, а у мужчины есть член (возможны варианты).

Irma ★★
(12.02.24 05:04:13 MSK)

Ответ на: комментарий от Irma 12.02.24 05:04:13 MSK

s/кухне/суше

/fxd

Syncro ★★★★★
(12.02.24 06:35:59 MSK)

Ссылка

А, ну то есть когда речь шла про Pidor-у, переименовать было необходимо. А когда обратили внимание на английский язык - то это заговор леваков. Это другое, надо понимать!

Polugnom ★★★★★
(12.02.24 06:55:53 MSK)

Ссылка

Ответ на: комментарий от Irben 11.02.24 23:01:32 MSK

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

Отлично, вы этим и займитесь!

MoldAndLimeHoney ★
(12.02.24 07:19:32 MSK)

Ответ на: комментарий от Zhbert 11.02.24 23:08:43 MSK

Забавно, что Code of Conduct или CoC нормуль везде пихают.

Похожие проблемы, но такие разные решения!

https://imgur.com/hyHJ7Qp

MoldAndLimeHoney ★
(12.02.24 07:24:53 MSK)

Ссылка

Какую то хрень переименовали. И чо?

~~NickNotNick~~ ★
(12.02.24 08:00:38 MSK)

Ссылка

Ответ на: комментарий от Nervous 11.02.24 23:03:25 MSK

Надо форкнуть Rocq и назвать Coq

Потом форкнуть ещё два раза, назвать Diq и Fuq. Чтобы наверняка.

А также Suq и Peace_of_sheet

sn4il ★
(12.02.24 10:18:10 MSK)

Ссылка

Ответ на: комментарий от mydibyje 12.02.24 04:06:50 MSK

если бы программист Хренов назвал свою программу Хрен

Тяжело быть Хреновым, когда кругом столько Хреноредьевых.

Nervous ★★★★★
(12.02.24 10:48:30 MSK)

Да в Linux целая серия матерных названий и ничего:

Debian - похоже на слово дебил.
Fedora - была даже версия для Raspberry Pi с интересным названием.
Opensuse - кричалки про абибас уместны и здесь.
Ubuntu - подставьте в нужное место букву «Е».
Compiz - псевдоперевод: приходи, приезжай...
Android - подставьте букву «г» впереди слова.
Linux - букву «e» вместо «u» - и вы узнайте название препарата от дисбактериоза, что как бы символизирует...
Mageia - про гомосексуалистов или про Японию, кому как больше нравится.
И этот список культуры можно продолжать до бесконечности. А вы про coq какой-то...

~~Was2023~~
(12.02.24 11:02:02 MSK)
Последнее исправление: Was2023 12.02.24 11:11:20 MSK (всего исправлений: 4)

Ссылка

Ответ на: комментарий от Nervous 12.02.24 10:48:30 MSK

если бы программист Хренов назвал свою программу Хрен

Тяжело быть Хреновым, когда кругом столько Хреноредьевых.

Просто напомню, что фамилия Hui (произносится как Хуэй) довольно распространена в Китае и около.

https://en.wikipedia.org/wiki/Hui_(surname)

hateyoufeel ★★★★★
(12.02.24 11:23:16 MSK) автор топика

Ссылка

Ответ на: комментарий от MoldAndLimeHoney 12.02.24 07:19:32 MSK

такие альтернативно обиженные только языком трепать умеют ;)

caryoscelus ★
(12.02.24 11:26:35 MSK)

Ссылка

Ответ на: комментарий от mydibyje 12.02.24 04:06:50 MSK

Хреновина же

Ябскачал

frunobulax ★★★
(12.02.24 11:29:34 MSK)

Ссылка

Ответ на: комментарий от MoldAndLimeHoney 12.02.24 07:19:32 MSK

Если в самом деле сменят название, почему бы и нет. Шильдики перебить не занимает много времени, скриптец налабал и вперёд. Код ведь открыт. Будет повод выпускать новость о релизах на ЛОРе с напоминанием, что эта софтина отличается от мейнстрима только названием, неприемлимым для обиженок.

Irben ★★★
(12.02.24 11:50:46 MSK)

Ответ на: комментарий от Irben 12.02.24 11:50:46 MSK

Ну и чем ты отличаешься от сойбоев, которые «форкнули» Гимп, чтобы переименовать с предсказуемым результатом?

Или тебе принципиально, чтобы название этой программы было созвучно со словом «XYN»? Как называется эта болезнь?

MoldAndLimeHoney ★
(12.02.24 11:57:05 MSK)

Ответ на: комментарий от MoldAndLimeHoney 12.02.24 11:57:05 MSK

Ну и чем ты отличаешься от сойбоев, которые «форкнули» Гимп, чтобы переименовать с предсказуемым результатом?

Данный форк должен отличаться исключительно перебитыми шильдиками, никакого изменённого функционала.

Или тебе принципиально, чтобы название этой программы было созвучно со словом «XYN»? Как называется эта болезнь?

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

Irben ★★★
(12.02.24 12:04:46 MSK)

Ответ на: комментарий от Irben 12.02.24 12:04:46 MSK

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

Проблема в том, что половина пользователей этой штуки также участвуют в её разработке. Поэтому твоим форком они пользоваться точно не будут. Coq всё же очень нишевая вещь, как ни крути.

hateyoufeel ★★★★★
(12.02.24 15:25:04 MSK) автор топика

Ссылка

Когда уже DWARF переименуют в VC, сокращённо от VerticallyChallenged

upcFrost ★★★★★
(12.02.24 19:37:32 MSK)

Ссылка

Ответ на: комментарий от Zhbert 11.02.24 23:08:43 MSK

Забавно, что Code of Conduct или CoC нормуль везде пихают.

Это другое. Им можно.

Manhunt ★★★★★
(13.02.24 20:41:55 MSK)

Ссылка

24 августа 2024 г.

Ну и чего, чем там всё закончилось?

А то я хотел установить CoqIDE, читал статью https://wiki.gentoo.org/wiki/Coq и не понял, как это сделать…

Shushundr ★★★
(24.08.24 10:18:31 MSK)

Ответ на: комментарий от Shushundr 24.08.24 10:18:31 MSK

Ну и чего, чем там всё закончилось?

Пока ничем. На главной он всё ещё Coq: https://coq.inria.fr/

А то я хотел установить CoqIDE, читал статью https://wiki.gentoo.org/wiki/Coq и не понял, как это сделать…

Skill issue lmao

hateyoufeel ★★★★★
(24.08.24 10:31:59 MSK) автор топика
Последнее исправление: hateyoufeel 24.08.24 10:32:47 MSK (всего исправлений: 1)

Так вот откуда корни у всех этих CoC растут!

urxvt ★★★★★
(24.08.24 12:09:32 MSK)

Ссылка

Ответ на: комментарий от hateyoufeel 24.08.24 10:31:59 MSK

Skill issue lmao

Ну там же действительно ничего по этому поводу не написано. Я так понимаю, что гентушникам и не надо, потому они не математики. Но за математиков обидно.

Shushundr ★★★
(25.08.24 00:10:37 MSK)