From: Sergey Matveev <stargrave@stargrave.org>
Date: Fri, 9 Apr 2021 16:56:03 +0000 (+0300)
Subject: Название проекта Coq
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=461e29eeec7b70149ded4a08a397dcddca8e4faf;p=stargrave-blog.git

Название проекта Coq

https://habr.com/ru/post/551658/
Тоже сегодня видел ссылки на то, что хотят изменить название у этого
даже мне известного проекта. Типа 30 лет все с ним работали, всё было
нормально, а теперь внезапно начали углядывать "член" в его названии и
логотипе и поэтому срочно нужно что-то делать. Хочется сказать что мир
сходит с ума, но мне кажется что просто в нормальных ИТ сообществах
стало появляться куча людей "со стороны", уничтожающих всё на своём
пути. Как это было с Usenet и его темой "eternal september".
---