dump -0f - /dev/mind

По такому поводу можно вылезти из спячки :)

Через два дня (в пятницу, 6 августа) начинается ICFPC-2016. В прошлом году у меня поучастовавть не получилось, предыдущие два были (по моему мнению) так себе. Посмотрим, что будет в этом году.

PS: если вдруг кто еще не знает, что такое ICFPC, можете почитать мои старые отчеты, начиная с этого, они все под тэгом icfpc.

Во-первых, поздравляю человека и парохода jabber.ru с победой в lightning раунде.

Во-вторых, на этом месте мог бы быть отчет, но писать особо не о чем. В этом году я пробовал что-то сделать самостоятельно, но буквально сразу увидел (кажется, на IRC) слово SECD и в результате отвлекся на чтение книжки Хэндерсона "Functional Programming Application and Implementation", которой явно вдохновлялись организаторы. В результате я узнал много нового и интересного о том, как можно использовать camlp4, чтобы реализовать "компилятор" из сделанного тобой DSL в OCaml, а также о том, что такое SECD-машина (как она дана у Хэндерсона, а не урезанный вариант из задачи этого года).

После возни с полноценной SECD-машиной мотивация делать обкоцанную SECD-машину у меня как-то пропала, и я для себя на этом ICFPC-2014 закрыл. А что у вас?

Тут в связи с известными событиями зазвучала фраза "Ну так украинцы сбивали же уже самолет в 2001-м году, вот сбили еще один".

Я удивился, т.к. мои личные воспоминания сводились к "что там именно произошло - так никто и не узнал".

Ну, и я пошел почитать. Самолет из 2001 года - это вот этот. Воспоминания меня не обманули - что именно там произошло так и не было достоверно установлено.

Самые интересные материалы, которые я прочитал, были взяты по ссылкам из википедии и с сайта одного человека, но их содержание не дает особого повода усомниться в достоверности:
1. Заключение украинской экспертной комиссии (российской в инете не нашел)
2. Дискуссия с адвокатом, представлявшего Украину

Т.к. заключение - на украинском, будет уместно сделать короткий пересказ выводов.
1. Невозможно установить, где конкретно произошел взрыв относительно корпуса самолета
2. Недостаточно данных, позволяющих отнозначно и без сомнений установить полную траекторию полета ракеты вплоть до момента ее подрыва
3. Пусковая установка была сконфигурирована на стрельбы по мишеням на дальности до 90 км, ее радар не видел самолет. Сопровождать несколько целей одновременно комплекс не в состоянии. Самостоятельная смена мишени исключается исходя из конструктивных особенностей комплекса и взаимного расположения траекторий самолета и мишени
4. ТТХ ракеты не позволяют ей долететь мимо мишени и долететь до самолета за время, необходимое для его поражения
5. Траектория, приписываемая ракете в заключениях Международной Авиационной Комиссии (МАК), невозможна исходя из конструктивных особенностей ракетного комплекса
6. Обломки самолета найдены были. Обломков ракеты найдено не было.

UPD: Примерно то же самое от самого адвоката: https://www.facebook.com/andriyko/posts/10152563072998841?fref=nf

UPD 2: я вижу, что надо изложить мое мнение подробнее, чтобы не было разночтений. Я не пытаюсь утверждать, что не было самолета, или не было ракеты, или ракета не попала в самолет. На вопрос "что же там произошло?" у меня ответ "кажется, попали ракетой в самолет, т.к. нету никакого другого разумного объяснения, но в то же время нет (у меня, по крайней мере) удовлетворительного ответа на вопрос, как именно это произошло?"

Даже признание тогдашнего украинского министра обороны, что мол да, это скорее всего наша ракета не сопровождалось объяснением того, как же это получилось.

Из широкой публики этого так никто и не узнал (и, думаю, не узнает). Я попробовал найти ответ на этот вопрос самостоятельно, и понял, что отчета МАК в сети нет (и как я понимаю - полного отчета и не было, была только выжимка на сайте, отчет киевских экспертов задает вопросы, и нет других документов, которые бы на них отвечали; учения были совместные, полигон был российский, ракетный комплекс был украинский, наблюдатели были отовсюду, воздушное пространство было российское ...

Короче, как правильно написал arkanoid, "у всех случайно сбитых военными самолетов много общего ... слишком много вранья".

Если вдруг кто еще не знает, то в этом году ОНО будет с 25 по 28 июля. Кто собирается участвовать?

(ЖЖ сожрал мой пост и не подавился, повторяю его)

Если вы "пропали", и у вас есть телефон

Напишите SMS. Это может быть быстрее, чем звонить и ждать, возьмут там трубку или нет. Если вам удасться отправить SMS (не важно, будет он доставлен или нет), то у оператора сохранится запись с уникальным номером базовой, которая его приняла.

Для андроида есть приложения вроде этого, которые могут отправлять "тревожный SMS" с вашими кординатами. Приложение по ссылке отправит SMS после 2-5 кратного нажатия на power. Disclaimer: я видел и другие приложения, но ни одно из них не тестировал.( (дальше еще много всего) )

Эпиграф

Нас было 7 человек. У нас было 20 модулей на хаскеле, приватный репозиторий на гитхабе, 6 веток в этом репозитории, ImplicitParams, MagicHash и UndecidableInstances в коде и одна highmem нода на амазоне, а также hangouts для общения, юнит-тесты, просто тесты, google docs для заметок и куча статей про SMT-солверы. Не то что бы мы это все использовали, но на ICFPC ты ищешь в инете всякую дурь и бывает трудно остановиться. Единственное что вызывало у меня опасение - это SMT-солверы. Нет ничего более беспомощного, безответственного и испорченного, чем человек, читающий статьи в ходе контеста. Но я знал, что рано или поздно мы подсядем и на эту дрянь.

Краткое содержание для тех, кому лень читать все

Наша команда называлась "(unmatched", и состояла она из меня, Жени jkff, Ромы ro-che.info, Вани _navi_, Саши sorhed, Макса (которого нет в ЖЖ) и еще одного Саши wizzard0.

Мы набрали 1301 из 1820 возможных, из них 457 в lightning round, т.е. в первые 24 часа (UPD: и, похоже, заняли там 10 место! Аааааа!). Мы заняли место между 11-м и 25-м, но еще не знаем, какое конкретно.

Мы писали на Haskell и вот наш репозиторий.

Спасибо моим соратникам - вы все молодцы и умницы! Традиционное спасибо моей жене yulanta за моральную и прочую поддержку :)

А теперь - длинная история про то, как дело было.( Read more... )

Начало тут.

( Поговорим подробнее про волшебный SMS )

Недавно один мой коллега Н принес на работу головоломку Bedlam cube. А другой мой коллега Д заинтересовался и стал его складывать.

Головоломка, надо сказать, действительно непростая, и Д мучался с ней больше недели. В конце-концов у него получился аккуратный кубик с небольшой дыркой, и еще одна деталь, которую надо было когда-то раньше засунуть внутрь, а теперь уже даже и непонятно, что с ней делать.( Read more... )

Обращаюсь за помощью к коллективному разуму.

Есть у меня NAS с RAID-ом. На нем - ~400 Gb Ценных Данных. Хочется их на куда-то сбекапить off-site, на случай непредвиденных обстоятельств - если вдруг RAID накроется целиком и сразу весь.

Хочется, чтобы:
1)Лить бэкап можно было прямо с NAS-а (а там - linux и ARM), то если либо по rsync, либо по ftp/ssl или sft, либо еще что-то подобное, и уж точно не какой-то GUI-клиент.
2)Все, что я лью туда, должно быть зашифровано (допустим, каким-то симметричным алогоритмом с большим ключом).
3)Версионированиие и прочие модные штуки (доступ с мобилки, шаринг файлов, фото-альбомы(!)) - не нужны.
4)Супер-пупер надежность с 29-ю девятками после запятой - тоже не нужна. Мне нужна разумная страховка на случай, если с моей стороны случится что-то маловероятное, а не основное средство для бэкапа. Для меня будет достаточно, если они скажут "извини, тут с вот этим файлом беда вышла - надо перезалить".
5)Инкрементальные бэкапы - обязательны

Вроде ж не много хочу, да? ( И вот что выяснилось ... )

Обязательное вступление: что это вообще такое?

Каждый год случается международная конференция ICFP - International Conference on Functional Programming. К этой конференции приурочен програмерский конкурс под названием ICFPC. Несмотря на название конференции, участвовать в контесте может любой желающий, и пользоваться можно любыми языками, не только функциональными, кроме того - участники могут объединяться в команды. ICFPC отличается от соревнований типа ACM и topcoder тем, что он менее "заточен" под какие-то конкретные языки или наборы навыков, а задачи в нем прикольные и позволяют получить удовольствие не только от победы, но и от участия.

Я стараюсь принимать участие во всех ICFPC, и о том, как это было в прошлые годы, можно почитать в этом журнале по тэгу icfpc.

Подготовка

В этом году я заранее вписал даты в календарик, взял на работе отгул, и договорился с Женей antilamer и Ваней _navi_ о том, что мы будем выступать одной командой и писать на Haskell.

Моя жена собиралась где-то в это же время поехать с детьми на историческую родину, и мы подгадали поездку так, что на время ICFPC я остался один-совсем-один. Если быть точным, за 4 часа до старта я был в аэропорту и провожал их на самолет, и вернулся домой за 5 минут до начала.

Подготовка, таким образом, свелась к заливанию ssh-ключей на bitbucket (где у нас был git-репозиторий) и обмену контактами с остальными участниками команды :)

Старт и условие

( Read more... )

В твиттере smart_haos пишет (после недавнего наводнения в Кубани): "У сотовых операторов есть информация по координатам абонентов. Почему МЧС не умеет использовать этот ресурс для адресных оповещений?"

1)Потому, что SMS - негарантированный сервис. Ни скорость доставки, ни сама доставка - не гарантированы. То, что обычно все доходит быстро - это, грубо говоря, просто "везет". Пока не начались перегрузки сети, например.( Read more... )

В продолжение вчерашней дискуссии.

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

Расскажите мне пожалуйста, что с этими текстами делать потом? (напомню, что мы говорим про Кровавый Режим, который надеется получить с этого какой-то профит).( Read more... )

Некая мадам olga_andronova (говорят, даже технический редактор где-то там) рассказала, как ей кровавый режим Путина удаленно включал телефон в летящем самолете(!): http://olga-andronova.livejournal.com/170052.html

Кто-то в комментах дал ей ссылку на мой ЖЖ, меня тут же записали в проплаченных прихвостней пресловутого режима, и пошло-поехало. В комментариях там также можно наблюдать:( Read more... )

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

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

В этом объяснении есть только один скользкий момент: реально ли, чтобы вертолет вот так зачерпнул пловца? Как только вы допустили для себя, что это реально, все остальное уже не вызывает никаких вопросов. Все хмыкают: "ну, дела!" и переходят к следующей загадке. ( А теперь представьте ... )

Вот еще прибежало в почте: "Часто в шпионских фильмах агенты ФБР делают прослушку и ждут две минуты, после чего находят адрес человека, а если звонок срывается, то не могут найти.

Это кажется очень нелогичным, не могли бы вы дать комментарий специалиста?"

Мне это тоже кажется нелогичным.( Read more... )