?

Log in

No account? Create an account
dump -0f - /dev/mind
Я знаю Haskell, OCaml, GSM, эндофункторы и много других страшных слов
_adept_ — литература — LiveJournal 
Что можно найти в этом журнале:


  1. Баечки из жизни IT-специалистов
  2. Рассказы о мобильной связи. Мне можно задавать вопросы о мобильной связи, и я постараюсь на них ответить.
  3. Зарисовки о жизни в Англии
  4. Конкурсы-загадки для IT-шников и не только
  5. Рассказы об участии в конкурсах ICFPC



Если вы хотите прочесть пару записей разных стилей и жанров "на пробу", то можете попробовать: отчет про ICFPC-2006, первоапрельскую шутку про тотальное прослушивание компьютеров через излучение от витой пары и про телепузиков.

Подзамочных записей практически не делаю - смело подписывайтесь внешними RSS-агрегаторами. Если вы хотите читать не все мои посты, а только их часть - можете подписаться на feed, содержащий только посты с тэгом GSM или на feed, содержащий только истории.

Механизм friend-ов в LJ я рассматриваю исключительно как техническое средство удобно читать журналы тех, кого мне интересно читать.

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

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

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

Казалось бы, ocamlbuild весь из себя красив и пушист, и в простом
случае можно сказать "ocamlbuild main.native" и в две секунды получить
работающий бинарник - чего еще желать простому разработчику?.Read more...Collapse )
Это вторая часть рассказа про компиляцию окамл, в которой, как в сказке - чем дальше, чем страшнее.

Итак, мы с вами выяснили, что без топологической сортировки по зависимостям проект на ocaml не собрать. А чтобы эту сортировку выполнить, надо сначала вычислить, что от чего зависит.Read more...Collapse )
22nd-Oct-2010 11:21 pm - Как я сдавал TOEFL
Сегодня я пошел и сдал TOEFL IBT. Насколько это мне удалось - будет ясно через две недели, а пока я хочу по свежим следам поделится впечатлениями о процессе. Они, думаю, будут интересны не только тем, кто собирается сдавать этот экзамен, но и тем, кто просто про него что-то слышал. Итак, TOEFL, сцуко, стремный ...Collapse )
С легкой руки Киви Берда по просторам этого вашего интернета пошла гулять статья про один из докладов на SOURCE Boston 2010. Доклад был посвящен уязвимостям сетей мобильной связи, и именно поэтому он (surprise-surprise!) будет главным героем сегодняшнего поста.

Слегка паникерскую версию того, что накопали Ник ДеПетрилло и Дон Бэйли, вы можете почитать по ссылке выше. Или можете сходить на ProIt и почитать еще более паникерскую версию. А я вам попробую рассказать, что же было в докладе на самом деле :)Read more...Collapse )
17th-Aug-2009 10:02 pm - Он сказал: "поехали!"
Он - это пресс-релиз. На самом деле, там еще есть пару мелких углов, но вписывать прибавку к EXP и ЧСВ можно уже сейчас. Я там собирал требования, писал кучи документов, мигрировал данные и интегрировал все добро в одну кучу. Вот какой я молодец

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

Что кроме "50-летнего кода на коболе" мешает сделать так же в GSM?
" Да вобщем-то ничего особенного :)Collapse )
В процессе утреннего чтения мимо меня пробежало два поста про "Getting Things Done" (тыц и тыц), которые (как по мне) представляют всю идею в несколько неверном свете.

Я не большой фанат писать про personal development, но тут просто не мог удержаться, чтобы не запостить кусок старого лога из Jabber-а: что такое GTD, как его понимаю я...Collapse )
По просьбе жены распечатал файлик с детскими скороговорками, взятый из книжки Зайцева (которая про одноименные кубики). Почитал. Лишился сна и покоя. Пошарился по гуглу. И меня порвало пополам.

В принципе, после незабвенного стишка "Мышки сушек насушили, мышки мышек пригласили. Мышки сушки кушать стали, сразу зубы поломали", рассказаного мне kseva, я был почти готов к тому. что я прочел. Почти, но не совсем. Избранные шедевры: Read more...Collapse )
Периодически приходится слышать. что современной девушке физика-математика ни к чему, т.к. (тут идут доводы).

Расскажу я вам по этому поводу занимательную историю.

Одна моя знакомая в пору своей бурной молодости стала испытывать нежные чувства к некому молодому человеку. Все бы было ничего, если бы не разница в возрасте - ей было 15 лет, а ему - 30, т.е. в два раза больше. И что же ... ?Collapse )
На днях Верховная Рада приняла (пока - в первом чтении) ряд поправок к закону о телекоммуникациях. В их числе - требование к операторам мобильной связи обеспечить сохранение телефонного номера за абонентом в случае перехода к другому оператору (т.н. mobile number protability или MNP).

Идея отнюдь не нова - с конца девяностых годов FCC в штатах, Комиссия по Связи в Евросоюзе и Ofcom в Англии выдвигают подобные требования к операторам, работающим на территории их юрисдикции. В принципе понятно, что это нововведение означает для абонента - исчезает "барьер" по смене оператора, и т.п.

А вот что это означает для операторов? Об этом я и попробую рассказать.Collapse )
Учитывая, что мне самому нужна литература по CDMA EV-DO, я сегодня прошерстил мелкими граблями сеть и нашел несколько заслуживающих внимания источников. Кому тема интересна - рекомендую качать и заначивать, пока они доступны.Read more...Collapse )
Заказной пост в ответ на вопросы:
* Методы определения местоположения абонента в сети GSM?
* IMEI телефона не участвует в процессе авторизации в сети? Можно ли реально найти телефон в GSM сетях по IMEI и почему эта услуга "заблокирована" у наших операторов. Т.е. мои знакомые несколько раз натыкались на то, что у них крали телефоны и оператор не мог им предоставить информацию о местоположении не то что по IMEI по самой симке.

Короткий ответ:
Для начала, разделим вопрос на две больших части: как узнать, где телефон был тогда-то, и как узнать, где телефон находится сейчас, сию минуту.

Начнем со второй части.
1. Утверждение, что в любой момент времени можно определить положение абонента GSM-сети в пространстве с точностью до 500 метров - как правило неправда и бред.
2. Как правило, чем чаще вы звоните/посылаете/принимаете SMS-ы, тем точнее можно определить ваше местоположение. (читайте длинный ответ - там написано, какие из этих утверждений бывают исключения).

Теперь о первой части - можно ли узнать, где телефон был и "найти" его? Ответ: можно узнать с точностью до соты, где был телефон в момент совершения звонков, передачи и приема SMS-ов. Если телефон не использовали, то даже и такой информации не будет.
Read more...Collapse )
После прочтения заметки о location update куча народу в той или иной форме задали такой вот вопрос: "почему от этого наводки на все динамики в пределах метра? Почему при разговоре этих наводок нет?"

Я решил вынести ответ в отдельный пост.Read more...Collapse )
Заказной пост для netch, aefimov и andrew_dashin: "Я так понимаю, что у каждой sim-карты есть свой ID, по котрому определяют что это именно та самая карта. Волнует меня вот что: могу ли я подменить программно этот ID?" и "Каналы сетей действительно шифрованы или это сказки?"

Короткий ответ: у каждой SIM-карты действительно есть уникальный ID, называемый IMSI (International Mobile Subscriber Identity). Теоретически (при использовании программируемых или инженерных SIM-карт) его можно изменять. Однако, IMSI не является authentication token-ом - для того, чтобы определить "что это та самая карта", используется challenge-response протокол. В качестве секретного ключа используется длинное секретное число, которое хранится в SIM-карте так, что его невозможно считать и/или изменить. При определенной доле удачи его можно попытаться вычислить и сделать дубликат SIM-карты, но если не повезет - можно лишиться SIM-карты.Read more...Collapse )
Заказной пост для spamsink: "Зачем GSM-телефон делает "тыгдым-тыгдым" (звук хорошо слышен, если телефон положить рядом с колонками или радио, иногда - в самом телефоне), и как с этим бороться?"

Котороткий ответ: телефон выполняет location update (если "тыгдым-тыгдым" происходит, когда телефон ничем особенным не занят) или отвечает на paging и согласовывает с базовой станцией параметры "голосового" канала, который будет использоваться (если "тыгдым-тыгдым" происходит непосредственно перед тем, как телефон начинает звонить). Бороться с этим не надо, иначе ваш телефон перестанет быть мобильным :) Read more...Collapse )
Поскольку предложение порассказывать про GSM и мобильную связь вообще вызвало достаточно большой интерес, приступим.

Посты будут помечаться тэгом gsm (даже если речь там будет идти не только о GSM).

Сразу оговорюсь, что самые-самые азы (из каких элементов состоит сеть, каковы их функции, и т.п.) я буду рассказывать только если в этом будет необходимость, благо в сети достаточно много материалов, позволяющих получить поверхностное представление о то, что к чему. Скорее всего, я буду отвечать на конкретные вопросы, которые в сети не освещаются или освещаются плохо, либо самостоятельно подбирать темы для постов. Если в постах будут встречаться незнакомые абревиатуры, то google is your firend :) Если гугл не помог, то спрашивайте в комментариях, и вам воздастся :)

Начнем с конца, то есть с библиографии.

Подборка ссылок на различные обзоры и введения (как на русском, так и на английском): http://del.icio.us/adept/gsm

Книга, позволяющая либо "читать вширь", либо "закопаться вглубь": The GSM System for Mobile Communications. Ценна тем, что авторы входили в оригинальный GSM Comitee и это информация "из первых рук" и зачастую с объяснением, почему все сделали так, а не иначе. К сожалению, в переводе на русский и/или в электронном виде мне не встречалась. Другие бумажные книги рекомендовать не буду, т.к. в большинстве случаев я читал их частями или "по диагонали". Врочем, если вы нароете в сети какой-то ресурс, я могу на него глянуть и сказать, "пациент скорее жив" или нет.

Предложения? Комментарии?
This page was loaded Oct 21st 2019, 1:41 pm GMT.