воскресенье, 28 августа 2011 г.

RuSSIR 2011

RuSSIR как RuSSIR...

Круто, как обычно.

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

Питер очень культурный город. Если Москва - это сплошные туалеты, то Питер - сплошные книжные магазины. Я даже видел киоск, где сверху было написано "Сигареты, Пиво, Соки", а внизу продавали книги. Возникает ощущение, что книги там еще и маринуют, жарят, солят и из них делают отличное варенье. Книжных ну очень много, только, увы, стандартный ширпотреб, для тех кому за 50, 40 и т.д. Для тех, кому нужен cs - его нет.

Питер культурный город. Если в Мск импортные на второй день спрашивали, что означает слова "на_3_буквы", "б*". То в Питере импортные таких вопросов не задавали. Или уже знали, или не научились.

В поезде я опять попал в абсолютно-женское окружение. Нет, я не являюсь женоненавистником, просто мне хочется тишины. Бывает нарываешься и физиологически-мужика, но болтает хуже (больше) средней женщины. Но в этот раз это не оказалось проблемой, так как в поезде ехали коллеги на учебу (тоже в СПб). Пошел к ним в купе.

Современные технологии настолько круты, что мы в течение 10 минут смогли установить игрушку на мой планшет с sd-карты, айфон4 начал раздавать wifi, и в два девайса на андроиде (планшет + телефон) начали играть в сетевую игру. Года 2-3 назад я бы в это не поверил. Потом накатили скрипты/закусили.

Пока я шел 10 вагонов, поезд оказался маленьким - обнаружил знакомого. Он местный, но аспирантит в ИПУ РАН. На обратном пути зашел к нему. Там был еще знакомый, тоже местный, и тоже аспирантус с ИПУ. На мой традиционный соцопрос "куда идти в Мск" после 20 секунд сошлись что это культурно (обычно я говорю, что "отделения милиции, парки с маньяками и пивные меня не интересуют"). Еще через 20 секунд, я опять понял, что уже побывал в бОльшем количестве мест, чем они. И стал им сам рекомендовать. Проблема любого города...

Далее транзит в мск (с 10:08 по 21:30). Лучше транзит, чем сидеть непрерывно в поезде 39 часов. Стандартный путь до лубянки - мертвый город - мне нравится в это время. Ребенку (у двоюродной племянницы инкрементация, и я к ним в гости в Питер на ночь) хотел купить хардкордную книжку по мат.логике купил "Алису" Кэрола. Далее пошел в Дарвиновский. Рекомендую. Далее зашел в бильярдную на полчаса. Стол - 10, г, кий - г. Не рекомендую. Где-то поел. Пошел в музей Маяковского. Тоже не рекомендую - на любителя. Мне не понравилось, как будто в здание попала бомба, везде непонятно что, как бы революционно. Погулял 3-4 часа. Транзит окончен.

Поезд прибыл в Питер в 4:40. Вышло 3-4-5 вагонов китайцев, человек 200 поди. Кто-то впереди махнул флагом и с криком "банза-а-ай" все они начали движение. И тут везде послышался непрерывный стук "Тук-тук-тук-тук-..-тук". У каждого китайца был чемодан на колесиках, и про таком количестве чемоданов, брусчатки и эха, казалось что у тебя за спиной миллиона 2 китайцев.

Принципиально решил идти пешком. Невский в 5 утра восхитителен! Абсолютная пустота, редко нарушаемая мелкими группами молодых людей. Вся классика - Аничков, Гостинный, Казанский, площадь... Жаль что от вокзала до конца Невского всего полчаса. Общага на Ваське, в противоположной стороны от стрелки. В 5:37 отключают освещение, я уже перешел Дворцовый мост и минут 5 иду с правой стороны Васьки. В последующий минут 10 я не встречаю ни одного человека, только пару встречных машин. Все как-то резко изменилось, и пейзаж, и город.

Через час достал девайс и стал определять где я. Оказалось, что надо еще пару километров. Через пол часа снова достал девайс, оказалось, что из "оказалось" надо выкинуть первую букву. Через 3-4 итерации стало уже менее смешно. Еще пару километров, еще три километра, да сколько ж можно. В итоге за 2 часа дошел. Сейчас вижу, что это было 12 км. Средний шаг.

Общага (хотя висит вывеска гостиницы, но внутри написано что это общага и номера не сдаются) оказалось довольно большим совком. Но пользуюсь классикой [халява, уксус, не смотреть в зубы].

Описывать лекции смысла нет, так как у нас и так собрали feedback. 80% из них шло параллельно. Начиная со среды стал забивать на первую лекцию (сложно, когда ложишься в 6:00, а встаешь в 10:00 успевать к 9:30), и на послеобеденную (приехать в Питер и ходить обедать - преступление. Вместо этого я иду гулять. Так как обед длится 1 час, а гуляю я часа 3, то ...).

В пн. было фуршетное мероприятие. Когда вернулся в номер, все равно осталось ощущение, что живу один. Глухо, никакой движухи. Это только на следующий день оказалось, что рядом есть еще 5 человек.

Во вторник была офигительная поездка по каналам. По Неве и первые 5-6 поворотов в каналах я еще понимал где мы, а затем внутренняя навигация сломалась. А потом так выплываешь, и оба-на = Исакий.

Пошли в kill fish (первая мысль была, что это магазин рыболовных снастей. Таки бар). Закрывается в 2-00 и последний саундтрек был, внимание, "Спокойной ночи, малыши". Вызвался джентельменом проводить девушку до дома, на Ваське ("метро закрыто, такси не содют" (с) Володя В.). Оказалось, что девушка училась в одной группе с Сережей К. (ака burunduk1), и что Сережа не получил диплом, просто его заломало. В шоке. Сережа настолько крут, что ему было достаточно тупо придти на вручение, даже его не написав. Вернулся под 4. Вы когда-нибудь видели лужу из печенья. Я видел, и даже того кто ее сделал.

Среда.
Ходил в океанариум. Круто. Рекомендую.

Был спорт, нормальный на выбор (футбол, волейбол, теннис, фрисби, скалы). В прошлом году в футбол ушло два человека (один из них я), и как-то было мало и был только волейбол. Зачетно поиграли в футбол, 5 на 5, затем 6 на 6. По времени 2 по 20, затем дополнительное 2 тайма по 5. Голы зашли только в дополнительном в конце. 1:1. Таки пенальти. 1:3, но будем считать что в основное и дополнительное время была ничья. В меньшем составе пошли слушать "Спокойной ночи", финский залив.

В четверг банкет, кухня, гитара. Опять финский залив. Помню было чье-то тело. Тело вошло на кухню, село за стол. Так как салатов не было, оно просто заснуло без салата. Суммарно я насчитал 12 человек + тело. И в этом году лично мне репертуар гитары меньше понравился, хотя на любителя.

Пятница. После всех официальных мероприятий зачем-то пошли брать Смольный. Зачем-то разбили бутылку белого вина. Дежа-вю, или уже традиция. Месяц назад тоже разбили, тоже белого, и в схожей ситуации. Полуимпортного отправляли на вокзал. Непонятный бар ("три первых шота" женщина-бармен понимает не так как мужчина-клиент. Разность воспитания.), паника чтобы успеть при сводке мостов, а там окошко с 2:40 по 3:05, а ты хоть и поймал машину в 2:30, но где-то концерт и проезд перекрыт... Финский залив.

Суббота. Петергоф. Экскурсия внутрь главного дворца как-то не сильно впечатлила, да и стоила она штуку. На любителя. Нейтрально. Фонтаны впечатляют. Их много и они большие. На день десантника надо ехать в Петергоф, даже если вы не десантник и сегодня не день десантника. Пошел в Эрарту. Это очень понравилось. Рекомендую.

Воскресенье. Пошел на книжную ярмарку (м. Елизаровская). Стандартные книжные (Зингер, Тех. книга) ввели в уныние. А это по сути есть школьный базар, но там есть прилавок, где продают всю классику cs. В общем, в России только есть два адекватных места: МЦНМО, и книжная ярмарка в Питере.

Пошел в Гранд-Россия. Очень круто. Рекомендую. Это уменьшенная копия России, поезда, автобусы останавливаются на остановках, включают поворотники. Если вы играли в tycoon... даже если не играли... затянет.

Зашел в бильярдную. Стол на 12 очень хорош. С шарика в угловой я накатал 5-6 шаров через весь стол. Легонечко, с чуть верхним и через весь стол, и он катится по прямой и встает как надо. Блин, а на наших столах чтобы шло по прямой надо бить сильнее, иначе искривления_пространства/силы_Кариолиса/проходящие_мимо_трамваи все портят. И хорошо, что если 2 останутся.

Зашел в лофт-этажи. Честно - гавно. Когда зашел внутрь, группа позади сказала что "как у Васи в подъезде". Я не знаком с Васей, но я ему соболезную.

Оставалось еще 6 часов, а я прошел все основные запланированные точки. Дальше что-то классическое из графовых (почтальон/коммивояжер) - обошел все мосты/парки/скамейки.

Пн. Транзит в Мск. Поезд в 5:11, исходящий в 17:37. Месяц назад я пытал человека с ММ МГУ насчет книжных. Он сказал 4 места, в 3-х я уже был(МЦНМО, Новый Арбат, библиоглобус), в 4-ом(ГЗ МГУ) немного приватный доступ. Решил пробиться в ГЗ. LifeHack: надо заходить с правой части ГЗ, там проще с пропускным режимом. Если будете ломиться через центр, скорее всего обломают.

Решил принципиально не пользоваться транспортом, хотя еще оставалось 5 поездок на метро на билете. Вышел в 5:30. 6:00 - Манежка, 6:30 - Петр, 7:00 - Президиум РАН, 7:30 - обзорная площадка перед ГЗ. 2 часа = 12 км. Магазин в любом случае, не ранее 9.

Только присел на скамейку, бежит белка. В левом и правом полушарии параллельно возникло две мысли: "Ух ты, белка!" и "Белка, ты не за мной...". Хотя всю предыдущую неделю употребляли (но не злоупотребляли, арифметика/речь не отключалась), но белка за такими не приходит. И в самом деле, белка прошла мимо.

Сходил за водой, дождался 9, пошел в магазин. Разочарован. Есть довольно много вкусной математики, абсолютно нет cs. Есть стандартный ширпотреб из языков/технологий. Поел в столовой.
Пошел в парк Победы. Там довольно много пушек/танков. Хороший асфальт, горки - много роллеров. Далее пошел в зоопарк, но у него оказался санитарный день. Было уже около 12, пошел по ближе к вокзалу. Я еще не был в Сокольниках - пошел туда. Парк как парк.

Весь маршрут: http://maps.yandex.ru/-/CBaDZI6U. Я ж офигел, что это 41 км. Диаметр Мск = 40, я таки до сих пор хочу пройти Мск по диаметру...

В этот день я выпил всего лишь 1 л жидкости и был бодрячком. Было свежо и ветер. Неделю назад я выпил 4.5 л, хотя я там прошел порядка 20. Жарко было. Когда жарко, то [устал как лимон, выглядишь как лимон, пахнешь как лимон]. Когда не жарко, то [устал как лимон].

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

Выводы: люди с АФТУ крутые. Познакомился с множеством близких по духу людей. Хорошо провел время. Хочу еще.

среда, 10 августа 2011 г.

Что-то на М...

Я абсолютно не различаю МФТИ, МГТУ, МИФИ. Точто (вроде?) МГТУ им. Баумана, что-то одно из них в Долгопрудном, что-то одно из низ в Измайлово, что-то третье в другом месте. Для меня это все физики на М*.

А еще есть кучка информатиков, вроде ИПМ, ИСП, Переславль. Этих я различаю по географии, но по тематике они у меня слабо дифференцираваны, хотя различие по цвету штанов уже провожу.

А есть еще куча "Институт проблем NNN". Проблем меньше, чем организаций. Поэтому по Дирихле, они явно с кем-то пересекаются по тематике из не "Институт проблем NNN". И по географии я только различают три разных экземпляра NNN.

А есть еще математики. Они и пересекаются, и интеферируют, и коммутируют, и делают что попало, а иногда даже дистрибутивно и в циклических подгруппах. Тут я в географии не силен, и в тематике тоже.

И это все из M*. В других городах все проще.

воскресенье, 7 августа 2011 г.

Форсированно

До этого лета я брал билеты на ж/д в кассах, сейчас перешел на электронную покупку.

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

Хотя стоит опоздать на 1 день с момента начала продажи билетов (40 дней), как на поезд СПб-Мск остается только пару мест в центра вагона. При том что на таком ходовом маршруте есть более 20 рейсов в сутки.

Когда возвращался с крайней поездки решил распечатать билеты. Две старушки из очереди в кассу начали меня обсуждать:
- Смотри, билеты распечатывает через интернет.
- А ты знаешь, сколько в интернете мошенников. Вот украдут твои данные, и все!

Блин, разности поколений. Из-за таких как они у нас цены на гречку и взлетают.

среда, 3 августа 2011 г.

SSSEV 2011

Таки много текста, что-то типа отчета. Буду стараться делать такие вещи с поездок с продолжительностью более 3 дней.

Все началось 15 млрд. лет назад. Все началось зимой, когда на рассылку упало письмо с рекламкой. Состав участников впечатлил - решил что очень надо поучаствовать. Тематика мне довольно близка, у меня диплом был по Флойду-Хоару (простенький компилятор из чего-то PL/Pascal аннатонированной программы в выражения для прувера), но не входит в список моих научных интересов (ничего нового я здесь не сделал, да и не делал).

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

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

Если я был бы физиологически девочкой, то на две недели (13 дней с учетом дороги) мне наверняка потребовалось бы куча сумок/одежды/непонятных вещей. А так я с собой взял стандартный набор: 8 (или 9, я плохо считаю) футболок, носки/трусы, шорты, кеды (! - всегда берите с собой спортивную обувь). Орги просили еще взять ноут, взял. И все, в том смысле, что больше ничего. Еду я принципиально не беру, в день отправления к тому же ничего не ем. Тут работает простая формула - ничего на входе = ничего на выходе. Это работает. Беру только 0.5/1 литр жидкости (чай/вода), и минимальную пачку cookies (с овсяных меня уже мутит, перешел на крекер). Если бы не ноут, то смог бы вместиться в 1 сумку, а так пришлось взять рюкзак.

В течение недели я планировал что делать в default city в вс, ибо сразу в общагу заселяться сразу утром смысла нет. Планировал, планировал, а потом в чт говорят, что будет пикник где-то на недалеко на сервере подмосковья (Троицкое). Перестраиваю планы, вроде более-менее по времени укладываюсь.

Поезд. Еду в плацкарте, ибо спонсоров у меня не оказалось. Оказываюсь в чисто женском окружении, да и одна еще "дама с собачкой" (неполиткоректные варианты "стерва с с*" использовать не будем). Сразу в голове вспоминается несуществующий объект "стоят три женщины у колодца и не разговаривают". Мне с моей некоммутативностью довольно сложно о чем-то говорить с неизвестными людьми. А прослушивание "женских" разговоров меня угнетает - информационной нагруженности там абсолютно нет, а канал связи нагружен. В итоге мне довольно повезло, молча (даже собака) доехали.

Тут стоит дать ссылку на Сережу К. ака burunduk1. Собственно ссылка. Рекомендую дочитать до конца, ничего более крутого из теории расписаний я не видел. У меня оказалось менее круто, но я тоже пока буду писать по минутам.

Я допланировался до варианта: в магазин за девайсом, общага, от туда в 13:30 отходит автобус на пикник. С учетом расписания электричек при кривизне маршрута у меня должен оставаться час от Одинцова до общаги. Начали.

10:08, прибытие, дождь.
10:35, прибыл в магазин (Автозаводская, 4..5 остановок на метро).
Купил девайс, вышел в 11:05.
В 11:30 вышел на белорусском вокзале.
В 11:33 у окна покупки билетов. Пока все в графике, ближайшая электричка по расписанию должна быть в 11:44. Облом/отмена электричек. Ближайшая только в 13:09. Не катит, ибо автобус из общаги уходит в 13:30.
Перебираю тривиальные варианты с автобусом/маршруткой в Одинцово, или самостоятельно в Троицкое.
Выбираю второй вариант. Так как там начало в 15:00, а исходящий автобус в 13:20, а сейчас 11:40, то далее было все неторопливо, едем на север города к автобусу, гуляю примерно час до автобуса. Дождь. Билет стоит 42 рубля, но они явно не читали Адамса.
В 13:50 я уже в Троицком. В автобусе ехала девушка с зонтиком от HP. Рискнул предположить, что это же мероприятие. Оказалось что на ДР к друзьям.
На пикник также собирались ребята с Яндекса (acm-detected) с Яндекс-опен. Посмотрел списки, пофамильно знаю многих, в лицо не более 5 человек.

В Троицком довольно мило, дождь закончился, солнышко. Если вы находитесь в Мск, то рекомендую.

Звоню в 15:00 оргам, с вопросом когда они будут. Внезапно оказывается, что все отменено (Россия, блин), Яндекса тоже не будет. Письмо с отменой ушло в 10:33 вс, когда ж я его смог бы прочитать *риторически*? То есть я оказался единственным счастливчиком, кто посетил "пикник".

Тут уже без вариантов, надо заселяться. Если б я знал, то в вс в Мск была формула-1 вокруг Кремля. И у меня еще с пяток чек-пойнтов не пройденных. А я за целый день зашел в магазин и нахожусь в 15 км от МКАДа с верблюдами. Негодование.

15:20 обратный автобус.
15:55 захожу в метро.
16:30 на белорусском покупаю билет до Отрадного. Так как я до этого ни разу не использовал пригородные московские электрички, то билет меня несколько смутил. Там кроме станции назначения из слов больше ничего нет, остальное - набор ничего не говорящих чисел. Спрашиваю как мне ехать, какая-то добрая женщина показывает на электронное табло и говорит, что в 16:33 с 1 платформы 6 путь отходит нужное. Паника! Выбегаю на платформы. Слева 1 платформа пути 1..5, справа платформа 2, пути 8..5. Очень странная нумерация, еще спрашиваю у кого-то. Паника, счет идет на секунды. С самого краю оказывается нужный путь. Добегаю. Поезд издает такой звук, что хочет отправиться. Влетаю в открытую дверь. Быстро спрашиваю куда идет электричка. Оказывается, спрашивать уже бесполезно, потому что двери закрываются. В итоге сел правильно.

У меня в пригороде все проще. Можно тупо сесть без билета в электричку, там внутри есть кондуктор.

17:10. Прибыл в Отрадное.
Помню, что надо идти на запад по шоссе. Как определить где запад? На телефоне есть аппаратный. Еще посмотрел на небо, с одной стороны все темно и тучи, с другой светло. Значение запада для телефона и неба совпали. Пошел в направлении. Минут через 20 понимаю, что пейзаж должен быть другим. Идут построенные здания, а на карте была тотальная стройка. Спрашиваю, где Дубки? И меня отправляют в другую сторону.

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

18:00 Прибыл. Заселился.

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

День 1-9.

Доставка.
Был автобус от оргов. Он стартовал в 7-00 (+10 минут на опоздания), и в среднем за 1.10 достигал конечной точки. Минимум составлял 46 минут, максимум в сторону Мск = 1.45, в сторону Дубков = 2 часа. В столице используют политкорректное слово "коллапс", я использую слово "жопа". Студенты вышки говорят, что добираются за 1.15-1.20.

Суммарно, раз 5 ездил на электричке. Это полуад, вспотел как лимон. Ад - это видимо в час пик.

Лекции. Тут все очень круто. Крутые люди читают крутые лекции. Как всегда, трудно выделить причину/следствие. "Крутые люди читают крутые лекции", или "Крутые лекции читают крутые люди".

Мелкие замечания по лекциям. Хоар рассказывал про себя (логика Флойда-Хоара, но уже для concurrent), на уровне логики/алгебры. Стефан рассказывал про vcc (такая реализация Хоара для С). Было бы очень полезно увидеть промежуточный слой, между теорией и практикой: что и как извлекается и что отдается пруверу. Я для себя представляю как это делается, просто со стороны это выглядит довольно параллельно.

Было куча людей с MSR, intel, google, kaspersky, ММ МГУ, ИПМ, ИСП, ИПС и куча других страшных слов. Две лекции по суперкомпиляции - это нечто!!! Я в восхищении!

Гостевые лекции шли параллельно, но я, к сожалению, не являюсь недетерминированной машиной Тьюринга.

Режим.
Лично наша комната вставала в 6:30, и я не помню чтобы мы ложились раньше 1:30 (бывало хуже).
На третий день перешел на кофе из кофе-автомата. Втянулся (5-7 стаканчиков и бодрячком). Если бы я порезался, то "вашем кофе крови не обнаружено".

Вне лекций. Два раза поиграл в футбол, покидал тарелочку, с полчаса кидал баскетбольный мяч (попал всего 2 раза :( ).

В сб нас водили в планетарий. В "кинозале" сосед слева храпел - он пришел с женой и 2-3 детьми, походу ему только там и можно оторваться. Справа сидели все наши, заснул только один человек с Украины. Потом трапеза, потом повели импортных до площади. Затем отлучился и сделал маршбросок по городку.

В вс с утра пошел в город. В 10 утра в вс Москва мне очень нравится. Мертвый город, только редкие туристы, редкие машины, все редко. К 12 все начинает шевелиться. Погулял до 4.

Однажды в метро девушка играла Вивальди. Впервые в жизни отдал пару монеток.

Можно тут еще очень много написать, хватит на пару монографий, еще останется на статью в ВАК-овском журнале. Весь смысл поста сводится к одной мысли: мне очень все понравилось, и реально жаль что это закончилось :( Остановись мгновение, ты прекра...