The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

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

09.04.2021 22:53

Свободный инструментарий для доказательства теорем Coq рассматривает возможность смены названия. Причина: для англофонов слова "coq" и "cock" (сленговое название мужского полового органа) звучат похоже, и некоторые пользователи-женщины, сталкивались с двусмысленными шутками при использовании названия в устной речи. Само же название языка Coq произошло от фамилии одного из разработчиков, Thierry Coquand. Сходство звучания Coq (фран. петух) и Cock (англ. петух) уже обыгрывалось в проекте: язык, используемый для описания конструкций, называется Gallina (лат. курица).

  1. Главная ссылка к новости (https://news.ycombinator.com/i...)
  2. OpenNews: Набор приложений KDE переименован из KDE Applications в KDE Gear
  3. OpenNews: Дистрибутив Fedora на пути переименования в Fedora Linux
  4. OpenNews: Развиваемое проектом UBports окружение Unity8 переименовано в Lomiri
  5. OpenNews: Язык Perl 6 переименован в Raku
  6. OpenNews: Открытый проект Bro переименован в Zeek из-за негативной коннотации
Автор новости: Аноним
Тип: К сведению
Короткая ссылка: https://opennet.ru/54933-coq
Ключевые слова: coq, math
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (164) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Hedgehog (??), 23:22, 09/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +9 +/
    Зачем эта очень важная "новость" нужна именно на опеннете?
     
     
  • 2.6, Антифрактал (?), 23:23, 09/04/2021 [^] [^^] [^^^] [ответить]  
  • +24 +/
    чтобы ты был в курсе, как мир сходит с ума, подстраиваясь под англицизмы
     
     
  • 3.23, Аноним (23), 00:27, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +19 +/
    Вернее подстраиваясь под впечатлительных подростков, феминисток, гомосеков и прочих психически неустойчивых личностей
     
     
  • 4.82, Аноним (82), 10:01, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    анон, ну не смешно вообще. Если ьы он назывался hui - у нас бы точно так же измывались над ним.
     
     
  • 5.138, RomanCh (ok), 09:50, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Почему "бы"? Пожалуйста: https://gethue.com/

    PS Кстати работает оно вполне соответствуще своему названию (для русскоговорящих)

     
  • 5.154, ого (?), 19:43, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    но истерить до смены названия не стали бы.
     
  • 5.161, Wine_O_Feliya (?), 15:11, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Это как с проектом "pydora"? Где-то в тексте на PyPI можно засвидетельствовать " [..] config file pydora [..]"
     
  • 4.88, Ordu (ok), 10:38, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Обидно, да? Под впечатлительных подростков, феминисток и гомосеков они подстраиваются, а под впечатлительных опеннетовцев, которые до сих пор триггерятся по поводу Pidora они не подстраиваются.
     
     
  • 5.103, Аноним (23), 13:42, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +7 +/
    Так мы просто пошутили и посмеялись, но никто не поднимал серьезно вопрос о переименование.
    Этим адекватный человек и отличается от психически больного - тем что тихо хихикает с друзьями, а не выносит подобные вопросы на всеобщее обсуждение.
     
     
  • 6.110, Ordu (ok), 15:04, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А когда людям надоедает это хихиканье "адекватных" и "психически здоровых" при каждом упоминании их проекта, они делают что? Переименовывают проект, чтобы не хихикали.
     
     
  • 7.164, Аноним (164), 17:26, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Новость читал? Не автору надоело хихканье, иначе он бы так не назвал. А "некоторые пользователи-женщины" АБИДЕЛИСЬ на "двумысленные шутки".

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

     
     
  • 8.169, Ordu (ok), 18:27, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Да Адекватные и психически здоровые люди отпускали двусмысленные шутки в ... текст свёрнут, показать
     
  • 3.47, Аноним (47), 02:40, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +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

     
     
  • 4.81, Неа (?), 09:26, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Этот редактор такое же гуано, как и аргументы про Coq
     
     
  • 5.83, Аноним (82), 10:03, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    А как тебе ЁбРедактор? Сколько у нас ржали над ё-мобилем? Или это другое? Свое как грица не пахнет?
     
     
  • 6.176, Noname (??), 15:52, 13/04/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > ЁбРедактор

    Vi как vi, чё бухтеть- то?

     
  • 3.59, Аноним (59), 06:47, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Язык международного общения - английский. Не китайский и не русский как некоторым здесь не хотелось. Если авторы данного инструментария хотят популярности в мировом масштабе, то озаботиться вопросом благозвучного названия естественно.
     
     
  • 4.63, Тот_Самый_Анонимус (?), 06:56, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +14 +/
    >Язык международного общения - английский.

    Однако, в основном, только носители этого недоязыка понимают эту игру слов. Я вот не знаю всего множества жаргонизмов, которыми носители языка называют *уй. И даже запоминать не собираюсь. И автора этого продукта это не парило достаточно продолжительное время. Просто сейчас истерия в тренде.

    >Не китайский и не русский как некоторым здесь не хотелось.

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

    > Если авторы данного инструментария хотят популярности в мировом масштабе

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

     
     
  • 5.68, myhand (ok), 07:37, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    > Это тоже языки международного общения, как бы вам не хотелось иного.

    Про китайский - согласен, хотя это больше дело будущего.

    А на русском ты разве что в вестник Бобруйского университета сможешь писать.  И то - пока.

    > Гимпу вон плевать на такое.

    Вопрос времени когда его достанут.

    Тут вот все просто: M$, гранты.  Взяли под козырек, на всякий случай.

     
     
  • 6.139, RomanCh (ok), 09:54, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > А на русском ты разве что в вестник Бобруйского университета сможешь писать.

    Нет. В ООН на самом деле тоже можно: https://www.un.org/ru/sections/about-un/official-languages/index.html

     
     
  • 7.144, myhand (ok), 12:15, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Ну, ООН - известна своей научностью.  Там даже Эйлер состоял.

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

     
     
  • 8.147, RomanCh (ok), 12:44, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Уууу Понятно ... текст свёрнут, показать
     
  • 5.84, Аноним (82), 10:04, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > этого недоязыка

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

     
     
  • 6.140, RomanCh (ok), 09:57, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > Как грица угадай в какой стране живут нацисты, расисты и шовинисты.

    Во всех. К сожалению.

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

    И самое плохое, что никто ничего с этим не собирается делать.

     
     
  • 7.145, myhand (ok), 12:16, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    А зачем с этим что-то делать?  Есть эсперанто.
     
     
  • 8.148, RomanCh (ok), 12:45, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    И как у вас с ним Регулярно практикуете Научные статьи в мухосранскую академию... текст свёрнут, показать
     
     
  • 9.177, Noname (??), 15:56, 13/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    - Ты же робот, имитация жизни Может робот способен написать симфонию - Будто т... текст свёрнут, показать
     
  • 6.166, Доктор психушки (?), 17:59, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > нацисты, расисты и шовинисты

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

     
     
  • 7.178, Noname (??), 15:58, 13/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    А что не так?
     
  • 6.167, Аноним (164), 18:02, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > Как грица угадай в какой стране живут нацисты, расисты и шовинисты.

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

     
  • 2.57, Аноним (57), 06:02, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    > Зачем эта очень важная "новость" нужна именно на опеннете?

    Чтобы через Интерпол его экстрадировать в РФ и посадить здесь в тюрьму за оскорбление чувств, с готовой кликухой.

    Нечего проектам дурацкие названия придумывать!

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

     
     
  • 3.111, СеменСеменыч777 (?), 15:41, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > составить базу знаний по оскорбительным словам всех языков Мира,
    > чтобы нейросеть сразу определяла, можно такое название использовать или нет.

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

    ps: например SemenSemenych777 точно не пройдет. потомучто.

     
     
  • 4.127, Аноним (82), 06:57, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    "СеменСеменыч777" бы не прошел прежде всего в СССР, ежели бы тот не распался. Потому что уничижительный для Советского человека ник.
     
  • 2.61, myhand (ok), 06:54, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Ну а при каком обстоятельстве посетители opennetу впринципе могли бы узнать, что там не только "негров линчуют", но и формализацией математики занимаются на уровне, за которым уже целым институтам РАН не угнаться?
     
     
  • 3.64, Тот_Самый_Анонимус (?), 06:59, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    >но и формализацией математики занимаются на уровне, за которым уже целым институтам РАН не угнаться?

    Ради красного словца не пожалеем и отца? Разумеется подтверждения своим словм вы не приведёте.

     
     
  • 4.66, myhand (ok), 07:06, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Ну, представленного общественности инструмента уровня Coq разработано было не было.  Не говоря уже о получении к-л известных формальных доказательств с ним...
     
  • 2.163, НеОН (?), 17:23, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Слава морфу! Слава 404!
    Защифрованное послание, которое поймут лишь избранные!
     

     ....большая нить свёрнута, показать (36)

  • 1.2, Аноним (2), 23:22, 09/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +16 +/
    Hey bro nice Coq
     
     
  • 2.48, Аноним (-), 02:43, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Nice coq, awesome balls.
    terminator.jpg
     
  • 2.65, iPony129412 (?), 07:04, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    https://derpicdn.net/img/view/2021/4/2/2584442__safe_artist-colon-handgunboi_p
     
  • 2.80, Человек под травой (?), 09:25, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Nice coq, swesome proofs.
     
  • 2.162, Wine_O_Feliya (?), 15:13, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Gallina blank'a bool bool
     

  • 1.3, Аноним (3), 23:22, 09/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –4 +/
    Одобряю. Но только если они знали о проблеме с названием, почему назвали язык тоже шуточно - неясно.
     
     
  • 2.18, Аноним (18), 23:58, 09/04/2021 [^] [^^] [^^^] [ответить]  
  • +8 +/
    А они в качестве шутки тогда и сделали такое название. Но то было тогда. а сейчас пришли новые разработчики и настали новые времена, когда не шутят.
     
     
  • 3.78, пох. (?), 09:21, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Потому что этот Терри совершенно не парится что кто-то на слух воспримет его фамилию как "Петушара". И менять ее не планирует.

     
  • 3.89, Тётка с ведром (?), 10:43, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    No fun allowed.
     
  • 2.25, Cradle (?), 00:35, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    французы, сэр. Тогда постебались, а теперь боязно стало.
     
  • 2.56, Lex (??), 04:30, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Coq - петух (с франц)
    Раньше было модно-молодёжно по дурацки именовать продукт. Не удивлюсь, если те же самые разработчики выросли и внезапно поняли, что это скорее тупо, чем юморнО.
     
     
  • 3.79, пох. (?), 09:22, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    А фамилию им тоже выросши внезапно сменить? А то ж вызывает нездоровые ассоциации.
     
  • 3.85, Аноним (82), 10:10, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    лол блин. Ты правда считаешь что петух имеет негативную коннотацию во Франции? Петушиная субкультура - она же географически находится в других местах.

    /мимо подписчик на мопса

     
     
  • 4.104, Lex (??), 13:58, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > лол блин. Ты правда считаешь что петух имеет негативную коннотацию во Франции?
    > Петушиная субкультура - она же географически находится в других местах.

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

    У фрацузов и жителей южной европы своя субкультура петушиная.. с той лишь разницей, что «петух» там скорее комплимент..

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


     
     
  • 5.128, Аноним (82), 07:01, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Вот ты можешь по названию проги - «петух», однозначно догадаться что так называется инструментарий для доказательства теорем ?

    Вот ты можешь по названию проги - «Windows», однозначно догадаться что так называется операционная система?

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

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

    Вот ты можешь по названию проги - «Photoshop», однозначно догадаться что так называется графический редактор ?

    ну ты понял...

     
     
  • 6.151, Lex (??), 14:42, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Окна экраны Какая-то взаимосвязь есть ink - чернила Есть какая-то связь с ри... большой текст свёрнут, показать
     
     
  • 7.157, Michael Shigorin (ok), 21:25, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Rar - формат сжатия, разработанный Евгением Рошалом. И название - [Р]ошал [Ар]хиватор.

    [...]
    > Конечно, можно тупо сослаться на три первых буквы фамилии ОДНОГО ИЗ разработчиков

    Мнэээ... Вы точно с собой дискутировали? :)

     
     
  • 8.160, Lex (??), 11:21, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Заранее ответил, предвидя очередной тупой вопрос в продолжение не мене тупого ср... текст свёрнут, показать
     
  • 4.143, InuYasha (??), 11:33, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Вообще, FYI, петух во франции - это почти что национальный маскот.
     
  • 3.92, Gogi (??), 11:39, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Представляю, как сейчас краснеет в гробу Джобс со своим.... ха... ЯБЛОКОМ! :)))
     
  • 2.58, Аноним (57), 06:04, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > - неясно.

    Пропиарились же.

     
  • 2.97, Аноним (97), 12:28, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Потому что в основу Coq положена теория типов "calculus of constructions" (CoC).
     

  • 1.4, Аноным (ok), 23:22, 09/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +7 +/
    При всем этом остается загадка: как до сих пор не сломлен ГИМП?
     
     
  • 2.7, Аноним (7), 23:23, 09/04/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Глимпс
     
     
  • 3.17, Стас Михайлов (?), 23:51, 09/04/2021 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Не существует.
     
  • 3.74, Аноним (74), 08:51, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Глиномес.
    FTGJFIX
     
  • 2.8, Антифрактал (?), 23:24, 09/04/2021 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Прокудин им не дает сломаться, поит их воткой. Это стимулирует их моск посылать на хрен всех чересчур умных
     
     
  • 3.10, Annoynymous (ok), 23:31, 09/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Слава Прокудину!
     
     
  • 4.26, Аноним (26), 01:07, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Прокудину слава!
     
     
  • 5.41, Аноним (41), 02:01, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Андрей
     
  • 2.11, Аноним (-), 23:31, 09/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > загадка

    https://www.opennet.ru/opennews/art.shtml?num=51357
    https://www.opennet.ru/opennews/art.shtml?num=53602

     
     
  • 3.19, Аноным (ok), 23:59, 09/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Форк же, а не переименован
     

  • 1.5, Аноним (7), 23:22, 09/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +5 +/
    Язык Си - первая буква слова cock.
     
     
  • 2.33, Жорш (?), 01:18, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А rust от ruster - кугут
     
     
  • 3.91, Какаянахренразница (ok), 11:26, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > кугут

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

     
  • 2.34, Аноним (34), 01:19, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Я прозрел
     
  • 2.70, Q2W (?), 08:10, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Думаю, низкосортный вообще и сортирный в частности юмор существовал и раньше.
     

  • 1.12, timur.davletshin (ok), 23:32, 09/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +6 +/
    Если стеблись, когда называли, то надо продолжать в том же духе. Если у кого-то бомбит, то цель достигнута. Не пойму, почему баб должно от "петушка" бомбить? Я думал, что должно наоборот.
     
     
  • 2.21, Аноним (21), 00:10, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Например, можно назвать πdr.
     
  • 2.27, Аноним (26), 01:10, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > почему баб должно от "петушка" бомбить?

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

     
     
  • 3.86, Аноним (82), 10:14, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    вообще не врубаешься. Сидят двое коллег пишут доказательства: парень, девушка. Парень подзывает девушку и говорит, показывая на код на экране и глумливо улыбаясь: "Как тебе мой coq?". Я не знаю ни одной даже условно приличной девушки, даже нашей, которая будет долго терпеть такие шутеечки.
     
     
  • 4.90, n00by (ok), 11:26, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Когда-то в очередной раз сдавал лабу по туннельному эффекту, а наш поток безуспе... большой текст свёрнут, показать
     
     
  • 5.105, Михрютка (ok), 14:12, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    тетка в теме. чтобы сдать лабу - надо отсосать.
     
     
  • 6.133, n00by (ok), 07:25, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Есть такая штука - шприц для удаления припоя, он же вакуумный оловоотсос, в просторечии "отсосник".  Я с его помощью нерабочий стенд за дипломниками восстановил. За что мне все лабы зачли. ;)
     
  • 5.129, Аноним (82), 07:04, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Ж))))))
     
  • 4.98, Аноним (98), 12:47, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Анатомию иди отмени. Там не только названия, но и картинки показывают неприличные.
     
     
  • 5.159, пох. (?), 11:03, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    уже ж отменили (точнее, пытались): https://kulturomania.ru/news/item/kommunisty-rossii-prizvali-zakryt-anatomiche

    трогательное единство коммуняк и попов ;-)

     
  • 4.168, Аноним (164), 18:20, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > показывая на код на экране и глумливо улыбаясь: "Как тебе мой coq?"

    Какая надуманная ситуация.

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

     
  • 4.170, ого (?), 18:56, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    ты бы, конечно, предпочёл, чтобы это были два парня, да?
     
  • 2.45, Аноним (45), 02:23, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Вот же неженки блин, бабу коком напугали. Толи наши люди, ковыряются в Zope молча и не хнычут.  
     
     
  • 3.87, Аноним (82), 10:15, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Так там же уже Grok или что там?
     
  • 2.71, Ag (ok), 08:31, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    А представьте когда такие проблемы надо будет разруливать авторам учебников и пособий по птицеводству!
     
     
  • 3.73, timur.davletshin (ok), 08:41, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > А представьте когда такие проблемы надо будет разруливать авторам учебников и пособий
    > по птицеводству!

    Каплун/пулярка — всё придумано уже.

     

  • 1.13, Аноним (13), 23:35, 09/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +9 +/
    А еще надо запретить Code Of Conduct
     
     
  • 2.36, Жорш (?), 01:20, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    CoC всегда потеха для рубиста
     

  • 1.15, Аноним (15), 23:41, 09/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Гашина - испанское  слово 😜
     
  • 1.16, Аноним (16), 23:50, 09/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Так Галина Бланка это не жена Моисея Бланка? Как теперь жить...
     
     
  • 2.39, cz (??), 01:52, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +6 +/
    На испанском "Gallina blanca" - это вообще "Белая курица". Попробуйте пожить с этим.
     
     
  • 3.69, n00by (ok), 07:45, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Для Галлов петух тотемная птица, предвестник рассвета.
     
     
  • 4.100, Аноним (100), 13:12, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Он для всех нормальных людей предвестник рассвета. Кроме всяких городских озабоченных с подвортами
     
     
  • 5.134, n00by (ok), 07:46, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Есть версия, что "галлы" и "славяне" -- эдакая лингвистическая калька. Первое родственно с "голос", а второе со "слово". Ныне homo sapiens-ы, а тогда был "человек говорящий".
     
     
  • 6.137, СеменСеменыч777 (?), 09:04, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > Первое родственно с "голос", а второе со "слово"

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

     
     
  • 7.171, n00by (ok), 07:11, 13/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > я поставил себе за правило - игнорировать любые лингвистические аргументы,

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

     
     
  • 8.179, СеменСеменыч777 (?), 20:20, 15/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    не вижу связи скорее всего её и нет ps анонимусу сменить ник - дело пяти мину... текст свёрнут, показать
     
     
  • 9.181, СеменСеменыч777 (?), 10:06, 16/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    я поставил себе за правило - игнорировать любые аргументы... текст свёрнут, показать
     
     
  • 10.182, n00by (ok), 10:07, 16/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Вот это пральна - ... текст свёрнут, показать
     

  • 1.20, Аноним (18), 00:02, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +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 (по мотивам оригинала). Подойдёт?

     
  • 1.22, Дихлофос (?), 00:11, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Предлагаю поменять на Гуч
     
  • 1.24, InuYasha (??), 00:34, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    There are no easter eggs in Gallina!
     
     
  • 2.29, Dzen Python (ok), 01:12, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Буль-буль!
     
     
  • 3.142, InuYasha (??), 11:28, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    М-да, у этих анонов нет чувства юмора. )
     

  • 1.28, Dzen Python (ok), 01:11, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –4 +/
    Предлагаю вообще не использовать буквы любого алфавита - они все так или иначе входят в оскорбительные, матерные или эвфеместичные слова, которые оскорбляют книггеров и жирофемок.
    Предлагаю вообще не использовать цифры - они тоже могут быть оскорбительны: 14-88 или 13-99 оскорбляют антифа, дни рождения самых страшных маньяков, тиранов, комми и шовинистов состоят из цифр и могут оскорбить любого.
    Предлагаю вообще не использовать в названиях спецсимволы - аутисты, дисграфики и клинические слабоумные не могут их ни прочитать, не произнести, а это, между прочим, дискриминация и ущемление.
     
     
  • 2.43, Аноним (43), 02:21, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Концу мир!
     
     
  • 3.123, Dzen Python (ok), 19:54, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Да, майн либен?
     
  • 3.126, Annoynymous (ok), 01:41, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > Концу мир!

    А миру герцог!

     

  • 1.30, Аноним (26), 01:12, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +5 +/
    Там это... ВВС не собирается предпринимать срочные меры?
     
  • 1.31, Ingener (??), 01:16, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Да. Правильно. "Кок" это как бы ..лен половой. Надо так назвать - Vagee.
     
  • 1.32, Аноним (32), 01:18, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +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."
     
  • 1.35, Аноним (35), 01:20, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    А питон этих дам не отпугивает?
     
     
  • 2.50, Аноним (50), 03:22, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Многие его не любят, но многие пользуются - на жалость пробивает, вестимо.
     

  • 1.37, Аноним (37), 01:29, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    К чëрту Coq, дамы! Лучше я познакомлю вас со своим Python-ом!
     
     
  • 2.38, Аноним (38), 01:49, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    твой питончик не идёт ни в какое сравнение с моей анакондой
     
     
  • 3.117, Аноним (117), 16:39, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Одноглазой
     

  • 1.42, YetAnotherOnanym (ok), 02:07, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Chick неплохой вариант.
     
  • 1.46, Аноним (43), 02:23, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –2 +/
    Могут перейти на кириллицу и больше не будет проблем.
     
  • 1.49, Аноним (49), 03:00, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Вечно эти женщины чем-то недовольны
     
     
  • 2.62, Аноним (-), 06:55, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    своей внутренней пустотой, видимо
     
     
  • 3.119, Михрютка (ok), 18:11, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    а ты заполняй чаще. тогда тебе с утра не только пирожков напекут, но и ядро за тебя сконпелируют, хакер грозный.
     
     
  • 4.146, Annoynymous (ok), 12:17, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > а ты заполняй чаще. тогда тебе с утра не только пирожков напекут,
    > но и ядро за тебя сконпелируют, хакер грозный.

    На редкость дельный совет!

     
  • 2.108, anonymous (??), 14:57, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Зачем же так прочерчивать линию между мужчинами и женщинами? На самом деле, большинство мужчин и женщин вообще не в курсе про coq.
     

  • 1.51, Аноним (51), 03:31, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +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

    Ну это как раз решаемая проблема!

     
  • 1.52, anonimm (?), 03:58, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Если {an}, n=1,2,... - последовательность, то как политкорректно назвать an?
     
  • 1.54, Аноним (54), 04:07, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Ну и что?пусть меняют название, от этого мне не холоднее или теплее.
     
  • 1.60, nomad__ (ok), 06:54, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    С 80-х годов существует и не было ни у кого проблем с названием. А тут вдруг появились. Бесноватые и сюда добрались.
     
     
  • 2.109, anonymous (??), 15:00, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Ну а ещё не так давно в мире практиковалось рабство и это было традиционно нормальным явлением. И аналогично "ни у кого не было с этим проблем". Мир меняется. Адаптируйтесь ;)
     
     
  • 3.112, nomad__ (ok), 15:44, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну а ещё не так давно в мире практиковалось рабство и это
    > было традиционно нормальным явлением. И аналогично "ни у кого не было
    > с этим проблем". Мир меняется. Адаптируйтесь ;)

    Нахрен этот идиотский мир.

     
  • 3.113, СеменСеменыч777 (?), 15:53, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > ещё не так давно в мире практиковалось рабство

    до сих пор практикуется. заключенные те же рабы.

    > и это было традиционно нормальным явлением.

    и это нормально.

    > Мир меняется.

    просто вы не знаете мир, в котором живете.

     
     
  • 4.130, Аноним (82), 07:11, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Цинизм - это нормально в отношении других. Как и рабство. А вот когда тебя - это плохо, ооой как плохо.

    А вообще отсутствие эмпатии в нашей культуре показывает лишь ее место в культуре Человечества

     
     
  • 5.135, СеменСеменыч777 (?), 08:50, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    если выражаться политкорректно: философия и этика как её подраздел - это не ваша сильная сторона. просто смиритесь с этим. по мере накопления жизненного опыта может быть что-то и будет.
     
  • 5.136, СеменСеменыч777 (?), 08:58, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    если неполиткорректно: какой еще "нашей культуре" ? я отказываюсь иметь общую культуру с SJW всех сортов, хипстреней-смузихлебами и половыми извращенцами.

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

     
  • 5.156, Michael Shigorin (ok), 21:18, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > А вообще отсутствие эмпатии в нашей культуре показывает лишь ее место
    > в культуре Человечества

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

     
  • 4.152, пох. (?), 16:28, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > до сих пор практикуется. заключенные те же рабы.

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

    >> Мир меняется.
    > просто вы не знаете мир, в котором живете.

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

     
     
  • 5.153, СеменСеменыч777 (?), 18:35, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >  всякая ерунда короче ненужная и некачественная

    от хозяина зависит.

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

     
  • 3.125, Аноним (98), 23:04, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Тонкий передёрг. Смешивание законов общества в одно время, с восприятием и тараканами любого одного индивидуума. Нормально так, зачёт.
     
  • 3.158, Michael Shigorin (ok), 21:30, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну а ещё не так давно в мире практиковалось рабство и это
    > было традиционно нормальным явлением.

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

     

  • 1.67, Аноним (67), 07:31, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Просто у этих женщин именно "ОН" и был на уме, к тому же слишком хорошее знание ин_юс  до добра не доводит. Русский надо знать - великий и могучий и кок будет соком.
     
  • 1.72, Аноним (72), 08:34, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    > Сходство звучания Coq и Cock (англ. петух) ...

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

     
     
  • 2.121, myhand (ok), 19:35, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > где собственно находится инриа

    Пойду скажу пацанам, что они в петухе.

    PS: Ты русский - освой.  Прям как не-родной...

     

  • 1.75, Аноним (74), 08:54, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    У кого что болит.
     
  • 1.76, Аноним (76), 09:06, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    О доме надо думать.
     
  • 1.77, Аноним (-), 09:12, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Я знаю английский, и у меня не ассоциируется со сленговым. Тут дело в характере и воспитании человека. Зачем разработчикам и пользователям этой программы поддавался на издевательски выпады в свою сторону?

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

     
  • 1.93, тоже Аноним (ok), 11:42, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Ой, нашли проблему.
    Переписать на питон, обозвать PyCoq - и членовраждующие сразу подавятся аргументами.
     
     
  • 2.95, Аноним (67), 11:57, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    PyCoq - а с чем тут будет ассоциация?
     
     
  • 3.96, тоже Аноним (ok), 12:10, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > PyCoq - а с чем тут будет ассоциация?

    Peacock, если хватит фантазии. Если не хватит - ни с чем, что и требовалось.

     

  • 1.94, Gogi (??), 11:43, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Осталось истеричкам-маразматичкам докопаться до FAQ - десятилетиями существовашее сокращение.
     
     
  • 2.101, myhand (ok), 13:20, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    *****, не подсказывай!
     
  • 2.106, Михрютка (ok), 14:17, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    назло русским шовинистам переименовать в Habitually Used Inquiries
     

  • 1.99, Аноним (99), 13:11, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Давно пора "одночлены" и "многочлены" выкинуть из цисгендерной шовинистской математики.
     
  • 1.114, Аноним (117), 16:35, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Gallina (лат. курица)
    Но это оскорбит российских феменисток!
     
     
  • 2.116, Аноним (116), 16:37, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    В СССР^W России феминисток нет
     
     
  • 3.118, Аноним (117), 16:41, 10/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Когда-то не было.
     
     
  • 4.131, Аноним (82), 07:14, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    когда-то были.
    А теперь если и есть, то лишь на спецзадании.
     

  • 1.115, Аноним (116), 16:36, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Ну тогда всем известный проект питон тоже нужно переименовать
     
  • 1.120, rvs2016 (ok), 19:32, 10/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    И сюда инклюзивные добралсь 🤔
     
     
  • 2.132, Аноним (82), 07:15, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    а ты я смарю не знаешь что значит это слово?
     
     
  • 3.141, rvs2016 (ok), 10:43, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > а ты я смарю не знаешь что значит это слово?

    Да опеннета ж начитаешься - и не такого узнаешь! :о)

     
     
  • 4.155, Michael Shigorin (ok), 21:17, 11/04/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    На опеннете, кстати, уже родился как-то термин [I]инклюзиция[/I].
     
  • 3.165, Аноним (164), 17:54, 12/04/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Я предпочёл бы не знать ни это слово, ни прочую xepотень, придуманную вами, альтернативно одарёнными, которым некуда себя деть от хорошей жизни
     

  • 1.173, Аноним (173), 12:51, 13/04/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Ну конечно галинабланка или кокос будет лучше. К бабке не ходи!
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Спонсоры:
    Inferno Solutions
    Ideco
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2021 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру