forum.opennet.ru - "Инструментарий для доказательства теорем Coq рассматривает возможность смены названия" (166)

"Инструментарий для доказательства теорем Coq рассматривает возможность смены названия"

Форум Разговоры, обсуждение новостей
Вариант для распечатки		Пред. тема \| След. тема
Изначальное сообщение		[ Отслеживать ]

"Инструментарий для доказательства теорем Coq рассматривает возможность смены названия"	+/–
Сообщение от opennews (??), 09-Апр-21, 23:22
Инструментарий для доказательства теорем Coq рассматривает возможность смены названия. Причина: для англофонов слова "coq" и "cock" (сленговое название мужского полового органа) звучат похоже, и некоторые пользователи-женщины, сталкивались с двусмысленными шутками при использовании названия в устной речи. Само же название языка Coq произошло от фамилии одного из разработчиков, Thierry Coquand. Сходство звучания Coq и Cock (англ. петух) уже обыгрывалось в проекте: язык, используемый для описания конструкций, называется Gallina (лат. курица)... Подробнее: https://www.opennet.me/opennews/art.shtml?num=54933
Ответить \| Правка \| Cообщить модератору

Оглавление

Зачем эта очень важная новость нужна именно на опеннете , Hedgehog (??), 23:22 , 09-Апр-21, (1) +9

чтобы ты был в курсе, как мир сходит с ума, подстраиваясь под англицизмы, Антифрактал (?), 23:23 , 09-Апр-21, (6) +24

Вернее подстраиваясь под впечатлительных подростков, феминисток, гомосеков и про, Аноним (23), 00:27 , 10-Апр-21, (23) +19

анон, ну не смешно вообще Если ьы он назывался hui - у нас бы точно так же измы, Аноним (82), 10:01 , 10-Апр-21, (82) +2

Почему бы Пожалуйста https gethue com PS Кстати работает оно вполне соотве, RomanCh (ok), 09:50 , 11-Апр-21, (138)
но истерить до смены названия не стали бы , ого (?), 19:43 , 11-Апр-21, (154)
Это как с проектом pydora Где-то в тексте на PyPI можно засвидетельствовать , Wine_O_Feliya (?), 15:11 , 12-Апр-21, (161)

Обидно, да Под впечатлительных подростков, феминисток и гомосеков они подстраив, Ordu (ok), 10:38 , 10-Апр-21, (88) +3

Так мы просто пошутили и посмеялись, но никто не поднимал серьезно вопрос о пере, Аноним (23), 13:42 , 10-Апр-21, (103) +7

А когда людям надоедает это хихиканье адекватных и психически здоровых при к, Ordu (ok), 15:04 , 10-Апр-21, (110) +1

Новость читал Не автору надоело хихканье, иначе он бы так не назвал А некотор, Аноним (164), 17:26 , 12-Апр-21, (164) +2

Да Адекватные и психически здоровые люди отпускали двусмысленные шутки в , Ordu (ok), 18:27 , 12-Апр-21, (169)

CKEditor 8212 свободный WYSIWYG-редактор До версии 3 0 назывался FCKed, Аноним (47), 02:40 , 10-Апр-21, (47) +4

Этот редактор такое же гуано, как и аргументы про Coq, Неа (?), 09:26 , 10-Апр-21, (81) –2

А как тебе ЁбРедактор Сколько у нас ржали над ё-мобилем Или это другое Свое к, Аноним (82), 10:03 , 10-Апр-21, (83) –2

Vi как vi, чё бухтеть- то , Noname (??), 15:52 , 13-Апр-21, (176) –1

Язык международного общения - английский Не китайский и не русский как некоторы, Аноним (59), 06:47 , 10-Апр-21, (59)

Однако, в основном, только носители этого недоязыка понимают эту игру слов Я во, Тот_Самый_Анонимус (?), 06:56 , 10-Апр-21, (63) +14

Про китайский - согласен, хотя это больше дело будущего А на русском ты разве чт, myhand (ok), 07:37 , 10-Апр-21, (68) –2

Нет В ООН на самом деле тоже можно https www un org ru sections about-un off, RomanCh (ok), 09:54 , 11-Апр-21, (139) +1

Ну, ООН - известна своей научностью Там даже Эйлер состоял Нет, вру Эйлер в , myhand (ok), 12:15 , 11-Апр-21, (144) –1

Уууу Понятно , RomanCh (ok), 12:44 , 11-Апр-21, (147) +1

и 7 лайкосов Как грица угадай в какой стране живут нацисты, расисты и шовинисты , Аноним (82), 10:04 , 10-Апр-21, (84) –1

Во всех К сожалению Но вообще про проблемы английского я в целом согласен, в си, RomanCh (ok), 09:57 , 11-Апр-21, (140)

А зачем с этим что-то делать Есть эсперанто , myhand (ok), 12:16 , 11-Апр-21, (145)

И как у вас с ним Регулярно практикуете Научные статьи в мухосранскую академию, RomanCh (ok), 12:45 , 11-Апр-21, (148) +1

- Ты же робот, имитация жизни Может робот способен написать симфонию - Будто ты, Noname (??), 15:56 , 13-Апр-21, (177)

Какой вы агрессивный, батенька Будем лечиться Смирительную рубашку на него Та, Доктор психушки (?), 17:59 , 12-Апр-21, (166)

А что не так , Noname (??), 15:58 , 13-Апр-21, (178)

Чувачок, тебе реально нужно как минимум успокоительного попить Когда везде мере, Аноним (164), 18:02 , 12-Апр-21, (167)

Чтобы через Интерпол его экстрадировать в РФ и посадить здесь в тюрьму за оскорб, Аноним (57), 06:02 , 10-Апр-21, (57) –2

есть мнение, что НИКАКОЕ название не пройдет через такую нейросеть везде будет з, СеменСеменыч777 (?), 15:41 , 10-Апр-21, (111)

СеменСеменыч777 бы не прошел прежде всего в СССР, ежели бы тот не распался По, Аноним (82), 06:57 , 11-Апр-21, (127)

Ну а при каком обстоятельстве посетители opennetу впринципе могли бы узнать, что, myhand (ok), 06:54 , 10-Апр-21, (61)

Ради красного словца не пожалеем и отца Разумеется подтверждения своим словм вы, Тот_Самый_Анонимус (?), 06:59 , 10-Апр-21, (64) +2

Ну, представленного общественности инструмента уровня Coq разработано было не бы, myhand (ok), 07:06 , 10-Апр-21, (66)

Слава морфу Слава 404 Защифрованное послание, которое поймут лишь избранные , НеОН (?), 17:23 , 12-Апр-21, (163) +1

Hey bro nice Coq, Аноним (2), 23:22 , 09-Апр-21, (2) +16

Nice coq, awesome balls terminator jpg, Аноним (-), 02:43 , 10-Апр-21, (48) +1
https derpicdn net img view 2021 4 2 2584442__safe_artist-colon-handgunboi_pri, iPony129412 (?), 07:04 , 10-Апр-21, (65) –1
Nice coq, swesome proofs , Человек под травой (?), 09:25 , 10-Апр-21, (80)
Gallina blank a bool bool, Wine_O_Feliya (?), 15:13 , 12-Апр-21, (162)

Одобряю Но только если они знали о проблеме с названием, почему назвали язык то, Аноним (3), 23:22 , 09-Апр-21, (3) –4

А они в качестве шутки тогда и сделали такое название Но то было тогда а сейча, Аноним (18), 23:58 , 09-Апр-21, (18) +8

Потому что этот Терри совершенно не парится что кто-то на слух воспримет его фам, пох. (?), 09:21 , 10-Апр-21, (78)
No fun allowed , Тётка с ведром (?), 10:43 , 10-Апр-21, (89)

французы, сэр Тогда постебались, а теперь боязно стало , Cradle (?), 00:35 , 10-Апр-21, (25)
Coq - петух с франц Раньше было модно-молодёжно по дурацки именовать продукт Н, Lex (??), 04:30 , 10-Апр-21, (56) –2

А фамилию им тоже выросши внезапно сменить А то ж вызывает нездоровые ассоциаци, пох. (?), 09:22 , 10-Апр-21, (79) +2
лол блин Ты правда считаешь что петух имеет негативную коннотацию во Франции П, Аноним (82), 10:10 , 10-Апр-21, (85) +1

Я лишь говорю, что кок - петух с французского И что раньше была мода черти как , Lex (??), 13:58 , 10-Апр-21, (104) +1

Вот ты можешь по названию проги - 171 Windows 187 , однозначно догадаться что, Аноним (82), 07:01 , 11-Апр-21, (128) +2

Окна экраны Какая-то взаимосвязь естьink - чернила Есть какая-то связь с рис, Lex (??), 14:42 , 11-Апр-21, (151)

Мнэээ Вы точно с собой дискутировали , Michael Shigorin (ok), 21:25 , 11-Апр-21, (157) +1

Заранее ответил, предвидя очередной тупой вопрос в продолжение не мене тупого ср, Lex (??), 11:21 , 12-Апр-21, (160)

Вообще, FYI, петух во франции - это почти что национальный маскот , InuYasha (??), 11:33 , 11-Апр-21, (143) +2

Представляю, как сейчас краснеет в гробу Джобс со своим ха ЯБЛОКОМ , Gogi (??), 11:39 , 10-Апр-21, (92) –2

Пропиарились же , Аноним (57), 06:04 , 10-Апр-21, (58) +1
Потому что в основу Coq положена теория типов calculus of constructions CoC , Аноним (97), 12:28 , 10-Апр-21, (97) +2

При всем этом остается загадка как до сих пор не сломлен ГИМП , Аноным (ok), 23:22 , 09-Апр-21, (4) +7

Глимпс, Аноним (7), 23:23 , 09-Апр-21, (7) –1

Не существует , Стас Михайлов (?), 23:51 , 09-Апр-21, (17) +5
Глиномес FTGJFIX, Аноним (74), 08:51 , 10-Апр-21, (74) +1

Прокудин им не дает сломаться, поит их воткой Это стимулирует их моск посылать , Антифрактал (?), 23:24 , 09-Апр-21, (8) +5

Слава Прокудину , Annoynymous (ok), 23:31 , 09-Апр-21, (10) +2

Прокудину слава , Аноним (26), 01:07 , 10-Апр-21, (26)

Андрей, Аноним (41), 02:01 , 10-Апр-21, (41)

https www opennet ru opennews art shtml num 51357https www opennet ru openne, Аноним (-), 23:31 , 09-Апр-21, (11) +1

Форк же, а не переименован, Аноным (ok), 23:59 , 09-Апр-21, (19) +1

Язык Си - первая буква слова cock , Аноним (7), 23:22 , 09-Апр-21, (5) +5

А rust от ruster - кугут, Жорш (?), 01:18 , 10-Апр-21, (33) +1

Давненько не слышал этого слова , Какаянахренразница (ok), 11:26 , 10-Апр-21, (91)

Я прозрел, Аноним (34), 01:19 , 10-Апр-21, (34) +3
Думаю, низкосортный вообще и сортирный в частности юмор существовал и раньше , Q2W (?), 08:10 , 10-Апр-21, (70) +5

Если стеблись, когда называли, то надо продолжать в том же духе Если у кого-то , timur.davletshin (ok), 23:32 , 09-Апр-21, (12) +6

Например, можно назвать 960 dr , Аноним (21), 00:10 , 10-Апр-21, (21)
Потому что небритые цветноволосые ненавидят всё, что связано с мущщинками , Аноним (26), 01:10 , 10-Апр-21, (27)

вообще не врубаешься Сидят двое коллег пишут доказательства парень, девушка П, Аноним (82), 10:14 , 10-Апр-21, (86) –2

Когда-то в очередной раз сдавал лабу по туннельному эффекту, а наш поток безуспе, n00by (ok), 11:26 , 10-Апр-21, (90) +2

тетка в теме чтобы сдать лабу - надо отсосать , Михрютка (ok), 14:12 , 10-Апр-21, (105)

Есть такая штука - шприц для удаления припоя, он же вакуумный оловоотсос, в прос, n00by (ok), 07:25 , 11-Апр-21, (133) +2

Ж , Аноним (82), 07:04 , 11-Апр-21, (129)

Анатомию иди отмени Там не только названия, но и картинки показывают неприличны, Аноним (98), 12:47 , 10-Апр-21, (98) +2

уже ж отменили точнее, пытались https kulturomania ru news item kommunisty-, пох. (?), 11:03 , 12-Апр-21, (159)

Какая надуманная ситуация Я девушка-программист, и 1 никогда такого рода шутки , Аноним (164), 18:20 , 12-Апр-21, (168) +2
ты бы, конечно, предпочёл, чтобы это были два парня, да , ого (?), 18:56 , 12-Апр-21, (170)

Вот же неженки блин, бабу коком напугали Толи наши люди, ковыряются в Zope молч, Аноним (45), 02:23 , 10-Апр-21, (45) +4

Так там же уже Grok или что там , Аноним (82), 10:15 , 10-Апр-21, (87)

А представьте когда такие проблемы надо будет разруливать авторам учебников и по, Ag (ok), 08:31 , 10-Апр-21, (71)

Каплун пулярка 8212 всё придумано уже , timur.davletshin (ok), 08:41 , 10-Апр-21, (73)

А еще надо запретить Code Of Conduct, Аноним (13), 23:35 , 09-Апр-21, (13) +9

CoC всегда потеха для рубиста, Жорш (?), 01:20 , 10-Апр-21, (36)

Гашина - испанское слово 128540 , Аноним (15), 23:41 , 09-Апр-21, (15)
Так Галина Бланка это не жена Моисея Бланка Как теперь жить , Аноним (16), 23:50 , 09-Апр-21, (16) +2

На испанском Gallina blanca - это вообще Белая курица Попробуйте пожить с э, cz (??), 01:52 , 10-Апр-21, (39) +6

Для Галлов петух тотемная птица, предвестник рассвета , n00by (ok), 07:45 , 10-Апр-21, (69)

Он для всех нормальных людей предвестник рассвета Кроме всяких городских озабоч, Аноним (100), 13:12 , 10-Апр-21, (100) +1

Есть версия, что галлы и славяне -- эдакая лингвистическая калька Первое ро, n00by (ok), 07:46 , 11-Апр-21, (134)

задорновщина я поставил себе за правило - игнорировать любые лингвистические арг, СеменСеменыч777 (?), 09:04 , 11-Апр-21, (137)

Заметно, ведь три топора - это популярное в некоторых кругах питиё советских в, n00by (ok), 07:11 , 13-Апр-21, (171)

не вижу связи скорее всего её и нет ps анонимусу сменить ник - дело пяти минут, СеменСеменыч777 (?), 20:20 , 15-Апр-21, (179)

я поставил себе за правило - игнорировать любые аргументы, СеменСеменыч777 (?), 10:06 , 16-Апр-21, (181)

Вот это пральна - , n00by (ok), 10:07 , 16-Апр-21, (182)

Но вообще правильно, слишком грубо это Наверняка все шутят постоянно Предлагаю , Аноним (18), 00:02 , 10-Апр-21, (20) +3
Предлагаю поменять на Гуч, Дихлофос (?), 00:11 , 10-Апр-21, (22)
There are no easter eggs in Gallina , InuYasha (??), 00:34 , 10-Апр-21, (24) –1

Буль-буль , Dzen Python (ok), 01:12 , 10-Апр-21, (29) –2

М-да, у этих анонов нет чувства юмора , InuYasha (??), 11:28 , 11-Апр-21, (142) +1

Предлагаю вообще не использовать буквы любого алфавита - они все так или иначе в, Dzen Python (ok), 01:11 , 10-Апр-21, (28) –4

Концу мир , Аноним (43), 02:21 , 10-Апр-21, (43)

Да, майн либен , Dzen Python (ok), 19:54 , 10-Апр-21, (123) +1
А миру герцог , Annoynymous (ok), 01:41 , 11-Апр-21, (126)

Там это ВВС не собирается предпринимать срочные меры , Аноним (26), 01:12 , 10-Апр-21, (30) +5
Да Правильно Кок это как бы лен половой Надо так назвать - Vagee , Ingener (??), 01:16 , 10-Апр-21, (31) –1
Они там все шутники Например, язык Agda, цитата из вики Agda is named after the, Аноним (32), 01:18 , 10-Апр-21, (32) +1
А питон этих дам не отпугивает , Аноним (35), 01:20 , 10-Апр-21, (35) +2

Многие его не любят, но многие пользуются - на жалость пробивает, вестимо , Аноним (50), 03:22 , 10-Апр-21, (50)

К ч 235 рту Coq, дамы Лучше я познакомлю вас со своим Python-ом , Аноним (37), 01:29 , 10-Апр-21, (37)

твой питончик не идёт ни в какое сравнение с моей анакондой, Аноним (38), 01:49 , 10-Апр-21, (38)

Одноглазой, Аноним (117), 16:39 , 10-Апр-21, (117)

Chick неплохой вариант , YetAnotherOnanym (ok), 02:07 , 10-Апр-21, (42) –1
Могут перейти на кириллицу и больше не будет проблем , Аноним (43), 02:23 , 10-Апр-21, (46) –2
Вечно эти женщины чем-то недовольны, Аноним (49), 03:00 , 10-Апр-21, (49) +2

своей внутренней пустотой, видимо, Аноним (-), 06:55 , 10-Апр-21, (62) +1

а ты заполняй чаще тогда тебе с утра не только пирожков напекут, но и ядро за т, Михрютка (ok), 18:11 , 10-Апр-21, (119) +2

На редкость дельный совет , Annoynymous (ok), 12:17 , 11-Апр-21, (146)

Зачем же так прочерчивать линию между мужчинами и женщинами На самом деле, боль, anonymous (??), 14:57 , 10-Апр-21, (108)

Using the creator name s Coquand as Coq s full nameCoq would be viewed as an abb, Аноним (51), 03:31 , 10-Апр-21, (51) +1
Если an , n 1,2, - последовательность, то как политкорректно назвать an , anonimm (?), 03:58 , 10-Апр-21, (52) –1
Ну и что пусть меняют название, от этого мне не холоднее или теплее , Аноним (54), 04:07 , 10-Апр-21, (54)
С 80-х годов существует и не было ни у кого проблем с названием А тут вдруг поя, nomad__ (ok), 06:54 , 10-Апр-21, (60) +1

Ну а ещё не так давно в мире практиковалось рабство и это было традиционно норма, anonymous (??), 15:00 , 10-Апр-21, (109)

Нахрен этот идиотский мир , nomad__ (ok), 15:44 , 10-Апр-21, (112)
до сих пор практикуется заключенные те же рабы и это нормально просто вы не зна, СеменСеменыч777 (?), 15:53 , 10-Апр-21, (113)

Цинизм - это нормально в отношении других Как и рабство А вот когда тебя - это, Аноним (82), 07:11 , 11-Апр-21, (130)

если выражаться политкорректно философия и этика как её подраздел - это не ваша, СеменСеменыч777 (?), 08:50 , 11-Апр-21, (135)
если неполиткорректно какой еще нашей культуре я отказываюсь иметь общую ку, СеменСеменыч777 (?), 08:58 , 11-Апр-21, (136)
Да, место вздохов о слезинке ребёнка реально -- поводе для вторжения и гуманита, Michael Shigorin (ok), 21:18 , 11-Апр-21, (156)

Только измельчали что-то, лампочки какие-то устаревшие, мелкошвейное производств, пох. (?), 16:28 , 11-Апр-21, (152)

от хозяина зависит как известно, Виктор Бут мотает срок в США, там всех припахал, СеменСеменыч777 (?), 18:35 , 11-Апр-21, (153) +1

Тонкий передёрг Смешивание законов общества в одно время, с восприятием и тарак, Аноним (98), 23:04 , 10-Апр-21, (125)
Почитайте про частные тюрьмы в штатах, много для себя узнаете нового насчёт был, Michael Shigorin (ok), 21:30 , 11-Апр-21, (158)

Просто у этих женщин именно ОН и был на уме, к тому же слишком хорошее знание , Аноним (67), 07:31 , 10-Апр-21, (67) +2
coq это буквально петух с французского, где собственно находится инриа, занима, Аноним (72), 08:34 , 10-Апр-21, (72) +1

Пойду скажу пацанам, что они в петухе PS Ты русский - освой Прям как не-родно, myhand (ok), 19:35 , 10-Апр-21, (121)

У кого что болит , Аноним (74), 08:54 , 10-Апр-21, (75) –1
О доме надо думать , Аноним (76), 09:06 , 10-Апр-21, (76)
Я знаю английский, и у меня не ассоциируется со сленговым Тут дело в характере , Аноним (-), 09:12 , 10-Апр-21, (77) +1
Ой, нашли проблему Переписать на питон, обозвать PyCoq - и членовраждующие сразу, тоже Аноним (ok), 11:42 , 10-Апр-21, (93)

PyCoq - а с чем тут будет ассоциация , Аноним (67), 11:57 , 10-Апр-21, (95)

Peacock, если хватит фантазии Если не хватит - ни с чем, что и требовалось , тоже Аноним (ok), 12:10 , 10-Апр-21, (96) +1

Осталось истеричкам-маразматичкам докопаться до FAQ - десятилетиями существоваше, Gogi (??), 11:43 , 10-Апр-21, (94) +2

, не подсказывай , myhand (ok), 13:20 , 10-Апр-21, (101) +2
назло русским шовинистам переименовать в Habitually Used Inquiries, Михрютка (ok), 14:17 , 10-Апр-21, (106) +1

Давно пора одночлены и многочлены выкинуть из цисгендерной шовинистской мате, Аноним (99), 13:11 , 10-Апр-21, (99)
Gallina лат курица Но это оскорбит российских феменисток , Аноним (117), 16:35 , 10-Апр-21, (114)

В СССР W России феминисток нет, Аноним (116), 16:37 , 10-Апр-21, (116)

Когда-то не было , Аноним (117), 16:41 , 10-Апр-21, (118) +1

когда-то были А теперь если и есть, то лишь на спецзадании , Аноним (82), 07:14 , 11-Апр-21, (131)

Ну тогда всем известный проект питон тоже нужно переименовать, Аноним (116), 16:36 , 10-Апр-21, (115)
И сюда инклюзивные добралсь 129300 , rvs2016 (ok), 19:32 , 10-Апр-21, (120)

а ты я смарю не знаешь что значит это слово , Аноним (82), 07:15 , 11-Апр-21, (132)

Да опеннета ж начитаешься - и не такого узнаешь о , rvs2016 (ok), 10:43 , 11-Апр-21, (141)

На опеннете, кстати, уже родился как-то термин I инклюзиция I , Michael Shigorin (ok), 21:17 , 11-Апр-21, (155) +1

Я предпочёл бы не знать ни это слово, ни прочую xepотень, придуманную вами, альт, Аноним (164), 17:54 , 12-Апр-21, (165)

Ну конечно галинабланка или кокос будет лучше К бабке не ходи , Аноним (173), 12:51 , 13-Апр-21, (173)

Сообщения [Сортировка по ответам | RSS]

1. Сообщение от Hedgehog (??), 09-Апр-21, 23:22 +9 +/–

Зачем эта очень важная "новость" нужна именно на опеннете?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #6, #57, #61, #163

2. Сообщение от Аноним (2), 09-Апр-21, 23:22 +16 +/–

Hey bro nice Coq

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #48, #65, #80, #162

3. Сообщение от Аноним (3), 09-Апр-21, 23:22 –4 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #18, #25, #56, #58, #97

4. Сообщение от Аноным (ok), 09-Апр-21, 23:22 +7 +/–

При всем этом остается загадка: как до сих пор не сломлен ГИМП?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #7, #8, #11

5. Сообщение от Аноним (7), 09-Апр-21, 23:22 +5 +/–

Язык Си - первая буква слова cock.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #33, #34, #70

6. Сообщение от Антифрактал (?), 09-Апр-21, 23:23 +24 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #23, #47, #59

7. Сообщение от Аноним (7), 09-Апр-21, 23:23 –1 +/–

Глимпс

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4 Ответы: #17, #74

8. Сообщение от Антифрактал (?), 09-Апр-21, 23:24 +5 +/–

Прокудин им не дает сломаться, поит их воткой. Это стимулирует их моск посылать на хрен всех чересчур умных

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4 Ответы: #10

10. Сообщение от Annoynymous (ok), 09-Апр-21, 23:31 +2 +/–

Слава Прокудину!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #26

11. Сообщение от Аноним (-), 09-Апр-21, 23:31 +1 +/–

> загадка
https://www.opennet.me/opennews/art.shtml?num=51357
https://www.opennet.me/opennews/art.shtml?num=53602

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4 Ответы: #19

12. Сообщение от timur.davletshin (ok), 09-Апр-21, 23:32 +6 +/–

Если стеблись, когда называли, то надо продолжать в том же духе. Если у кого-то бомбит, то цель достигнута. Не пойму, почему баб должно от "петушка" бомбить? Я думал, что должно наоборот.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #21, #27, #45, #71

13. Сообщение от Аноним (13), 09-Апр-21, 23:35 +9 +/–

А еще надо запретить Code Of Conduct

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #36

15. Сообщение от Аноним (15), 09-Апр-21, 23:41 +/–

Гашина - испанское  слово 😜

Ответить | Правка | Наверх | Cообщить модератору

16. Сообщение от Аноним (16), 09-Апр-21, 23:50 +2 +/–

Так Галина Бланка это не жена Моисея Бланка? Как теперь жить...

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #39

17. Сообщение от Стас Михайлов (?), 09-Апр-21, 23:51 +5 +/–

Не существует.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7

18. Сообщение от Аноним (18), 09-Апр-21, 23:58 +8 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #78, #89

19. Сообщение от Аноным (ok), 09-Апр-21, 23:59 +1 +/–

Форк же, а не переименован

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11

20. Сообщение от Аноним (18), 10-Апр-21, 00:02 +3 +/–

Но вообще правильно, слишком грубо это. Наверняка все шутят постоянно.
>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
Предлагаю что-нибудь более нейтральное, например, Diq - Development of Information Constuctions (по мотивам оригинала). Подойдёт?

Ответить | Правка | Наверх | Cообщить модератору

21. Сообщение от Аноним (21), 10-Апр-21, 00:10 +/–

Например, можно назвать πdr.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12

22. Сообщение от Дихлофос (?), 10-Апр-21, 00:11 +/–

Предлагаю поменять на Гуч

Ответить | Правка | Наверх | Cообщить модератору

23. Сообщение от Аноним (23), 10-Апр-21, 00:27 +19 +/–

Вернее подстраиваясь под впечатлительных подростков, феминисток, гомосеков и прочих психически неустойчивых личностей

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #82, #88

24. Сообщение от InuYasha (??), 10-Апр-21, 00:34 –1 +/–

There are no easter eggs in Gallina!

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #29

25. Сообщение от Cradle (?), 10-Апр-21, 00:35 +/–

французы, сэр. Тогда постебались, а теперь боязно стало.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

26. Сообщение от Аноним (26), 10-Апр-21, 01:07 +/–

Прокудину слава!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10 Ответы: #41

27. Сообщение от Аноним (26), 10-Апр-21, 01:10 +/–

> почему баб должно от "петушка" бомбить?
Потому что небритые цветноволосые ненавидят всё, что связано с "мущщинками"

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12 Ответы: #86

28. Сообщение от Dzen Python (ok), 10-Апр-21, 01:11 –4 +/–

Предлагаю вообще не использовать буквы любого алфавита - они все так или иначе входят в оскорбительные, матерные или эвфеместичные слова, которые оскорбляют книггеров и жирофемок.
Предлагаю вообще не использовать цифры - они тоже могут быть оскорбительны: 14-88 или 13-99 оскорбляют антифа, дни рождения самых страшных маньяков, тиранов, комми и шовинистов состоят из цифр и могут оскорбить любого.
Предлагаю вообще не использовать в названиях спецсимволы - аутисты, дисграфики и клинические слабоумные не могут их ни прочитать, не произнести, а это, между прочим, дискриминация и ущемление.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #43

29. Сообщение от Dzen Python (ok), 10-Апр-21, 01:12 –2 +/–

Буль-буль!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #24 Ответы: #142

30. Сообщение от Аноним (26), 10-Апр-21, 01:12 +5 +/–

Там это... ВВС не собирается предпринимать срочные меры?

Ответить | Правка | Наверх | Cообщить модератору

31. Сообщение от Ingener (??), 10-Апр-21, 01:16 –1 +/–

Да. Правильно. "Кок" это как бы ..лен половой. Надо так назвать - Vagee.

Ответить | Правка | Наверх | Cообщить модератору

32. Сообщение от Аноним (32), 10-Апр-21, 01:18 +1 +/–

Они там все шутники. Например, язык Agda, цитата из вики
"Agda is named after the Swedish song "Hönan Agda".... which is about a hen named Agda. This alludes to the naming of Coq."

Ответить | Правка | Наверх | Cообщить модератору

33. Сообщение от Жорш (?), 10-Апр-21, 01:18 +1 +/–

А rust от ruster - кугут

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #91

34. Сообщение от Аноним (34), 10-Апр-21, 01:19 +3 +/–

Я прозрел

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

35. Сообщение от Аноним (35), 10-Апр-21, 01:20 +2 +/–

А питон этих дам не отпугивает?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #50

36. Сообщение от Жорш (?), 10-Апр-21, 01:20 +/–

CoC всегда потеха для рубиста

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13

37. Сообщение от Аноним (37), 10-Апр-21, 01:29 +/–

К чëрту Coq, дамы! Лучше я познакомлю вас со своим Python-ом!

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #38

38. Сообщение от Аноним (38), 10-Апр-21, 01:49 +/–

твой питончик не идёт ни в какое сравнение с моей анакондой

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #117

39. Сообщение от cz (??), 10-Апр-21, 01:52 +6 +/–

На испанском "Gallina blanca" - это вообще "Белая курица". Попробуйте пожить с этим.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16 Ответы: #69

41. Сообщение от Аноним (41), 10-Апр-21, 02:01 +/–

Андрей

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #26

42. Сообщение от YetAnotherOnanym (ok), 10-Апр-21, 02:07 –1 +/–

Chick неплохой вариант.

Ответить | Правка | Наверх | Cообщить модератору

43. Сообщение от Аноним (43), 10-Апр-21, 02:21 +/–

Концу мир!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #28 Ответы: #123, #126

45. Сообщение от Аноним (45), 10-Апр-21, 02:23 +4 +/–

Вот же неженки блин, бабу коком напугали. Толи наши люди, ковыряются в Zope молча и не хнычут.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12 Ответы: #87

46. Сообщение от Аноним (43), 10-Апр-21, 02:23 –2 +/–

Могут перейти на кириллицу и больше не будет проблем.

Ответить | Правка | Наверх | Cообщить модератору

47. Сообщение от Аноним (47), 10-Апр-21, 02:40 +4 +/–

> мир сходит с ума
    CKEditor — свободный WYSIWYG-редактор
    До версии 3.0 назывался FCKeditor («FCK» от имени создателя редактора,
    Frederico Caldeira Knabben), но сменил имя чтобы не ассоциироваться
    с распространённым в английском языке ругательством
>   CKEditor 3.0 is here!
>   by Frederico Knabben
>   Posted on 2009-08-21
>   Posted on 2009-08-21
>   Posted on 2009-08-21

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #81

48. Сообщение от Аноним (-), 10-Апр-21, 02:43 +1 +/–

Nice coq, awesome balls.
terminator.jpg

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

49. Сообщение от Аноним (49), 10-Апр-21, 03:00 +2 +/–

Вечно эти женщины чем-то недовольны

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #62, #108

50. Сообщение от Аноним (50), 10-Апр-21, 03:22 +/–

Многие его не любят, но многие пользуются - на жалость пробивает, вестимо.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35

51. Сообщение от Аноним (51), 10-Апр-21, 03:31 +1 +/–

Using the creator name's Coquand as Coq's full name
Coq would be viewed as an abbreviation. ...
Talia: I really like this. The only slightly weird thing about it is that he is alive
Ну это как раз решаемая проблема!

Ответить | Правка | Наверх | Cообщить модератору

52. Сообщение от anonimm (?), 10-Апр-21, 03:58 –1 +/–

Если {an}, n=1,2,... - последовательность, то как политкорректно назвать an?

Ответить | Правка | Наверх | Cообщить модератору

54. Сообщение от Аноним (54), 10-Апр-21, 04:07 +/–

Ну и что?пусть меняют название, от этого мне не холоднее или теплее.

Ответить | Правка | Наверх | Cообщить модератору

56. Сообщение от Lex (??), 10-Апр-21, 04:30 –2 +/–

Coq - петух (с франц)
Раньше было модно-молодёжно по дурацки именовать продукт. Не удивлюсь, если те же самые разработчики выросли и внезапно поняли, что это скорее тупо, чем юморнО.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #79, #85, #92

57. Сообщение от Аноним (57), 10-Апр-21, 06:02 –2 +/–

> Зачем эта очень важная "новость" нужна именно на опеннете?
Чтобы через Интерпол его экстрадировать в РФ и посадить здесь в тюрьму за оскорбление чувств, с готовой кликухой.
Нечего проектам дурацкие названия придумывать!
И нужно немедленно составить базу знаний по оскорбительным словам всех языков Мира, чтобы нейросеть сразу определяла, можно такое название использовать или нет.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #111

58. Сообщение от Аноним (57), 10-Апр-21, 06:04 +1 +/–

> - неясно.
Пропиарились же.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

59. Сообщение от Аноним (59), 10-Апр-21, 06:47 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #63

60. Сообщение от nomad__ (ok), 10-Апр-21, 06:54 +1 +/–

С 80-х годов существует и не было ни у кого проблем с названием. А тут вдруг появились. Бесноватые и сюда добрались.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #109

61. Сообщение от myhand (ok), 10-Апр-21, 06:54 +/–

Ну а при каком обстоятельстве посетители opennetу впринципе могли бы узнать, что там не только "негров линчуют", но и формализацией математики занимаются на уровне, за которым уже целым институтам РАН не угнаться?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #64

62. Сообщение от Аноним (-), 10-Апр-21, 06:55 +1 +/–

своей внутренней пустотой, видимо

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49 Ответы: #119

63. Сообщение от Тот_Самый_Анонимус (?), 10-Апр-21, 06:56 +14 +/–

>Язык международного общения - английский.
Однако, в основном, только носители этого недоязыка понимают эту игру слов. Я вот не знаю всего множества жаргонизмов, которыми носители языка называют *уй. И даже запоминать не собираюсь. И автора этого продукта это не парило достаточно продолжительное время. Просто сейчас истерия в тренде.
>Не китайский и не русский как некоторым здесь не хотелось.
Это тоже языки международного общения, как бы вам не хотелось иного.
> Если авторы данного инструментария хотят популярности в мировом масштабе
Не в мировом масштабе, а популярности среди истеричек, которым везде *уй мерещится (даже в хлебобулочных изделиях продолговатой формы). Гимпу вон плевать на такое. Идите, почитайте им лекции, как распростанять свой продукт по миру.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #59 Ответы: #68, #84

64. Сообщение от Тот_Самый_Анонимус (?), 10-Апр-21, 06:59 +2 +/–

>но и формализацией математики занимаются на уровне, за которым уже целым институтам РАН не угнаться?
Ради красного словца не пожалеем и отца? Разумеется подтверждения своим словм вы не приведёте.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #61 Ответы: #66

65. Сообщение от iPony129412 (?), 10-Апр-21, 07:04 –1 +/–

https://derpicdn.net/img/view/2021/4/2/2584442__safe_artist-...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

66. Сообщение от myhand (ok), 10-Апр-21, 07:06 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #64

67. Сообщение от Аноним (67), 10-Апр-21, 07:31 +2 +/–

Просто у этих женщин именно "ОН" и был на уме, к тому же слишком хорошее знание ин_юс  до добра не доводит. Русский надо знать - великий и могучий и кок будет соком.

Ответить | Правка | Наверх | Cообщить модератору

68. Сообщение от myhand (ok), 10-Апр-21, 07:37 –2 +/–

> Это тоже языки международного общения, как бы вам не хотелось иного.
Про китайский - согласен, хотя это больше дело будущего.
А на русском ты разве что в вестник Бобруйского университета сможешь писать.  И то - пока.
> Гимпу вон плевать на такое.
Вопрос времени когда его достанут.
Тут вот все просто: M$, гранты.  Взяли под козырек, на всякий случай.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #63 Ответы: #139

69. Сообщение от n00by (ok), 10-Апр-21, 07:45 +/–

Для Галлов петух тотемная птица, предвестник рассвета.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39 Ответы: #100

70. Сообщение от Q2W (?), 10-Апр-21, 08:10 +5 +/–

Думаю, низкосортный вообще и сортирный в частности юмор существовал и раньше.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

71. Сообщение от Ag (ok), 10-Апр-21, 08:31 +/–

А представьте когда такие проблемы надо будет разруливать авторам учебников и пособий по птицеводству!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12 Ответы: #73

72. Сообщение от Аноним (72), 10-Апр-21, 08:34 +1 +/–

> Сходство звучания Coq и Cock (англ. петух) ...
coq это буквально "петух" с французского, где собственно находится инриа, занимающаяся его разработкой)

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #121

73. Сообщение от timur.davletshin (ok), 10-Апр-21, 08:41 +/–

> А представьте когда такие проблемы надо будет разруливать авторам учебников и пособий
> по птицеводству!
Каплун/пулярка — всё придумано уже.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #71

74. Сообщение от Аноним (74), 10-Апр-21, 08:51 +1 +/–

Глиномес.
FTGJFIX

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7

75. Сообщение от Аноним (74), 10-Апр-21, 08:54 –1 +/–

У кого что болит.

Ответить | Правка | Наверх | Cообщить модератору

76. Сообщение от Аноним (76), 10-Апр-21, 09:06 +/–

О доме надо думать.

Ответить | Правка | Наверх | Cообщить модератору

77. Сообщение от Аноним (-), 10-Апр-21, 09:12 +1 +/–

Я знаю английский, и у меня не ассоциируется со сленговым. Тут дело в характере и воспитании человека. Зачем разработчикам и пользователям этой программы поддавался на издевательски выпады в свою сторону?
Эта ситуация, по-моему даже полезна. Тот кто будет делать издевательские намеки будет записан в разряд быдла. Эффект лакмусовой бумажки выявит всех изнутри гнилых людей.

Ответить | Правка | Наверх | Cообщить модератору

78. Сообщение от пох. (?), 10-Апр-21, 09:21 +/–

Потому что этот Терри совершенно не парится что кто-то на слух воспримет его фамилию как "Петушара". И менять ее не планирует.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #18

79. Сообщение от пох. (?), 10-Апр-21, 09:22 +2 +/–

А фамилию им тоже выросши внезапно сменить? А то ж вызывает нездоровые ассоциации.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56

80. Сообщение от Человек под травой (?), 10-Апр-21, 09:25 +/–

Nice coq, swesome proofs.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

81. Сообщение от Неа (?), 10-Апр-21, 09:26 –2 +/–

Этот редактор такое же гуано, как и аргументы про Coq

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #47 Ответы: #83

82. Сообщение от Аноним (82), 10-Апр-21, 10:01 +2 +/–

анон, ну не смешно вообще. Если ьы он назывался hui - у нас бы точно так же измывались над ним.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23 Ответы: #138, #154, #161

83. Сообщение от Аноним (82), 10-Апр-21, 10:03 –2 +/–

А как тебе ЁбРедактор? Сколько у нас ржали над ё-мобилем? Или это другое? Свое как грица не пахнет?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #81 Ответы: #176

84. Сообщение от Аноним (82), 10-Апр-21, 10:04 –1 +/–

> этого недоязыка
и 7 лайкосов.
Как грица угадай в какой стране живут нацисты, расисты и шовинисты.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #63 Ответы: #140, #166, #167

85. Сообщение от Аноним (82), 10-Апр-21, 10:10 +1 +/–

лол блин. Ты правда считаешь что петух имеет негативную коннотацию во Франции? Петушиная субкультура - она же географически находится в других местах.
/мимо подписчик на мопса

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56 Ответы: #104, #143

86. Сообщение от Аноним (82), 10-Апр-21, 10:14 –2 +/–

вообще не врубаешься. Сидят двое коллег пишут доказательства: парень, девушка. Парень подзывает девушку и говорит, показывая на код на экране и глумливо улыбаясь: "Как тебе мой coq?". Я не знаю ни одной даже условно приличной девушки, даже нашей, которая будет долго терпеть такие шутеечки.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #27 Ответы: #90, #98, #168, #170

87. Сообщение от Аноним (82), 10-Апр-21, 10:15 +/–

Так там же уже Grok или что там?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #45

88. Сообщение от Ordu (ok), 10-Апр-21, 10:38 +3 +/–

Обидно, да? Под впечатлительных подростков, феминисток и гомосеков они подстраиваются, а под впечатлительных опеннетовцев, которые до сих пор триггерятся по поводу Pidora они не подстраиваются.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23 Ответы: #103

89. Сообщение от Тётка с ведром (?), 10-Апр-21, 10:43 +/–

No fun allowed.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #18

90. Сообщение от n00by (ok), 10-Апр-21, 11:26 +2 +/–

> Я не знаю ни одной даже условно
> приличной девушки, даже нашей, которая будет долго терпеть такие шутеечки.
Когда-то в очередной раз сдавал лабу по туннельному эффекту, а наш поток безуспешно этим занимался уже третий месяц. Мне это дело на пальцах накидал один шаман, и я провёл аналогию с сифоном: берём стакан с водой, опускаем трубку; что бы вода преодолела потенциальный барьер, надо... отсосать.
Вот тут я услышал тот самый звук тишины. Вся группа набрала полные лёгкие воздуха, что бы утешиться несчастьем ближнего. У препода от моих слов глаза на лоб полезли. Она выдержала паузу, обвела опешившим взглядом студентов и выдала: "хоть кто-то что-то понял!" Ну а кто полные лёгкие не удержал и взоржал, те ещё пару месяцев искали более подходящее слово.
Так что, друг Горацио, впереди ещё много открытий чудных.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #86 Ответы: #105, #129

91. Сообщение от Какаянахренразница (ok), 10-Апр-21, 11:26 +/–

> кугут
Давненько не слышал этого слова.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33

92. Сообщение от Gogi (??), 10-Апр-21, 11:39 –2 +/–

Представляю, как сейчас краснеет в гробу Джобс со своим.... ха... ЯБЛОКОМ! :)))

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56

93. Сообщение от тоже Аноним (ok), 10-Апр-21, 11:42 +/–

Ой, нашли проблему.
Переписать на питон, обозвать PyCoq - и членовраждующие сразу подавятся аргументами.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #95

94. Сообщение от Gogi (??), 10-Апр-21, 11:43 +2 +/–

Осталось истеричкам-маразматичкам докопаться до FAQ - десятилетиями существовашее сокращение.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #101, #106

95. Сообщение от Аноним (67), 10-Апр-21, 11:57 +/–

PyCoq - а с чем тут будет ассоциация?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #93 Ответы: #96

96. Сообщение от тоже Аноним (ok), 10-Апр-21, 12:10 +1 +/–

> PyCoq - а с чем тут будет ассоциация?
Peacock, если хватит фантазии. Если не хватит - ни с чем, что и требовалось.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #95

97. Сообщение от Аноним (97), 10-Апр-21, 12:28 +2 +/–

Потому что в основу Coq положена теория типов "calculus of constructions" (CoC).

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

98. Сообщение от Аноним (98), 10-Апр-21, 12:47 +2 +/–

Анатомию иди отмени. Там не только названия, но и картинки показывают неприличные.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #86 Ответы: #159

99. Сообщение от Аноним (99), 10-Апр-21, 13:11 +/–

Давно пора "одночлены" и "многочлены" выкинуть из цисгендерной шовинистской математики.

Ответить | Правка | Наверх | Cообщить модератору

100. Сообщение от Аноним (100), 10-Апр-21, 13:12 +1 +/–

Он для всех нормальных людей предвестник рассвета. Кроме всяких городских озабоченных с подвортами

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #69 Ответы: #134

101. Сообщение от myhand (ok), 10-Апр-21, 13:20 +2 +/–

*****, не подсказывай!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #94

103. Сообщение от Аноним (23), 10-Апр-21, 13:42 +7 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #88 Ответы: #110

104. Сообщение от Lex (??), 10-Апр-21, 13:58 +1 +/–

> лол блин. Ты правда считаешь что петух имеет негативную коннотацию во Франции?
> Петушиная субкультура - она же географически находится в других местах.
Я лишь говорю, что кок - петух с французского. И что раньше была мода черти как называть проги.
Вот ты можешь по названию проги - «петух», однозначно догадаться что так называется инструментарий для доказательства теорем ?
У фрацузов и жителей южной европы своя субкультура петушиная.. с той лишь разницей, что «петух» там скорее комплимент..
И кОков тех полным-полно. Почитать, хотя бы, историю открытия металла галлия.. французом лекоком из г. коньяк

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #85 Ответы: #128

105. Сообщение от Михрютка (ok), 10-Апр-21, 14:12 +/–

тетка в теме. чтобы сдать лабу - надо отсосать.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #90 Ответы: #133

106. Сообщение от Михрютка (ok), 10-Апр-21, 14:17 +1 +/–

назло русским шовинистам переименовать в Habitually Used Inquiries

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #94

108. Сообщение от anonymous (??), 10-Апр-21, 14:57 +/–

Зачем же так прочерчивать линию между мужчинами и женщинами? На самом деле, большинство мужчин и женщин вообще не в курсе про coq.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49

109. Сообщение от anonymous (??), 10-Апр-21, 15:00 +/–

Ну а ещё не так давно в мире практиковалось рабство и это было традиционно нормальным явлением. И аналогично "ни у кого не было с этим проблем". Мир меняется. Адаптируйтесь ;)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #60 Ответы: #112, #113, #125, #158

110. Сообщение от Ordu (ok), 10-Апр-21, 15:04 +1 +/–

А когда людям надоедает это хихиканье "адекватных" и "психически здоровых" при каждом упоминании их проекта, они делают что? Переименовывают проект, чтобы не хихикали.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #103 Ответы: #164

111. Сообщение от СеменСеменыч777 (?), 10-Апр-21, 15:41 +/–

> составить базу знаний по оскорбительным словам всех языков Мира,
> чтобы нейросеть сразу определяла, можно такое название использовать или нет.
есть мнение, что НИКАКОЕ название не пройдет через такую нейросеть.
везде будет значимая подстрока или омоним или еще чего-то типа
оскорбления беременных негролебезьянок.
ps: например SemenSemenych777 точно не пройдет. потомучто.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #57 Ответы: #127

112. Сообщение от nomad__ (ok), 10-Апр-21, 15:44 +/–

> Ну а ещё не так давно в мире практиковалось рабство и это
> было традиционно нормальным явлением. И аналогично "ни у кого не было
> с этим проблем". Мир меняется. Адаптируйтесь ;)
Нахрен этот идиотский мир.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #109

113. Сообщение от СеменСеменыч777 (?), 10-Апр-21, 15:53 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #109 Ответы: #130, #152

114. Сообщение от Аноним (117), 10-Апр-21, 16:35 +/–

Gallina (лат. курица)
Но это оскорбит российских феменисток!

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #116

115. Сообщение от Аноним (116), 10-Апр-21, 16:36 +/–

Ну тогда всем известный проект питон тоже нужно переименовать

Ответить | Правка | Наверх | Cообщить модератору

116. Сообщение от Аноним (116), 10-Апр-21, 16:37 +/–

В СССР^W России феминисток нет

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #114 Ответы: #118

117. Сообщение от Аноним (117), 10-Апр-21, 16:39 +/–

Одноглазой

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #38

118. Сообщение от Аноним (117), 10-Апр-21, 16:41 +1 +/–

Когда-то не было.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #116 Ответы: #131

119. Сообщение от Михрютка (ok), 10-Апр-21, 18:11 +2 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #62 Ответы: #146

120. Сообщение от rvs2016 (ok), 10-Апр-21, 19:32 +/–

И сюда инклюзивные добралсь 🤔

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #132

121. Сообщение от myhand (ok), 10-Апр-21, 19:35 +/–

> где собственно находится инриа
Пойду скажу пацанам, что они в петухе.
PS: Ты русский - освой.  Прям как не-родной...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #72

123. Сообщение от Dzen Python (ok), 10-Апр-21, 19:54 +1 +/–

Да, майн либен?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #43

125. Сообщение от Аноним (98), 10-Апр-21, 23:04 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #109

126. Сообщение от Annoynymous (ok), 11-Апр-21, 01:41 +/–

> Концу мир!
А миру герцог!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #43

127. Сообщение от Аноним (82), 11-Апр-21, 06:57 +/–

"СеменСеменыч777" бы не прошел прежде всего в СССР, ежели бы тот не распался. Потому что уничижительный для Советского человека ник.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #111

128. Сообщение от Аноним (82), 11-Апр-21, 07:01 +2 +/–

> Вот ты можешь по названию проги - «петух», однозначно догадаться что так называется инструментарий для доказательства теорем ?
Вот ты можешь по названию проги - «Windows», однозначно догадаться что так называется операционная система?
Вот ты можешь по названию проги - «Inkscape», однозначно догадаться что так называется инструментарий для векторной графики ?
Вот ты можешь по названию проги - «WinRar», однозначно догадаться что так называется инструментарий для архивирования ?
Вот ты можешь по названию проги - «Photoshop», однозначно догадаться что так называется графический редактор ?
ну ты понял...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #104 Ответы: #151

129. Сообщение от Аноним (82), 11-Апр-21, 07:04 +/–

Ж))))))

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #90

130. Сообщение от Аноним (82), 11-Апр-21, 07:11 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #113 Ответы: #135, #136, #156

131. Сообщение от Аноним (82), 11-Апр-21, 07:14 +/–

когда-то были.
А теперь если и есть, то лишь на спецзадании.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #118

132. Сообщение от Аноним (82), 11-Апр-21, 07:15 +/–

а ты я смарю не знаешь что значит это слово?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #120 Ответы: #141, #165

133. Сообщение от n00by (ok), 11-Апр-21, 07:25 +2 +/–

Есть такая штука - шприц для удаления припоя, он же вакуумный оловоотсос, в просторечии "отсосник".  Я с его помощью нерабочий стенд за дипломниками восстановил. За что мне все лабы зачли. ;)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #105

134. Сообщение от n00by (ok), 11-Апр-21, 07:46 +/–

Есть версия, что "галлы" и "славяне" -- эдакая лингвистическая калька. Первое родственно с "голос", а второе со "слово". Ныне homo sapiens-ы, а тогда был "человек говорящий".

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #100 Ответы: #137

135. Сообщение от СеменСеменыч777 (?), 11-Апр-21, 08:50 +/–

если выражаться политкорректно: философия и этика как её подраздел - это не ваша сильная сторона. просто смиритесь с этим. по мере накопления жизненного опыта может быть что-то и будет.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #130

136. Сообщение от СеменСеменыч777 (?), 11-Апр-21, 08:58 +/–

если неполиткорректно: какой еще "нашей культуре" ? я отказываюсь иметь общую культуру с SJW всех сортов, хипстреней-смузихлебами и половыми извращенцами.
последним я уже готов отказать в биологической принадлежности к виду Homo Sapiens Sapiens, потому что они сломали несколько базовых инстинктов. это уже не люди, "эмпатия" к ним неприменима и вредна.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #130

137. Сообщение от СеменСеменыч777 (?), 11-Апр-21, 09:04 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #134 Ответы: #171

138. Сообщение от RomanCh (ok), 11-Апр-21, 09:50 +/–

Почему "бы"? Пожалуйста: https://gethue.com/
PS Кстати работает оно вполне соответствуще своему названию (для русскоговорящих)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #82

139. Сообщение от RomanCh (ok), 11-Апр-21, 09:54 +1 +/–

> А на русском ты разве что в вестник Бобруйского университета сможешь писать.
Нет. В ООН на самом деле тоже можно: https://www.un.org/ru/sections/about-un/official-languages/i...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #68 Ответы: #144

140. Сообщение от RomanCh (ok), 11-Апр-21, 09:57 +/–

> Как грица угадай в какой стране живут нацисты, расисты и шовинисты.
Во всех. К сожалению.
Но вообще про проблемы английского я в целом согласен, в силу того что он совершенно не фонетический. Т.е. невозможно зная алфавит правильно прочитать слова. Хуже того, носители языка сами не всегда уверены как произносится фамилия того или иного коллеги, если она сильно отличается от наиболее распространённых. При работе в международных компаниях это очень сильно доставляет, если честно.
И самое плохое, что никто ничего с этим не собирается делать.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #84 Ответы: #145

141. Сообщение от rvs2016 (ok), 11-Апр-21, 10:43 +/–

> а ты я смарю не знаешь что значит это слово?
Да опеннета ж начитаешься - и не такого узнаешь! :о)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #132 Ответы: #155

142. Сообщение от InuYasha (??), 11-Апр-21, 11:28 +1 +/–

М-да, у этих анонов нет чувства юмора. )

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #29

143. Сообщение от InuYasha (??), 11-Апр-21, 11:33 +2 +/–

Вообще, FYI, петух во франции - это почти что национальный маскот.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #85

144. Сообщение от myhand (ok), 11-Апр-21, 12:15 –1 +/–

Ну, ООН - известна своей научностью.  Там даже Эйлер состоял.
Нет, вру.  Эйлер в Петербургской, Берлинской и Парижской академиях состоял.  А в ООН состоят всякие шейхи, работорговцы, вчерашние людоеды и проч. человеческий мусор.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #139 Ответы: #147

145. Сообщение от myhand (ok), 11-Апр-21, 12:16 +/–

А зачем с этим что-то делать?  Есть эсперанто.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #140 Ответы: #148

146. Сообщение от Annoynymous (ok), 11-Апр-21, 12:17 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #119

147. Сообщение от RomanCh (ok), 11-Апр-21, 12:44 +1 +/–

> и проч. человеческий мусор.
Уууу... Понятно.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #144

148. Сообщение от RomanCh (ok), 11-Апр-21, 12:45 +1 +/–

> А зачем с этим что-то делать?  Есть эсперанто.
И как у вас с ним? Регулярно практикуете? Научные статьи в мухосранскую академию эсперанто пишете?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #145 Ответы: #177

151. Сообщение от Lex (??), 11-Апр-21, 14:42 +/–

> Вот ты можешь по названию проги - «Windows», однозначно догадаться что так
> называется операционная система?
Окна.. экраны. Какая-то взаимосвязь есть
> Вот ты можешь по названию проги - «Inkscape», однозначно догадаться что так
> называется инструментарий для векторной графики ?
ink - чернила. Есть какая-то связь с рисованием и "рисовалкой"
> Вот ты можешь по названию проги - «WinRar», однозначно догадаться что так
> называется инструментарий для архивирования ?
WinRar - [Rar]-архиватор для [Win]dows. Связь есть.
Rar - формат сжатия, разработанный Евгением Рошалом. И название - [Р]ошал [Ар]хиватор. Т.е даже в названии формата упоминается, для чего он.
> Вот ты можешь по названию проги - «Photoshop», однозначно догадаться что так
> называется графический редактор ?
Изображения, фотографии.. какая-то связь есть
> ну ты понял...
Ну вообще-то нет.
Так какая связь между названием Петух( в лучшем случае ) и инструментарием для доказательства теорем ?
Не видеоредактором, не подборкой горячих видосиков 18+, не инструментарием восстановления поврежденных древних надписей и изображений, разработанного во Франции, не ПО для автоматизации фермы или чего-то еще подобного.. а, черт возьми,  инструментарием для доказательства теорем.
Конечно, можно тупо сослаться на три первых буквы фамилии ОДНОГО ИЗ разработчиков ( не удивлюсь, если "совершенно случайно" именно того, с фамилией которого получалось не "пет" / "сти" / "мих" / "гам" / итп, а именно кок ), но это будет слишком тупо.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #128 Ответы: #157

152. Сообщение от пох. (?), 11-Апр-21, 16:28 +/–

> до сих пор практикуется. заключенные те же рабы.
Только измельчали что-то, лампочки какие-то устаревшие, мелкошвейное производство в основном тех же роб для самих себя, всякая ерунда короче ненужная и некачественная - а где новые пирамиды?! Где акведуки?! Твою ж двадцать - даже ж поганый БАМ не осилили (его настоящие рабы потом достраивали - инженерные войска, по пояс в болотах)
>> Мир меняется.
> просто вы не знаете мир, в котором живете.
меняется-меняется. В древние прекрасные времена рабы назывались "живые убитые". В офис ходить их не заставляли. Правда, жили ровно до праздника сбора урожая. А потом - добро пожаловать воон на ту площадочку. Видите, ржавый меч посередке торчит?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #113 Ответы: #153

153. Сообщение от СеменСеменыч777 (?), 11-Апр-21, 18:35 +1 +/–

>  всякая ерунда короче ненужная и некачественная
от хозяина зависит.
как известно, Виктор Бут мотает срок в США, там всех припахали собирать какую-то электронику для Томагавков. причем, ни одного из з\к не примут на тот же завод вольным наймом после окончания срока, по соображениям безопасности.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #152

154. Сообщение от ого (?), 11-Апр-21, 19:43 +/–

но истерить до смены названия не стали бы.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #82

155. Сообщение от Michael Shigorin (ok), 11-Апр-21, 21:17 +1 +/–

На опеннете, кстати, уже родился как-то термин инклюзиция.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #141

156. Сообщение от Michael Shigorin (ok), 11-Апр-21, 21:18 +/–

> А вообще отсутствие эмпатии в нашей культуре показывает лишь ее место
> в культуре Человечества
Да, место вздохов о слезинке ребёнка (реально -- поводе для вторжения и гуманитарных бомбардировок с последующим разграблением) в культуре человечества и впрямь вполне понятно.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #130

157. Сообщение от Michael Shigorin (ok), 11-Апр-21, 21:25 +1 +/–

> Rar - формат сжатия, разработанный Евгением Рошалом. И название - [Р]ошал [Ар]хиватор.
[...]
> Конечно, можно тупо сослаться на три первых буквы фамилии ОДНОГО ИЗ разработчиков
Мнэээ... Вы точно с собой дискутировали? :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #151 Ответы: #160

158. Сообщение от Michael Shigorin (ok), 11-Апр-21, 21:30 +/–

> Ну а ещё не так давно в мире практиковалось рабство и это
> было традиционно нормальным явлением.
Почитайте про частные тюрьмы в штатах, много для себя узнаете нового насчёт "было".  Хотя и в федеральных там, по словам Бутиной, тоже тот ещё беспредел.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #109

159. Сообщение от пох. (?), 12-Апр-21, 11:03 +/–

уже ж отменили (точнее, пытались): https://kulturomania.ru/news/item/kommunisty-rossii-prizvali.../
трогательное единство коммуняк и попов ;-)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #98

160. Сообщение от Lex (??), 12-Апр-21, 11:21 +/–

>> Конечно, можно тупо сослаться на три первых буквы фамилии ОДНОГО ИЗ разработчиков
> Мнэээ... Вы точно с собой дискутировали? :)
Заранее ответил, предвидя очередной тупой вопрос в продолжение не мене тупого срача

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #157

161. Сообщение от Wine_O_Feliya (?), 12-Апр-21, 15:11 +/–

Это как с проектом "pydora"? Где-то в тексте на PyPI можно засвидетельствовать " [..] config file pydora [..]"

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #82

162. Сообщение от Wine_O_Feliya (?), 12-Апр-21, 15:13 +/–

Gallina blank'a bool bool

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

163. Сообщение от НеОН (?), 12-Апр-21, 17:23 +1 +/–

Слава морфу! Слава 404!
Защифрованное послание, которое поймут лишь избранные!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

164. Сообщение от Аноним (164), 12-Апр-21, 17:26 +2 +/–

Новость читал? Не автору надоело хихканье, иначе он бы так не назвал. А "некоторые пользователи-женщины" АБИДЕЛИСЬ на "двумысленные шутки".
Кстати, если в твоём нике заменить первые 4 буквы на c, o, c и k - тоже получится АБИДНОЕ двусмысленное слово! Я оскорблён! Переименуйся, пожалуйста, иначе я тебе травлю устрою :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #110 Ответы: #169

165. Сообщение от Аноним (164), 12-Апр-21, 17:54 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #132

166. Сообщение от Доктор психушки (?), 12-Апр-21, 17:59 +/–

> нацисты, расисты и шовинисты
Какой вы агрессивный, батенька! Будем лечиться! Смирительную рубашку на него! Тащите на процедуры

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #84 Ответы: #178

167. Сообщение от Аноним (164), 12-Апр-21, 18:02 +/–

> Как грица угадай в какой стране живут нацисты, расисты и шовинисты.
Чувачок, тебе реально нужно как минимум успокоительного попить. Когда везде мерещатся нацисты и расисты - это ненормально.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #84

168. Сообщение от Аноним (164), 12-Апр-21, 18:20 +2 +/–

> показывая на код на экране и глумливо улыбаясь: "Как тебе мой coq?"
Какая надуманная ситуация.
Я девушка-программист, и 1) никогда такого рода шутки не встречала, хотя начала работать ещё до массовой истерии обид, когда нравы были свободнее; 2) если б и услышала, просто спокойно проигнорила, и с лёгкой улыбкой приступила бы к критике его coq-а )
Если человек настолько чувствителен, что его такие двусмысленные слова оскорбляют, пусть идёт двор мести, где с ним никто не разговаривает и обидеться не на кого.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #86

169. Сообщение от Ordu (ok), 12-Апр-21, 18:27 +/–

> Новость читал? Не автору надоело хихканье, иначе он бы так не назвал.
> А "некоторые пользователи-женщины" АБИДЕЛИСЬ на "двумысленные шутки".
Да. "Адекватные" и "психически здоровые" люди отпускали "двусмысленные шутки" в отношении женщин, работавших с coq. Их это задрало, автор вошёл в положение, и согласился с тем, что стоит переименовать.
> Кстати, если в твоём нике заменить первые 4 буквы на c, o,
> c и k - тоже получится АБИДНОЕ двусмысленное слово! Я оскорблён!
> Переименуйся, пожалуйста, иначе я тебе травлю устрою :)
Устраивай! Я люблю, когда меня травят "адекватные" и "психически здоровые". Если это поможет тебе решиться на травлю, я могу попросить Шигорина сменить мне ник на cock.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #164

170. Сообщение от ого (?), 12-Апр-21, 18:56 +/–

ты бы, конечно, предпочёл, чтобы это были два парня, да?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #86

171. Сообщение от n00by (ok), 13-Апр-21, 07:11 +/–

> я поставил себе за правило - игнорировать любые лингвистические аргументы,
Заметно, ведь "три топора" - это популярное в некоторых кругах питиё советских времён.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #137 Ответы: #179

173. Сообщение от Аноним (173), 13-Апр-21, 12:51 +/–

Ну конечно галинабланка или кокос будет лучше. К бабке не ходи!

Ответить | Правка | Наверх | Cообщить модератору

176. Сообщение от Noname (??), 13-Апр-21, 15:52 –1 +/–

> ЁбРедактор
Vi как vi, чё бухтеть- то?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #83

177. Сообщение от Noname (??), 13-Апр-21, 15:56 +/–

- Ты же робот, имитация жизни! Может робот способен написать симфонию?
- Будто ты можешь.
занавес

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #148

178. Сообщение от Noname (??), 13-Апр-21, 15:58 +/–

А что не так?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #166

179. Сообщение от СеменСеменыч777 (?), 15-Апр-21, 20:20 +/–

>> > я поставил себе за правило - игнорировать любые лингвистические аргументы,
> Заметно, ведь "три топора" - это популярное в некоторых кругах питиё советских
> времён.
не вижу связи. скорее всего её и нет.
ps: анонимусу сменить ник - дело пяти минут. подумайте об этом.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #171 Ответы: #181

181. Сообщение от СеменСеменыч777 (?), 16-Апр-21, 10:06 +/–

>>> > я поставил себе за правило - игнорировать любые лингвистические аргументы,
>> Заметно, ведь "три топора" - это популярное в некоторых кругах питиё советских
>> времён.
> не вижу связи. скорее всего её и нет.
> ps: анонимусу сменить ник - дело пяти минут. подумайте об этом.
я поставил себе за правило - игнорировать любые аргументы

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #179 Ответы: #182

182. Сообщение от n00by (ok), 16-Апр-21, 10:07 +/–

>>>> > я поставил себе за правило - игнорировать любые лингвистические аргументы,
>>> Заметно, ведь "три топора" - это популярное в некоторых кругах питиё советских
>>> времён.
>> не вижу связи. скорее всего её и нет.
>> ps: анонимусу сменить ник - дело пяти минут. подумайте об этом.
> я поставил себе за правило - игнорировать любые аргументы
Вот это пральна! ;-)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #181

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2025 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

1. Сообщение от Hedgehog (??), 09-Апр-21, 23:22	+9 +/–
Зачем эта очень важная "новость" нужна именно на опеннете?
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #6, #57, #61, #163

2. Сообщение от Аноним (2), 09-Апр-21, 23:22	+16 +/–
Hey bro nice Coq
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #48, #65, #80, #162

3. Сообщение от Аноним (3), 09-Апр-21, 23:22	–4 +/–
Одобряю. Но только если они знали о проблеме с названием, почему назвали язык тоже шуточно - неясно.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #18, #25, #56, #58, #97

4. Сообщение от Аноным (ok), 09-Апр-21, 23:22	+7 +/–
При всем этом остается загадка: как до сих пор не сломлен ГИМП?
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #7, #8, #11

5. Сообщение от Аноним (7), 09-Апр-21, 23:22	+5 +/–
Язык Си - первая буква слова cock.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #33, #34, #70

6. Сообщение от Антифрактал (?), 09-Апр-21, 23:23	+24 +/–
чтобы ты был в курсе, как мир сходит с ума, подстраиваясь под англицизмы
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #1 Ответы: #23, #47, #59

7. Сообщение от Аноним (7), 09-Апр-21, 23:23	–1 +/–
Глимпс
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #4 Ответы: #17, #74

8. Сообщение от Антифрактал (?), 09-Апр-21, 23:24	+5 +/–
Прокудин им не дает сломаться, поит их воткой. Это стимулирует их моск посылать на хрен всех чересчур умных
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #4 Ответы: #10

10. Сообщение от Annoynymous (ok), 09-Апр-21, 23:31	+2 +/–
Слава Прокудину!
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #8 Ответы: #26

11. Сообщение от Аноним (-), 09-Апр-21, 23:31	+1 +/–
> загадка https://www.opennet.me/opennews/art.shtml?num=51357 https://www.opennet.me/opennews/art.shtml?num=53602
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #4 Ответы: #19

12. Сообщение от timur.davletshin (ok), 09-Апр-21, 23:32	+6 +/–
Если стеблись, когда называли, то надо продолжать в том же духе. Если у кого-то бомбит, то цель достигнута. Не пойму, почему баб должно от "петушка" бомбить? Я думал, что должно наоборот.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #21, #27, #45, #71

13. Сообщение от Аноним (13), 09-Апр-21, 23:35	+9 +/–
А еще надо запретить Code Of Conduct
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #36

15. Сообщение от Аноним (15), 09-Апр-21, 23:41	+/–
Гашина - испанское слово 😜
Ответить \| Правка \| Наверх \| Cообщить модератору

16. Сообщение от Аноним (16), 09-Апр-21, 23:50	+2 +/–
Так Галина Бланка это не жена Моисея Бланка? Как теперь жить...
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #39

17. Сообщение от Стас Михайлов (?), 09-Апр-21, 23:51	+5 +/–
Не существует.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #7

18. Сообщение от Аноним (18), 09-Апр-21, 23:58	+8 +/–
А они в качестве шутки тогда и сделали такое название. Но то было тогда. а сейчас пришли новые разработчики и настали новые времена, когда не шутят.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #3 Ответы: #78, #89

19. Сообщение от Аноным (ok), 09-Апр-21, 23:59	+1 +/–
Форк же, а не переименован
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #11

20. Сообщение от Аноним (18), 10-Апр-21, 00:02	+3 +/–
Но вообще правильно, слишком грубо это. Наверняка все шутят постоянно. >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 Предлагаю что-нибудь более нейтральное, например, Diq - Development of Information Constuctions (по мотивам оригинала). Подойдёт?
Ответить \| Правка \| Наверх \| Cообщить модератору

21. Сообщение от Аноним (21), 10-Апр-21, 00:10	+/–
Например, можно назвать πdr.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #12

22. Сообщение от Дихлофос (?), 10-Апр-21, 00:11	+/–
Предлагаю поменять на Гуч
Ответить \| Правка \| Наверх \| Cообщить модератору

23. Сообщение от Аноним (23), 10-Апр-21, 00:27	+19 +/–
Вернее подстраиваясь под впечатлительных подростков, феминисток, гомосеков и прочих психически неустойчивых личностей
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #6 Ответы: #82, #88

24. Сообщение от InuYasha (??), 10-Апр-21, 00:34	–1 +/–
There are no easter eggs in Gallina!
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #29

25. Сообщение от Cradle (?), 10-Апр-21, 00:35	+/–
французы, сэр. Тогда постебались, а теперь боязно стало.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #3

26. Сообщение от Аноним (26), 10-Апр-21, 01:07	+/–
Прокудину слава!
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #10 Ответы: #41

27. Сообщение от Аноним (26), 10-Апр-21, 01:10	+/–
> почему баб должно от "петушка" бомбить? Потому что небритые цветноволосые ненавидят всё, что связано с "мущщинками"
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #12 Ответы: #86

28. Сообщение от Dzen Python (ok), 10-Апр-21, 01:11	–4 +/–
Предлагаю вообще не использовать буквы любого алфавита - они все так или иначе входят в оскорбительные, матерные или эвфеместичные слова, которые оскорбляют книггеров и жирофемок. Предлагаю вообще не использовать цифры - они тоже могут быть оскорбительны: 14-88 или 13-99 оскорбляют антифа, дни рождения самых страшных маньяков, тиранов, комми и шовинистов состоят из цифр и могут оскорбить любого. Предлагаю вообще не использовать в названиях спецсимволы - аутисты, дисграфики и клинические слабоумные не могут их ни прочитать, не произнести, а это, между прочим, дискриминация и ущемление.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #43

29. Сообщение от Dzen Python (ok), 10-Апр-21, 01:12	–2 +/–
Буль-буль!
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #24 Ответы: #142

30. Сообщение от Аноним (26), 10-Апр-21, 01:12	+5 +/–
Там это... ВВС не собирается предпринимать срочные меры?
Ответить \| Правка \| Наверх \| Cообщить модератору

31. Сообщение от Ingener (??), 10-Апр-21, 01:16	–1 +/–
Да. Правильно. "Кок" это как бы ..лен половой. Надо так назвать - Vagee.
Ответить \| Правка \| Наверх \| Cообщить модератору

32. Сообщение от Аноним (32), 10-Апр-21, 01:18	+1 +/–
Они там все шутники. Например, язык Agda, цитата из вики "Agda is named after the Swedish song "Hönan Agda".... which is about a hen named Agda. This alludes to the naming of Coq."
Ответить \| Правка \| Наверх \| Cообщить модератору