May 17th, 2017

Gen.Turgidson

Продолжаю разираться с Why3

Очень поучительно (кроме практической пользы) в плане менее навороченной и в некотором смысле "промежуточной" альтернативы всякой науке про зависимые и рафинированные типы и прочее - примерно как Ocaml полезен в качестве "промежуточной" к Haskell ступеньки (еще и куда более практичной, тоже).

Щас осознал откуда берется естественным образом идея необязательных (в смысле автоматически определяемых из контекста) параметров:

И правда:
Collapse )
Gen.Turgidson

Политология пятой колонны

Кстати - общепринятый стереотип что "пятая колонна - это враг, потому что играет на стороне врага" обычно неверен - точнее верен с точностью до наоборот - враждебная группировка, которая является враждебной потому что преследует цели противоречащие интересам остальных членов группы (без того или иного определения группы понятие бессмысленно), становится пятой колонной, когда обращается для достижения своих целей ко внешней помощи. Каковая помощь уже оказывается враждебной именно потому что она оказывается врагу во внутреннем конфликте.

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

Тут в чистом виде - "у нас - разведчики, у них - шпионы"

PS: Разумеется это наблюдение не делает "пятую колонну" менее негативной характеристикой - обращение к внешней помощи резко увеличивает опасность врага. Потому и...
Gen.Turgidson

Чой-то ржу

Интервью с украинским ментом, который в командировку "на янтарь" ездил - ну там порядок хоть какой-то поддерживать, в принципе - ну и так ясно что "кроме браконьерства и контрабанды народных промыслов нет - но одна деталь приколола:

Одновременно с нами приехала аэроразведка батальона «Днепр-1». Они привезли с собой квадрокоптеры, которыми вели разведку лесных массивов и болотистой местности. Когда местное население узнало об этом, один из беспилотников угнали. Местные перехватили сигнал, пока квадрокоптер летал над лесом. И увели его в нужном направлении. А это 40 тысяч долларов. Все записи тоже попали к местному населению.

А то - страшные русские кибервойска, хакеры-шмакеры....