]> Sergey Matveev's repositories - stargrave-blog.git/commitdiff
Название проекта Coq
authorSergey Matveev <stargrave@stargrave.org>
Fri, 9 Apr 2021 16:56:03 +0000 (19:56 +0300)
committerSergey Matveev <stargrave@stargrave.org>
Fri, 9 Apr 2021 16:56:03 +0000 (19:56 +0300)
https://habr.com/ru/post/551658/
Тоже сегодня видел ссылки на то, что хотят изменить название у этого
даже мне известного проекта. Типа 30 лет все с ним работали, всё было
нормально, а теперь внезапно начали углядывать "член" в его названии и
логотипе и поэтому срочно нужно что-то делать. Хочется сказать что мир
сходит с ума, но мне кажется что просто в нормальных ИТ сообществах
стало появляться куча людей "со стороны", уничтожающих всё на своём
пути. Как это было с Usenet и его темой "eternal september".


No differences found