Максим отрицал величие философии марксизма. Однако, когда его вызвали куда надо, отрицал там свое отрицание, убедившись тем самым в справедливости закона отрицания отрицания. Как известно - у каждого явления есть две стороны. Если я в свое время поставил freGate из-за того что роскомнадзор забанил рутрекер и флибусту (c флибустой впрочем есть куча воркараундов и пока дело ограничивалось ей - я в общем перебивался - но rutracker стал последней каплей). То сейчас я все чаще пользуюсь им потому что запрет на доступ ставится "с той стороны" "на Россию" (видимо - раз через прокси все работает). Сначала этим грешил Пентагон - домены .mil не открываются из России "как правило", но сейчас нарвался на совсем удивительное: Не открылся сайт https://yices.csl.sri.com/ (мне понадобился SMT-solver yices). Я было сначала подумал что запрет стоит на уровне SRI international (компания занимается темами потенциально стремными) или на уровнее ее Computer Science Laboratory (csl.sri.com). Но нет - они без прокси открываются. Не открывается именно yices. Причем что самое смешное - там не только никаких "уникальных технологий" нет - но и на GitHub оно свободно в исходниках лежит: https://github.com/SRI-CSL/yices2 В чем смысл явления я не очень понял - может их группу так напугали "русскими хакерами", что они решили это самое. Хотя ведь если русские хакеры так круты, то они все равно залезут - ну раз уж я в два нажатия кнопок залез. Тайна веков. Но в этом плане очень смешны стенания о том что "кровавый режим так и норовит отрезать нисчастных граждан от света с запада" - все чаще проблемы как раз на той стороне возникают. В общем - subj :) PS: Я конечно не могу исключать что эта параноечка направлена конкретно на мегафон как провайдера - но сомневаюсь, впрочем если кто-то проверит и скажет работает ли у них ссылка https://yices.csl.sri.com/ - буду признателен Upd: проверили - ни у кого не работает - спасиб PPS: Нет - пентагон я как раз в маразме не обвиняю - в США куча идиотических законов об "экспорте технологий" (достаточно вспомнить великий кампф "правительство США против PGP"), на пентагоновских сайтах скорее всего есть подходящих под них информации и для них просто чисто формально "закрыть доступ" вполне разумный способ "прикрыть жопу" не утруждая себя разборками с этим идиотством "по существу" (тем более что "кому надо - тот все равно зайдет"). Но вот с yices я удивлен