]> Sergey Matveev's repositories - stargrave-blog.git/commit
Название проекта 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)
commit461e29eeec7b70149ded4a08a397dcddca8e4faf
tree4b825dc642cb6eb9a060e54bf8d69288fbee4904
parentdf7b00c3496e3a1542f744bc319cff2a92475fe5
Название проекта Coq

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