Category: технологии

Category was added automatically. Read all entries about "технологии".

default

Fair Guessing of Bit Vectors, или как я участвовал в ICFPC 2013.

Эпиграф



Нас было 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 за моральную и прочую поддержку :)

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

ICFPC 2012: от Lambda The Gathering к Gathering The Lambdas

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


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

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

Подготовка


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

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

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

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

Collapse )
default

Автоматическая отправка SMS на контент-номер

Вопрос из комментариев: "может ли так заглючить БС или телефон? http://gazetaby.com/index.php?sn_nid=32507&sn_cat=35"
Краткое изложение того, что по ссылке: "Абонент компании «Велком» Сергей Сивенков стал жертвой «SMS утечки». Ночью его мобильный телефон с интервалом в 2-5 секунд начал отправлять сообщения на платный номер 5555. За три часа было отослано 938 SMS, в результате чего Сивенков ушел «в минус» на 9 млн рублей. Collapse )
default

Еще она история в копилочку того, как "операторы воруют"

Оператор наведения shmyg прислал замечательную ссылку: asy.livejournal.com/2037204.html

Если коротко: T-Mobil сделал в своей сети какую-то услугу специально под старт продаж Андроидов. Прошивка Андроидов была изменена так, что на номер 453 периодически отправляются SMS-ы (без участия абонента), понятное дело, что в сети T-Mobile эти SMS-ы были бесплатны.

Народ стал покупать Андроиды, залоченные под T-Mobil, и пользовать их в других сетях. SMS-ы продолжали посылаться. В России нашлись предприимчивые люди, зарегистрировавшие платную услугу на номере 453 и сшибающие на этом бабло.

Мораль придумайте сами.
default

Почему в GSM такой кривой роутинг?

Сегодняшний пост вызван вот таким комментарием: "Пример. Я и мой сосед Вася живём в мухосранске. Там, в мухосранске, мы подключились к местному GSM оператору, а заодно зарегистрировались в skype. После чего взявшись за руки ломанулись в роуминг в зимбабве. И там, в зимбабве, севши за соседние столики интернет-кафешки с wifi, расчехлили ноуты и сотовые, и начали звонить друг другу.
При этом звонок через GSM дойдёт от зимбабве до мухосранска только для того чтобы вернуться обратно, в то время как голосовые данные при звонке по skype скорее всего не покинут пределов кафешки (а "служебные" данные - не будут даже приближаться к мухосранску).

Что кроме "50-летнего кода на коболе" мешает сделать так же в GSM?
" Collapse )
default

TravelSIM: как делается дешевый (бесплатный) роуминг?

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

Хотя оба оператора на сайтах не раскрывают своих "секретов" в явном виде, но в их руководствах пользователя содержится достаточно информации для того, чтобы достаточно достоверно представить, как оно работает. Collapse )
default

Роуминг: выбирай, или выберут за тебя

У пользователей GSM-телефонии есть два способа выбирать, через какого оператора она получают услуги - можно либо отдать выбор на откуп телефону, либо указать свои предпочтения вручную. По умолчанию, в телефонах выбран первый вариант, что может сыграть с пользователем злую шутку в роуминге. Collapse )
default

Сказ про то, как девушка Катя робота покупала

Вы думаете, лучшие друзья девушек - это бриллианты? Нееет, лучшие друзья девушек - это роботы!

Сначала предыстория. В моем jabber-клиенте настроен auto join в несколько конференций. Сами конференции я в последнее время практически не просматриваю, но и auto join не отключаю. В двух конференциях я даже модератор :), и ко мне периодически обращаются "в приват" с самыми странными просьбами. Collapse )