January 11th, 2017

Gen.Turgidson

ВСЕМ ПОХЕР-2

Забавно - как мне тут указали товарищи - насчет разрешимости Java я ошибался:
https://arxiv.org/pdf/1605.05274.pdf
таки неразрешима.

"Попали на сабтайпинг"

Что по мне довольно удивительно, так как варианты system F с сабтайпингом отклассифицированы еще в 80-е годы и неразрешимая там только одна - самая-самая навороченная, причем никакой особенной пользы в ее навороченности нет - там вся жопа стрясается из-за одного не слишком нужного правило вывода.

Ее скорее из соображений общности рассматривали.

Попасть на это не использовав почти ничего что собственно делает эту и близкие к ней подсистемы интересной - великая моща в работе с типами высших порядков - которых в Жабе просто нет. Но тем не менее...
заодно опробовал тестик еще на нескольких езыках:
type ('a, 'b) c = C of 'a * 'b

let f : 'a -> ('a, 'a) c = fun x -> C (x, x)
let x = 1  |> f |> f |> f |> f |> f  |> f |> f    |> f |> f |> f |> f |> f  |> f |> f     |> f |> f |> f |> f  |> f |> f  |> f

data C a b = C a b 
f :: a -> C a a
f x = C x x

main = 1
x = 1   $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f
        $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f

template <class A, class B> class C { };
template <class T> C<T, T> f (T x) { return C<T, T>(); }

int main () {
  auto i = 
  f (f (f (f (f (f (f (   f (f (f (f (f (f (f (  f (f (f (f (f (f (f (
  f (f (f (f (f (f (f (   f (f (f (f (f (f (f (  f (f (f (f (f (f (f (
								      1
								      ))))))) ))))))) )))))))
								      ))))))) ))))))) )))))));
  return 1;
}

Так вот как ни смешно - единственный кто это переварил - G++.

При том что и haskell и ocaml тут вполне разрешимы (в haskell неразрешимости возникают если включить расширенную версию языка, ocaml попадает на type-checkingе параметризованных модулей (где действительно юзается вся system F<: во всей ее мощи.

заодно замечу, что в полезности полноты по Тьюрингу системы плюсовых темплейтов я сильно сомневаюсь - практически уверен, что там для всего для чего ее используют реально, хватит примитивной рекурсии (те же списки она покрывает).

А она разрешима и енфорсится очень просто - типизацией системы типов "по Черчу" - kind's из Haskell например (то есть в Haskell можно написать арифметику на типах - и ее и пишут - поскольку констант-то целочисленных в параметрах типов он не допускает - но неразрешимым стандартный Haskell это не делает)

То есть на разрешимость всем похер еще даже более, чем я думал - мне-то казалось, что в java об этом из чистоплюйства позаботились :)
Gen.Turgidson

Задумался

Что расход воды в Рим на человекорыло был в несколько раз больше чем в современных городах - это известно.Римлянам вообще был свойственен такой "американский" подход - если чего-то не хватает - надо не экономить, а сделать так чтобы стало больше и хватило.

Я как-то интуитивно преполагал, что водоаккумуляторных сооружений у них не было (бо для проточного водопровода они вроде бы особенно и не нужны) - но щас вот задумался а так ли это на сам деле?

Строятся-то несложно, а практические применения им даже в проточной системе довольно очевидны - и всякая буферизация естественного водопоступления, да и боковые отводы несложно на ночь скажем отключать и в это время накапливать воду. Вроде дешевле должно быть сильно чем новый акведук строить.
Gen.Turgidson

"мы не делаем ошибок!"

http://yurasumy.livejournal.com/1376624.html
Этот казус случился накануне Нового года, когда в Раде все спешили и боялись опоздать проголосовать все необходимые законы и изменения к ним. Ребята так увлеклись нажимать кнопки, что совсем запутались... В результате с 1 января 2017 года украинская Налоговая полиция оказалась вне закона.

Под Новый год депутаты в срочном порядке принимали изменения в Налоговый кодекс. Из-за спешки они ошиблись в одном из пунктов переходных положений закона 5368 и в результате удалили из законодательной базы правовые основания для существования налоговой милиции.

"Это техническая ошибка - в спешке поплыла нумерация. С 1 января налоговая милиция вне закона, - рассказал "Вестям" источник в профильном комитете. - Теперь нет другого выхода, как принимать новые поправки к кодексу".


Ага - Баттл, Таттл, какая на фиг разница...

Upd: Паргентум в соседнем в ленте псту рассуждает за автоматизацию коррупции ;)
Gen.Turgidson

Подумалось кстати в комментах:

Что занятия программированием и всякой матлогикой очень способствуют развитию аллегорического [не путать с абстрактным - аллегория как раз всегда очень конкретна] мышления - поскольку там это просто чуть не основной метод - построение моделей и переинтерпритация объектов и их связей в других терминах - а это аллегория и есть же
Gen.Turgidson

Кошка Клейна

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

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

В общем ужос-ужос

PS: Ассоциация простая на сам деле - в комментах к предыдущему котопосту выразили предположение что там уже семья образовалась - я в семейности котиков сомневаюсь и хотел было что-то написать что они предпочитают гулять сами по себе - после чего и вспомнилось
Gen.Turgidson

Ожидаю секретных агентов с двача:

Говорят, что секретный доклад бывшего агента британской разведки о «глубоких связях» избранного президента США Дональда Трампа с Россией оказался троллингом одного из пранкеров с популярного имиджборда 4chan.

В общем-то логично предположить, развивая тему, что анонимный пранкер является агентом Путина и что это - очередной акт кибервойны, направленный на подрыв доверия к разведсообществу США.

Рад отметить кстати, что в этом направлении думаю не только я:

Действующий директор Национальной разведки США Джеймс Клеппер не был бы удивлен, если бы российские хакеры разместили детскую порнографию на компьютерах американских пользователей. Как сообщает The Daily Mail, об этом он сказал на слушаниях в комитете по разведке сената Конгресса Соединенных Штатов.

Вообще, как тут отмечает zhizd, общий класс игры уже напоминает небезизвестные образы английской пропаганды времен первой мировой. Но тогда англичане хотя бы были в этом жанре более или менее первооткрывателями.

Правда англичанам это на пользу в среднесрочной перспективе не пошло - как отмечает Рудольф Зульцман в статье "Пропаганда как оружие в войне":

Пропаганда ужасов в стиле первой мировой войны впоследствии никогда более не повторялась. Даже самые убежденные ее сторонники признали, что причиненный ею вред был несравненно большим, чем все полученные с помощью этой пропаганды кратковременные успехи. Немецкая пропаганда приобрела на этом деле громадный капитал. "Она никогда бы не имела успеха, если бы ей не предшествовала пропаганда ужасов времен первой мировой войны. И если впоследствии немецкий народ не верил пропаганде Геббельса, то он почти инстинктивно не верил и пропаганде западных держав.

Ну насчет никогда как известно "никогда не говори никогда" ;)

По-моему пора снимать запрет с трудов доброго доктора Геббельса и опубликовать его выпады в адрес именно тех образцов. многие часто цитируемые пропагандистские афоризмы Геббельса (например про чудовищную ложь) в оригинале относятся как раз к английской пропаганде WWI - благо напоминания о английском пропагандистском творчестве действовали на немецкую аудиторию куда лучше любых разоблачений.
Gen.Turgidson

Ненаписанный рассказ Твена - даю идю

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

Избирательная кампания Трампа надо сказать весьма напоминала.

Но Твену не пришло в голову, что могло начаться если бы его все-таки в губернаторы выбрали :)
Attack!

"Путин играет на рояле"

Теперь Чжан узнал тайну белого рояля. Главной обязанностью Сына Хлеба было сидеть за ним и наигрывать какую-нибудь несложную мелодию. Считалось, что при этом он задает исходную гармонию, в соответствии с которой строится все остальное управление страной. Правители, понял Чжан, различались между собой тем, какие мелодии они знали.

Сам он хорошо помнил только «Собачий вальс» и большей частью наигрывал именно его. Однажды он попробовал сыграть «Лунную сонату», но несколько раз ошибся, и на следующий день на Крайнем севере началось восстание племен, а на юге произошло землетрясение, при котором, слава Богу, никто не погиб. Зато с восстанием пришлось повозиться: мятежники под черными энаменами с желтым кругом посередине пять дней сражались с ударной десантной дивизией «Братья Карамазовы», пока не были перебиты все до одного.

С тех пор Чжан не рисковал и играл только «Собачий вальс»

© Пелевин "СССР Тайшоу Чжуань"
В свое время на дваче кто-то выдал бессмертный опус (по крайней мере я его читал там еще):


Collapse )
Gen.Turgidson

Precious bodily fluids



собствеенно эту цидулю рассказывающую о том как кей-джи-би секретно записало компромат на Трампа состоящий в обоссывании им с двумя проститутками кровати на которой спал Обама, Мак-Кейн передал в ФБР: история тут.

C самой цидулей можно ознакоистья в полном объеме по ссылке. Про обоссывание кровати в самом на чале, на стр 25-26 рассказывается о том, что на самом деле - Путин - марионетка в руках хозяев Альфа-Групп и миром правят Фридман с Авеном и ко

надо заметить последний раз сравнимое изумление я испытал, обнаружив, что в истории про адский фторный заговор коммунистов Кубрик не придумал ничего - более того - на фоне реальности генерал Риппер выглядит образцом умеренности и здавомыслия. На случай если у кого сложности с доступом к тифаретнику - перепощиваю тут:


Они выложили ЭТО в интернет!!!!!!</em>

When they take us at our own word they make awful liars out of us.

Fortunately, ever-increasing numbers of citizens are learning the truth — that the proponents are, by their own words "awful liars" and protect themselves in the poisoned cities by purchasing unpoisoned bottled water.

Collapse )

Этой интригующей теме посвящено 500 страниц текста. Жесть неимоверная: помимо всего прочего там было выяснен вопрос крайней взрывоопасности содержащегося в воде водорода и вероятно еще много чего не менее интересного.

via skeptiq

Upd: Еще прекрасное: Collapse )