kouzdra (kouzdra) wrote,
kouzdra
kouzdra

О величии философии марксизма и американском файерволле:

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

Если я в свое время поставил 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 я удивлен
Subscribe

  • Не драп, говорят...

    24.07.2021 Литва приостановила возведение забора на границе с Беларусью из-за нехватки колючей проволоки. Проволоку необходимого диаметра в Литве не…

  • (no subject)

    Забавно - в моем окружении таки образовалась первая реальная Жертва Вируса - тетка к домику которой я присматривался (а она была не против - вопрос…

  • От кармы не уйдешь

    Подумалось тут что Москва хоть и не входила формально в улус Джучи (АКА "Золотая Орда") по духу и культуре и роли в политике была вполне ордынской. А…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 56 comments
Previous
← Ctrl ← Alt
Next
Ctrl → Alt →
Previous
← Ctrl ← Alt
Next
Ctrl → Alt →

  • Не драп, говорят...

    24.07.2021 Литва приостановила возведение забора на границе с Беларусью из-за нехватки колючей проволоки. Проволоку необходимого диаметра в Литве не…

  • (no subject)

    Забавно - в моем окружении таки образовалась первая реальная Жертва Вируса - тетка к домику которой я присматривался (а она была не против - вопрос…

  • От кармы не уйдешь

    Подумалось тут что Москва хоть и не входила формально в улус Джучи (АКА "Золотая Орда") по духу и культуре и роли в политике была вполне ордынской. А…