Discreet · and · not · discrete.


Do you want to crack jokes about it or do you want me to go?

Recent Entries · Archive · Friends · Profile

* * *
http://jim-garrison.livejournal.com/552189.html?style=mine

Дьявол показывает свой лик исключительно по своей природе.

(социопаты обязательно должны дать понять жертве, что воспользовались ею)
* * *
* * *
(mongo это монгольская копейка, одна сотая тугрика)

https://aphyr.com/posts/322-call-me-maybe-mongodb-stale-reads

Какое-то ужасающее скопище ошибок параллельной распределенной работы.

* * *
* * *
Оригинал взят у ptitsarukh в О, сколько нам открытий чудных
Вот тут: http://izvestiacontent.ru/media/3/news/2015/04/585678/7cb99c4e99658947faecd8db794fd505.jpg
сводная табличка российского экспорта в США за 2005-2014 годы. Крайне познавательно.

Оказывается, США закупают в России не только никель, медь, другие цветные металлы и прочее сырьё - хотя только в прошлом году и только мазута было куплено на 11,6 млрд.
В 2014 году было закуплено мотоциклов (!) на 4 млн долларов. Автомобильных шин (!!) на 66,8 млн. Игрушек (!!!) на 20 млн. Произведений искусства - на 173 млн.
"Вестингаузен", говорите? Тем временем, на покупку в России ядерного топлива США  тратят в год что-то около миллиарда.
И так далее.
Но один вопрос меня гнетёт особо: Никто не знает, каких-таких книг только в 2013 году из РФ в США было экспортировано на 27 миллионов долларов?

В общем, завязывайте рассуждать о своей стране как о "сырьевом придатке". Вполне конкурентоспособная продукция даже на привередливом внутриамериканском рынке.

* * *
* * *
...довольно гнусным пасквилем на Датский королевский двор.
* * *
* * *
Я тут собрал на коленке решатель задач булевской выполнимости (SAT, boolean satisfiability). Отличие от обычных решателей в том, что он позволяет запускать параллельно множество тесно взаимодействующих тупых решателей (совсем тупых), ну, и обработка конфликтов в нём отличается от обычных SAT решателей (нет отката, например).

Он показывает интересные результаты.

Например, на задачах факторизации, что я собрал на коленке же (через ToughSAT generator), увеличение количества параллельных решателей приводит к интересному эффекту. Чем больше решателей, тем меньше любому из них надо сделать шагов (распространение констант или присваивание), чтобы хотя бы один из них нашёл решение. Процесс выходит на асимптоту, что разумно предполагать, но эта асимптота находится в области 3..4*количество_шагов_идеального_оракула. Например, для задачи факторизации произведения 4194287x4194301 при количестве параллельных решателей 8000 штук, количество шагов до решения равно 145. Уменьшаем/увеличиваем количество решателей на 1000, количество шагов увеличивается/уменьшается на, примерно, 13-15.

Само собой, это дело уже параллельное - распараллелить программу на Хаскеле это раз плюнуть. Параллельный запуск чуть меняет результаты выполнения (в подробности вдаваться не буду), но количество шагов не меняется. Увеличение количества ядер практически пропорционально увеличивает производительность.

Проблема заключается в отсутствии у меня на ноутбуке достаточного количества памяти для тестирования задач побольше, где решателей надо сотни тысяч. В своп вываливается.

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

Поэтому вопрос - как мне запустить мою программу, скомпилированную под Ubuntu, на, допустим, вычислительном узле Amazon? Надо ли мне ставить VirtualBox и образ Fedora, поддерживаемый Амазоном, или как-то можно поставить Убунту на амазоновский узел? И тому подобное.

Не поделитесь ли опытом и ссылками по теме?

Если интересна сама тема решателей и есть желание погонять, то тоже пишите. Исходники не дам (по ряду причин), а бинарник могу. Могу и Cloud Haskell вариант сделать, чтобы на разных машинах гонять, это тоже просто.

PS
Писать программу на Хаскеле, будучи жутко невыспавшимся, можно. Продукт моего творчества писался в метро и в выходные (и вечерами), месяцев четыре-пять, занимает ~1200 строк кода.
* * *
* * *
Хорош.

На ленивом коде LLVM (-fllvm) даёт прибавку процентов в 10, на энергичном они равны. Это мощно.

* * *
* * *
Это сериал такой, Elementary. Про Шерлока Холмса в Нью-Йорке.

Ватсон там хирург, зовут её Джоан (Joan). На слух совсем, как Джон Ватсон.

На мой взгляд, отличный вариант Шерлока в 21-ом веке.

Он не шокирует бессмысленно с самого начала, как многосерийный фильм с Камбербачем, Точнее, весь шок остаётся в рамках "Ватсон-женщина".

Шерлок быстр на умозаключения, но при этом вполне человечен. Сообразителен, раним, любит, спортивен. Томми Ли Миллер сыграл на пять с плюсом, за что ему отдельное спасибо.

Исключение составляют идеологически правильные серии. Например, в одной серии антагонист представляет собой соединение Сноудена и Ассанжа в одном лице, причём с уклоном в серьёзный криминал (убийство вместо предполагаемого изнасилования Ассанжем). На это надо вводить поправку, но, вроде бы, это требуется не так уж и часто.

Мне смотреть нравится.
* * *
* * *
...необычный решатель задач булевской выполнимости.

Забавные подробности воспоследуют.

* * *
* * *
Научился этому у мамы - она цокает языком, когжа с ним общается, чтобы привлечь внимание.

Можно сказать, первое слово. ;)

Четыре с половиной месяца гестационного возраста, семь месяцев с рождения.

Tags:

* * *
* * *
http://www.hbs.edu/faculty/Publication%20Files/11-064.pdf

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

Круто!

Особенно, если нечестность распространяется на отношения с миром и с собой.

Я здесь специально не стал переводить creativity, как "способность к творчеству". По-моему, креативность хороший термин для современного суррогага способности к творчеству.
* * *
* * *

Previous