воскресенье, 25 декабря 2011 г.

Хандра не по Фрейду

Давным-давно играли командой (3 человека) во вконтакт. Артем загадал слово из сабжа. После 3 отгаданных букв пошли долгие 20 минут неуспешных попыток продвинуться, после чего впервые пришлось сдаться. Я даже в шляпу это загадывал - реально сложно.

С возрастом стал ощущать нечто, что попадает под хандру. У меня избыточный вес У меня избыточный возраст. И ведь не похудеешь... Точнее, изменения в весе идут, а все равно хандрю. Возраст ведь не сбросишь. Кризис непонятых лет?.. Усиление припадков наблюдается каждую зиму, ближе к новому году. Опять накрывает.

Началось во студенчестве (и это не зимняя сессия). Или чуть раньше началось? Стало как-то сложнее общаться с людьми. Родители говорят, что "в детстве был таким общительным мальчиком, а сейчас...", а сейчас я добавляю что "это некоммутативное чмо". Интересы стали глубже, а на общебытовые темы меня хватает секунд на 47, и это молчание. Философские вопросы о смысле жизни и каком-то бытии обычно не начинаются по двум причинам: 1) я столько не пью 2) чтобы рассуждать о смысле надо как минимум находится на одном уровне понимании мат. логики (тут часто несовпадение в уровнях: либо круче, либо хуже).

Коробит, что я знаю речь текущего президента в полночь нового года. Смогу взять 97% слов, остальные проценты оставляю на междометия и паузы в словах. Все знают, все тоже смогут взять. Не будет никаких "я устал, я ..." Стоит ему только открыть рот, как все остальное уже будет известно.

Почему-то я часто могу брать целые разговоры, стоит только человеку произнести первое слово. Иногда я даже угадываю и первое слово.

Также в любом празднике напрягают пожелания. Как бы традиция, таки это лучше чем говорить гадости. Но надо же представлять, о чем говорят?! У меня родилась гипотеза, что большинство пожеланий идет рефлексивно, то есть как бы себе желаешь.

Так вот, бойтесь людей, которые желают удачи. Им в чем-то не повезло. Бойтесь людей, которые желают вам денег. У них их нет. Еще больше бойтесь людей, которые желают "удачи и денег" - им не повезло с деньгами. Я даже видел человека, который желал "удачи и любви" - там все довольно печально, 2 детей, второй муж который как бы приобретает приставку "экс-".

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

Так что не удивляйтесь, если я зачем-то буду желать мозга и времени. Или себе?

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

А мне пофиг, у меня хандра.

среда, 21 декабря 2011 г.

math

С импортного:

polymath - эрудит

aftermath - последствия

Других префиксов пока не знаю.

Говорят (сошлемся на Арнольда), что слово "математика" переводится только с голландского. В остальных языках оно откуда-то взаимствовано и в итоге отсыл к гречке.

воскресенье, 18 декабря 2011 г.

Конкурс "рекурсивный твит"

Не можешь чего-то достичь - организуй конкурс.
(С) Не я

Не можешь организовать конкурс - организуй конкурс по организации конкурса.
(С) ам дошел.

Задача - создать рекурсивный твит. То есть твит, который ссылается сам на себя. Желательно с содержанием "@%user_name% ты не прав" (с точностью до языка, перестановки слов и пола).

Технические особенности: понятно что твиты немутабельны. В этом и фишка, идет поток в 2000 твитов в секунду и надо как-то угадать его идентификатор. 18-ти значный. Это при условии что вы изучите api какого-нибудь клиента и разберетесь в протоколе reply-ответа. xss и injection хаки допустимы :) если сможете пройти фильтр твиттера.

Два очевидных неудавшихся примера:
http://twitter.com/#!/ajtkulov/status/148478238165958656

http://twitter.com/#!/ajtkulov/status/148479219964448768

ЗЫ. Конкурс посвящается Гёделю, а так же первому греку, кому в голову пришла фраза "я - лжец", изобретателю Уробороса и всем остальным из данной сферы. Без вас мир был бы скучнее.

Если же вам каким-либо неведомым образом это удастся - свяжитесь со мной (Приз - шоколадка).

К участию в конкурса не допускаются работники Twitter ltd, а так же лица, родившиеся 31 сентября 1979 года.

вторник, 13 декабря 2011 г.

\delta

Сейчас все опять будут истерично писать "ВЕРНИТЕ ПРЕЖНИЙ ИНТЕРФЕЙС ТВИТТЕРА!!!1111".

А я не буду.

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

Чего-то любят в последний год внешний интерфейс трогать. Мне как-то положить на изменения в ЖЖ - я там изредка комменты оставляю, но там вообще все уродско и становится хуже.

Истерии с вконтактом мне тоже не понятны. У гугла хоть и причесано в один стиль, но как-то местами непонятные красные кнопки и пустые места. G+ адекватнее всех выглядит.

Проще надо быть.

понедельник, 5 декабря 2011 г.

Политичненько

Я уже сознался, что я политический овощ (но не экономический). Ну не верю я, что если проголосуешь, то на следующий день станет все хорошо, а если не проголосуешь - то все станет плохо. Кстати, как отделить овоща от марионетки. А есть еще термин "политическая проститутка"... (есть даже "научная проститутка", но это уже оффтопик).

Есть некоторая положительная сторона выборов - например, провели освещение за окном, предыдущие лет двадцать там было темненько. Теперь ночью мне сильно светит в потолок, но я предпочитаю спать. А есть и отрицательная сторона - те кто живет ниже, оно им светит напрямую в окно. Все равно есть ощущение, что после выборов это снимут. Лучше бы часовой пояс вернули.

Была бы возможность, я бы пошел голосовать за Волкова. Но такой возможности, увы, нет. Во-первых, надо жить в Екатеринбурге, во-вторых, его сняли с выборов. Опять же, увы, власть заботится о нахождение у власти, неправильная какая-то функция.

Как я понял, я - либераст (или либерал?). В общем - за свободу, в смысле экономическую.

Хотя в Москве 31 числа обычно проходят бои за свободу собраний. Я тут опять немного не понимаю (или я овощ?). У меня вот день рождения 31 числа, и если я одену футболку с числом 31 и пойду в свой день рождения на улицу в Москве, то меня обязательно повяжут где-нибудь около метро. Как-то криво и непонятно - за что?. С другой стороны в Москве куда не плюнь - это и будет массовое скопление людей, их же не вяжут. Если нет никаких перекрытий дорог и не массовая попойка - пусть собираются.

Разделяющие вопросы лежат примерно следующих: должны ли богатые платить больше налогов чем бедные?, о вмешательстве государства в экономику, о том как жить.

ИМХО:
Богатые должны платить столько же налогов, сколько и бедные. Не больше и не меньше. Пробовал флудить с родителями на эту тему. Они пытались меня лечить, что если бедный зарабатывает 7000 рублей, то с этой суммы он еще платит налоги и у него остается еще меньше. А богатый получает 100000, и с этой суммы у него остается много.

Тут я долго убеждал, что он же пропорционально больше платит налогов. Долго убеждал, не убедил. Привел пример, когда бедные не хотят становиться богатыми. Задумались. Пример следующий: ехал я как-то в трамвае номер 1 (или 9, что на самом деле не важно), и рядом со мной стояли женщина и мужчина, оба в возрасте. Диалог с точностью до изоморфизма:
- Что, ты уже почти год на бирже труда по безработице..?
- Да. Пособие хорошее, получаю 4, а если пойду работать то будет 5-6.
- А как же так? Там же, вроде, предлагают 2-3 раза работу, и если не пойдешь, то снимут с учета...
- Да. Но если работодатель сам тебе отказывает, то можно хоть сколько. Говоришь, что судим, статью еще какую-нибудь назовешь, и тебе откажут...

Хотя это немного не в тему, но близко. Почему бы бедным не стать богатыми?

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

Если же опять вернуться к внутренней политике, то система мне не нравится. Демократией трудно назвать, да и с определением тут сложно.

Говорят, что жулики и воры в гос.думе принимают "неправильные законы". Стоп! В курсе, что еще есть президент и совет федераций, и что все они принимают и отклоняют? Если что-то криво, то виноваты все. Смена парламента ничего не даст, смена президента ничего не даст, если менять - то все. Как бы кощунственно это не звучало, но польский самолет позволяет что-то поменять, а все остальное - это игрушки в политических проституток.

Опять в гос. думе полно непрофессионалов, есть 5-10 имен которые вы слышали, об остальных что мы знаем? Есть Кабаева-Хоркина-Кобзон... Первые две возможно что-то понимают в спорте и даже там чего-то добились. Молодцы. Но какого домового они голосуют по всем вопросам? Я сильно сомневаюсь, что они что-то понимают в принятии бюджета, налоговой политике или вооруженных силах... А кто остальные 440 человек? Сколько из них людей с юридическим или экономическим образованием?

Можно на уровне страны спросить какой-нибудь школьный вопрос, уровня "чему равен tg(pi/3)" (или что-нибудь тривиальное из литературы, тогда я скорее всего сам не возьму). Причем вопрос про тангенс задают на гос. экзамене на мат. факультете, и не все берут даже подумав. А в масштабах страны, вопрос о президенте или парламенте более сложный чем тангенс. Формальное большинство и профессиональное согласованное решение это разные вещи.

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

пятница, 25 ноября 2011 г.

Мотиваторы

Речь о не каких-то картинках в белой овальной рамке.

Повторюсь, но когда вы проходите куда-либо мед.осмотр, то невропатолог ставит прикольные записи у вас в карте. Часть ставить банальное "здоров/годен", у прикольной части есть штампик, на котором написано "припадки отрицает". Я бы мог возражать, бить себя в грудь, что это не правда - меня ведь не спрашивали "отрицаешь ли ты припадки?". Если бы спросили - я бы ответил "да, отрицаю". А так это наглая ложь, даже не спрашивали.

Опять же с невропатологами не поговоришь о себе, обычно весь диалог состоит из "нет, нет, нет, не было, не участвовал, не состоял, замечен не был, нет, да клевета это все". Им даже улыбаться нельзя, другие пробовали - не рекомендуют.

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

Вернемся к тем двум личностям. Одна из них культурно-вежливая, вторая является мотиватором и матерится. В обществе вторая проявляется только в редких случаях, но должен признать что иногда она прорывается.

Если же не в обществе, то вторая личность внутренне материлась так, что вам лучше не знать. Пару лет назад нашелся более эффективный мотиватор. Во всяких книгах рекордов есть факты, что человек Х прожил больше всех, сто столько лет. Сразу представляется памятник/надгробие, на котором написано "Этот человек прожил дольше всех". Хотите такой памятник? Лично я - нет. Похоже, это единственное что он сделал в жизни. Дольше всех прожил. Я так же не хочу памятник, где будет написано "Он спал дольше всех", "Ничего не сделал", "Никто".

Не то, чтобы я хочу какой-то конкретный памятник. Я не спешу в этой области. Но возможность получить отрицательный памятник лично меня мотивирует гораздо сильнее, чем "хватить спать, жирная, ###, ***, -pi-pi-pi-, скотина".

четверг, 17 ноября 2011 г.

Аполитичненько

Нас рать!
К. Беспробельный(С)

Тут внезапно оказываются очередные выборы. К политикам я отношусь так же как к геям и гибдд-шникам. Можно подумать, что это очень плохой список: "политики, геи, гибдд". Нет, это нейтральный список: я к ним не отношусь, они ничего плохого (и хорошего) мне не сделали, я им тоже ничего не сделал. Мы живем в параллельных мирах. Этот список можно расширить на всех, кто живет в параллельном мне мире, например ветеринары.

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

В 96-ом, когда Ельцин шел на второй круг, нам включили лифт за месяц до выборов. И через 2 недели его выключили. А так лифта не было года 2-3, и живешь себе на 7-ом этаже. Зато ноги прокаченные. А тогда был в классе 5-ом, и уже тогда понял что основной орган управления должен быть мозг, а не сердце или что-то другое.

Соответственно, в 95-ом я был в 3-ем классе мы зачем-то на перемене до хрипоты спорили за кого надо голосовать, но это была тупая проекция семейных взглядов.

В 2003/4 я впервые и единственный раз потратил 30 минут своей жизни, пока больше не буду. Кандидаты даже не в топ-5 не вошли.

Разницы между партией Ж и партией В принципиально никакой нет, все они одинаковые (воспользуемся индуктивным мышлением, уровня "все мужики К"). По крайне мере, каждый из них пообещал что-то, что не выполнил. Для меня это очень плохо. У меня есть некоторая симпатия к военным, у них есть такое понятие как приказ, и он железно(!) выполняется. У них только другая проблема, думать не надо, только выполняешь приказы. Немые политики не существуют, но если бы существовали, то они точно бы достигали всех вещей, которые наобещали. Правда толку с пустого множества...

четверг, 10 ноября 2011 г.

Ода суперкомпьютерам

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

Текущий президент пару лет назад сказал, что нам все нужны суперкомпьютеры. Сказали - сделали. Теперь в топ-100 у страны есть две машины, Ломоносов на 13 месте, ЮУрГУ-шный на 80+. С одной стороны - круто, престиж...

А с другой - посмотрите в вики что представляет собой Ломоносов. Это 2 млрд. рублей, куча процессоров/памяти/диска. Только он загружен на 12%, со слов человека с РАН-овского института. Сейчас любой РАН-овский институт может подать заявку на расчеты, и ее удовлетворят. Так как нет загрузки - нет денег, а деньги нужны всем, в том числе и представителям 2-го гуманитарного корпуса. Скоро начнутся те самые анекдотические вещи, уровня бесконечный цикл за неделю.

Грустно, что список ["царь-пушка", ...] пополняется "царь-компьютер".

Менее крутые машины по этой же программе появились еще в куче мест. Теперь (ди)ректора ездят по конференциям по производительным вычислениям. Увы, хвастаются только наличием герцев/флопсов. Хотелось, чтобы хвастались решенными задачами, но могут только хвастаться силой. Ум текущий президент не смог купить.

Есть еще более худшие случаи, когда на этих мероприятиях начинают пиарить ту самую партию. Часть людей сразу блюет на входе.

Еще разговаривал с человеком с Интела из НН. Его посылают на такие мероприятия (в этом году будет/было в Сочи. Я б тоже поехал, если б меня посылали), но он не крут в этой области. Рассказал про единственную услышанную задачу, что использовали для расчета покроя женских платьев (разрезы, воздушные потоки, аэродинамика). Ржал. Проблема общемировая, что ресурсы есть, задач нет. Кучку "полуоткрытий" в теоретико-числовой части сделаны на машинах, доставшихся от мультипликации (что-то типа Шрека рендерили, потом во время простоя считают всякую чушь), так же американские математики и немецкие врачи используют машинопарк с работы.

Я не против суперкомпьютеров, я - за эффективность. Чтобы КПД был больше 12% и без политики. А пока трагедия.

воскресенье, 6 ноября 2011 г.

Культурный шок

Аля Кудряшева, Мама на даче.

Вроде бы уже такой почти седой небритый старик, а почти пробило на слезу.

Сила.

Полный альбом из 35 Произведений ищите на торрентах :) .

Это как ФП, только на естественном языке. Только местами круче.

понедельник, 31 октября 2011 г.

2000

Справа в челюсть — вроде рановато,
Неудобно — первая игра
(С) Володя.

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

Раньше играл (бывали периоды когда работало при полувключенных торрентах) вконтакте, сейчас перешел на chesscube.com. Там гораздо прикольнее. И фишки всякие, и народу больше, и все лучше. Вконтакте просто какое-то флеш приложение, а тут можно кучу режимов времени, фишеровские, порядка 3000 человек в сети.

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

В общем я сильно не крут даже на местном масштабе, а в мировом я очень сильно не крут. Но все-таки горд, что пробил 2000. Когда выполняешь первый разряд, то вроде бы дают 1900 по умолчанию. Так как первый у меня давно сняли за не-игру, то хочется верить, что я вырос за последние лет 10 не-игры.

Для тех, кто слабо в теме: что за 2000, 1900 и прочие натуральные числа. Вы смотрели фильм "Социальная сеть"? Единственный технический момент там был, когда главный герой пришел к себе в общагу и говорит соседу: мне нужна формула (для сравнения фоток девушек). И ему что-то пишут на оконном стекле. Так вот, это был рейтинг Эло (не Зло, а Эло), который используется в шахматах.

Разница в 50 по рейтингу ощутима, а в 100 - велика. У топ-3 игроков Эло = 2800+. Рекорд был у Каспарова в 2850+. У программок уровня Рыбки и Гаудини рейтинг в 3200, правда в своей системе рейтинг имеет недостаток завышаться. Рыбку дисквалифицировали, но все равно можно понять что человек уже ничто в игре в шахматы с машиной.

Конечно, я иногда обыгрываю и в 2100+. В блиц по 5 зевают все. Но в предложении ключевое слово "иногда". Прикольно, что жизненный рейтинг коррелирует с рейтингом людей в сети. Люди же те же.

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

пятница, 28 октября 2011 г.

Книги

Не нравился мне век,
И люди в нем
Не нравились,
- И я зарылся в книги
(с) Гамлет

Худ. лит. лично для меня уже давно перешел в электронную форму. Тех. лит. пока полностью не перешел, поэтому в различных городах я хожу по книжным магазинам. Это, кстати, показывает уровень образования в городе. Соответственно, меня интересуют некоторые направления математики и cs.

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

В Екб. был неплохой книжный на Малышева (недалеко от пр. Ленина), сейчас там банк.

В Питере был нормальный Зингер у Казанского (выше сидит Вконтакт) и ТехКнига недалеко у Невского и площади Восстания. Зингер сейчас торгует худлитом и ничего вкусного там нет. ТехКнига выглядит как после рейдерского захвата в после перестроечный период - голые полки.
Внезапно обязательно надо ехать на книжную ярмарку на м. Елизаровская.

В Москве на Новом Арбате осталось совсем чуть-чуть, на Лубянке в БиблиоГлобусе тоже чуть, но чуть больше, в МГУ вообще ничего нет (только корочки студ. билетов и часть математики). Надо ехать в МЦНМО, в городе это единственное адекватное место.

В Москве еще есть часть сдвинутых букинистов, которые всякий хлам продают пытаются продать за космические суммы. Желать им успеха не буду, ибо бессмысленно, ибо хлам за космос. В городах поменьше можно рублей за 50 взять какую-нибудь классику из математики, cs вряд ли будет в букинистических местах. Хотя классику по Прологу/Шапиро я взял у синяка на площадке перед УрГУ. Ему каким-то неведомым образом в наследство от ушедшего профессора досталось.

Пока не был в Нижнем или Новосибе, но что-то подсказывает, что там вряд ли лучше чем в столицах. А в столицах и так уныло.

Понятно, что уже лет как 6-7-8 существует Колхоз в более чем 100 тыс. электронных книг, у 2 из 3 человек есть планшет и читалка. И покупать бумажные книги выглядит немного нерационально. Я беру часть классики, и для меня покупка это выражение благодарности авторам. То же самое что покупать музыку. Да, можно тупо скачать с торрентов, а можно скачать и выразить свою благодарность.

воскресенье, 16 октября 2011 г.

erlang

Так и не понял, куда надо ставить ударение. Erlang или erlAng? Импортные и я ставим на первый слог, москвичи и часть русских на второй. Хотя в русской вики четко стоит на первый слог.

Москвичи вообще ставят ударение на второй слог, везде. Будучи летом на школе, я заметил у человека на бейджике знакомую фамилию. Спрашиваю, не приходится ли он родственником Роме Ж.? Он не в курсе о таком, но внезапно из того, что я правильно поставил ударение "ЖУйков", предположил что я из того же региона, совпало до республики. Тесно в мире, из 70 участников - 30 импортных, и чисто по ударению в фамилии можно определить регион. В Москве его все заколебали с "ЖуйкОв".

Когда у Армстронга и коллеги просили, "если бы вы начинали сначала, много ли бы поменяли?". Они ответили, "Да... Многое. (Пауза в 10 секунд.) Возможно у нас были бы даже типы. (дикий ржач)". В этом месте меня тоже порвало.

Из всей типизации есть только арность, и что-то подобие интерфейса (что модуль должен реализовывать). А то, что в качестве аргумента может участвовать что угодно - очень плохо. Так что без eUnit (очевидно название) не обойтись.

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

Все довольно просто и лаконично, так что понятие среда разработки редуцируется до текстового редактора. Дебажить функциональщину пока не приходилось, ибо оно работает так, как написано. А пишется все чисто и ясно.

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

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

Как получить дэдлок я пока не понял, но некто утверждает что как-то можно. Гонку поймать тоже можно, и я даже понял как. Но не знаю пока как ее обходить. Пример в том, что делаем spawn процесса и его линкуем на случай падения. Вот тут можно поймать, между spawn и линком. А всех этих мютексов, локов, семафоров тут нет, и оно работает. А в имперосятине стоит только что-нибудь потрогать, как вы потом опять узнаете "много нового и интересного".

erlang стоит того, чтобы его посмотреть. А еще лучше использовать. Жалко, что типов нет.

четверг, 6 октября 2011 г.

Эмоции

Опять писал на плюсах, недели две назад. Впечатления те же, если нужно что-то низкоуровневое и быстрое, то можно. В противном случае будет противно.

Можно сказать, что был чистый С, плюс с пяток сущностей-объектов. Для основного объекта потребовался кусок памяти, непрерывный (гигов 5), оказалось просто нужно скомпилять под 64 и все работает.

А если вам нужен стек несколько миллионов раз, то не используйте STL. Сразу все тормозит. memset + a[0]++;a[a[0]] = value вас спасет.

Опять потратил часа два в поисках ошибок, из-за низкоуровневости. Почему я должен работать компилятором?

Задача не спортивная, алфавит из 4 букв. Хотя любой спортсмен ее реализует, просто ограничения в гигабайты (и памяти, и вход) и по времени сколько влезет (пока там везде линия, а чтение/запись с винта занимает львиную часть, в итоге пара минут). Может еще потребуется что-то пописать.

На высокоуровневых языках опять же страшно выделять кучу памяти, очень страшно. И переносимости меньше, поэтому плюсЫ.

вторник, 4 октября 2011 г.

Параллельность

Пень-пень-дикуляр.
Евгений М.

Из-за параллельного кода исчезает понятие надежность. Что такое надежность? У ННН я увидел, что "Надежность - это когда вашу программу ставят на военную технику, а вы спите спокойно".

Сначала несколько слов про последовательный код. Я всего лишь месяц назад узнал, что код (a < 0 ? -a : a) не всегда возвращает положительное число в 32-битных целых. Всю коротко прожитую жизнь был уверен(!) что все хорошо. Но фишка в том, что для -MAXINT возвращается оно же (в с++). В .нете если вызвать Math.Abs(), то получим эксепшн; если же вручную напишем, то можно получить CE.

На днях заказчик прислал excel, с фразой что у вас в приложении числа расходятся. Посмотрел - не нашел расхождений. Спрашиваем. Отвечают, да вот же. Смотрим, расхождение в 10 знаке. Физически, это 0.2 грамма на месторождение! Вот если заправляетесь на бензозаправке, то там нальют с точностью до 30 грамм. А тут 0.2 ГРАММА НА МЕСТОРОЖДЕНИЕ. Очень сильно захотелось послать читать стандарт IEEE754, но там все равно не поймут. Пришлось найти числа, где в приложении считается до 14 знака, в эталоне до 15. Потом зачем-то идут логарифмы и очень длинным путем это вылазит в 10 знак. Ладно, что они сейчас более спокойны, а то было что промежуточные вычисления были в 1e-129, и там сильнее расходилось. А то что масса электрона где-то в 1e-38 (?) их не волнует. Они настолько суровы, что могут делить электроны более чем на 1e81 частей.

А с параллельностью все становится интереснее. Поймать (определить) багу - +5 к опыту, -3 дня к жизни. Потом понять что-где-зачем и ее править. Хотя, с одной стороны все довольно просто, когда знаешь как оно работает. В противном случае, когда что-то не работает - начинаешь говорить в трубку в душе "сошла с ума". На 4-ый день приходит просветление, и находишь мутабельный объект.

Всего нашли пока около 5 багов с параллелизмом. Есть кусок с mapReduce (там все тривиально), и есть кусок, по шаблонам это называется Реестр/Акторы (там не все тривиально, и даже местами все не тривиально). Хотя все решается простыми lock-ами. DeadLock пока в принципе возникнуть нигде не должен, а dataRace-ы вылазят. Если успели понаписать 20Мб кода в однопоточном стиле, и потом воткнули параллельность, то потом обнаружите кучу удивительных вещей.

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

Постепенно, это все находится и правится. Проблема в том, что понять что наличие параллельной ошибки - нетривиально. После того, как понял - ну поставил ты брекпойнт, поймал что-то. И чё? И так 4 дня сидишь, и втыкаешь. А потом - Эврика! В последовательном коде фаза "И чё - Эврика!" длится минут 20 максимум. В противном случае, пишешь еще кучу кода, чтобы понять что же там происходит. А когда что-то пишешь, ты уже меняешь систему, это может и не повториться.

А мутабельность - зло, на уровне с goto, object-type, делегатами и out параметрами. Только ж надо вспомнить, что она еще где-то в коде осталась...

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

Для deadlock-ов в теории есть формализмы и верификаторы и прочий modelChecking, для dataRace - кроме головы я пока ничего не знаю. Надо было идти на лекцию Кости С., но там ПАРАЛЛЕЛЬНО шла другая крутая лекция :) .

суббота, 1 октября 2011 г.

Шара, твиттер и все-все-все


С развитием интернета люди изменились (относительно времен Толстого, Чехова и других табличек с класса литературы). Если раньше люди по-мужски(?) бросались под поезд (не читал, но одобряю :) ), стрелялись на дуэлях, то сейчас троллят или максимум пишут язвительные статусы в соц. сети. Мельчает, не тот нынче народ пошел...

N лет назад на паре философии зачем-то обсуждали схожие вопросы. Так как N достаточно велико, что не было никаких фейсбуков, твиттеров и вконтактов. Интернет был, и были дискеты, флешек не было. Из всего "социального" максимум была аська, и можно было писать там статус и выбрать иконку (ограниченный набор из туалетной бумаги, гамбургера и спящего человечка). Все остальные базовые понятия уже были. Если у вас был ЖЖ, либо вы могли менять аватарки на каком-нибудь форуме, то вы - гуру 14 уровня. Это круче, чем поменять стандартный нокиевский рингтон на кастомный (13 уровень).

Так вот, девочка проводила биекцию между иконкой в аське и настроением. Что, это типа как одежда, показывает настроение человека. Вот посмотрите на Пашу (Паша - это я), одел белый свитер - значит у него хорошее настроение. Если бы одел черный - мрачное. (Тут надо закрыть прямую речь, но так как не открыл). Блин, думаю про себя: если она в чем-то права, то настроение у меня должно меняться раз в два года, когда свитер истирается до дыр и покупается новый. Картинка на рабочем столе меняется раз в жизни, не было компьютера -> появился компьютер. И аватарка так же.

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

Теперь расшарить личную жизнь стало еще проще. Тестировал фотокамеру на планшете, лежа на кровати. Сделал снимок: нога левая, волосатая - 1 шт., шкаф - 1/3, часть стены (то что осталось). Секунд через 20 вылазит сообщение, что файл уже залит в пикассу. Я тебя просил? Ладно хоть в приватный альбом. Я ничего не тыкал, автоматом заливается в g+, там уже можно (не нужно) дальше.

Я так и не могу понять некоторые вещи в твиттере. Физиологически и умственно себя старым не считаю, но где-то запаздываю. Твиттер - это все тоже продолжение с настроением/статусом/одежды.

Тогда в чем смысл ретвита? Скопировать чье-то настроение? Для двух девушек придти на мероприятие в одной и том же наряде - смерти подобно. А ретвит типа нормально. А если вернуться на N лет назад, что копировать чей-то статус в аське?

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

Из-за первых двух непоняток я использую только списки. Там не видно ни ретвитов, ни чатов; видны только оригинальные сообщения. Весь поток за неделю я могу прочитать за 3 минуты. Я всех поделил на два списка: люди и нелюди. Вторая - рассылки/подписки.

Понятие флуда. Свои менее 100 твитов за 2 года я интерпретирую как "белка-истеричка" (пойти купить что ли успокоительного). А есть какие-то нелюди, кто генерирует 200 сообщений в год, а есть в тысячи. Им, видимо, вообще поговорить не с кем. Правда, это не проблема твиттера. Флудить можно хоть в телевизор с первых каналов, будучи псевдо-президентом.

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

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

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

И главное, пост писать долго, чем твит. И это не хорошо или плохо, это факт.

Все-Все-Все.

PS. Есть сервис, который рандомно клеит твиты. Получается сюр:

Не может быть. Позитивная сторона кризиса - брать взятки кредитками Увидел, собрал, не рассказывали.
Не называйте людей 'Буридановыми ослами' - до 120 Температура - это сугроб.
Машины научились проходить тест Тьюринга. Пройдет еще несколько лет, и я знаю и микроволновка После меня!

Выход зависит от входа. Видимо, на входе тоже сюр.

четверг, 29 сентября 2011 г.

Любопытнее

Curiouser and curiouser
Alice in W.

Живешь себе, никого не трогаешь. А тебе говорят, что Эратосфена можно делать за линию. А ты не веришь, жил себе, никого не трогал. Не веришь, но любопытно. Как же так, ведь ты никого не трогал?! А тебе дают ссылку на статью 1978 года, блин 33 года назад. Как же ты вообще жил..?

И в самом деле, все оказывается тривиально. Так же тривиально, как Эратосфен с непонятным логарифмом. Даже до некоторого момента времени, Эратосфен казался медленнее чем тривиальное деление. И жили же тогда люди. А потом оказывается, что что-то непонятное быстрее и почему-то является log log n. Непонятно, но верим.

А тут линия, и на второй день становится все понятно, честная линия. Становится только не понятно, как же ты сам до этого не дошел? Видимо, никого не трогал.

Все любопытнее...

ЗЫ. David Gries, Jayadev Misra. A Linear Sieve Algorithm for Finding Prime Numbers [1978]

суббота, 17 сентября 2011 г.

анаграммы, близость, непонятность

fringe - челка
finger - команда в unix :) , палец

fist - кулак
sift - рассматривать

anticipation - предвкушение

stupendous - изумительный

born как третья форма от bear/bore/born. Мужская часть населения не догадывается о первых двух. Потому что для нас это всегда в пассиве.

string - как глагол = нанизать

No word in the English language rhymes with "month". Зато в русском со словом "звезда" есть.

sneak - подкрадываться/подлец/подхалим
sneakers - кроссовки

roam - бродить (роуминг)

nonsence - нонсенс, бес_смыслица

Я с чего-то стал замечать кучу таких похожестей и непонятностей. И в русском, и в английском, и в числах. Похоже, я просто стал читать по диагонали. Без потери связности, смысла; если теряется связность то срабатывает небольшой бактрекинг. Мозг на скорости не успевает корректно кое-что прочитать, он начинает что-то подставлять/придумывать. Можно ли научиться писать по диагонали?

воскресенье, 11 сентября 2011 г.

Статистика в Вконтакте

Среднестатистический пользователь той самой соц.сети (какой-то брат великого Николая Дурова) в среднем обновляет аватарку, добавляет фотки с отпуска и ставит сердечки на чужих аватарках и фотографиях с отпуска.

Но только у асм-щиков в заметках можно найти обсуждение порядковой статистики, где для балансировки дерева используется информация о количестве в поддереве. Статья какого-то китайца от 2006 года. Внезапно, но китаец лет за 20 смог просечь эту фишку, а все говорят что возьмем сбалансированное дерево и расширим узел информацией о количестве узлов в поддереве.

На премию Тьюринга не хватит, но за идею я "сердечко" бы плюсанул :) .

update: плюсанул сердечко :)

суббота, 3 сентября 2011 г.

100 тыс. пробега

Таки прочитал пробил в google.reader 100 000 записей.

На данный момент я подписан на 335 фидов, в среднем в месяц это составляет 5500-7000 сообщений, то есть 200+ в день, что около 20 минут чтения (беглого просмотра + чтения заинтересовавшего). Активно использую уже года 1.5-2.

Это на 80% какие-то люди, на 20% какие-то автоматические рассылки.
Из людей симметрично знаком с порядка 10 (не процентов, кстати, единица измерения людей = человеки? Тогда в человеках), несимметрично знаком с половиной.

Подписан на большие группы людей со спорта (acm), fp (то, что вышел новый журнал fp я узнаю с течение 3 дней из 40 сообщений; и импортное fp), шахмат, фотографии и что мне нравится из искусств, просто программирование, что-то про лайфхак, экономику, и то что обычно попадает в категорию "другое".

Это 50% с ЖЖ, 10% с blogspot, и опять же "другое".

Не использую термин "френд-лента", ибо понятие друг как человеческое отношение (как бинарное отношение на людях) довольно сложно. Я же использую термин "я на него подписан".

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

Есть порядка 10% импортных, в виду моих ограничений - только на английском.

У меня есть два внутренних тэга для записей: TODO, follow. Первый - отложить в очередь на чтение, там у меня порядка 200 записей, которые прореживаются по мере свободного времени. Второй - это что-то типа викторин, или тех веток где я участвую в обсуждении, там не более 3.

Точно не буду подписываться на людей, кто создает много трафика (из людей это не более 1-2 постов в день (в [<2, >0] у меня в ленте = 5 человек)). Живые люди обычно мало пишут, мертвые уже не пишут, а нелюди пишут много.

От некоторых вещей я так же со временем отписываюсь (не понимаю, но со временем иногда начинается какая-то истерика и идет поток эмоциональных постов. И мальчики, и девочки).

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

Есть еще твиттер, но это выходит за рамки данного поста.

воскресенье, 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.

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

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

четверг, 14 июля 2011 г.

Рекомендации

Где я побываю. По крайне мере постараюсь.

Очень сложно получить ссылки на хорошие места в других городах. Так же очень сложно получить ссылку на хорошую литературу. Выбрать телефон/ноутбук/любую_материальную_вещь несложно, надо лишь сравнить характеристики. Нематериальное вообще интереснее(и сложнее) материального.

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

Хочется побывать на фотовыставках/музеях фотографии - там должно быть не очень скучно. И еще в понятии "современное искусство" - не то, которое с трупами и кишками, а так начало 20-го века и после. Совсем классика ограничивается слоем представлением, а просто внешность/стиль меня мало интересует.

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

Из всех социальных проектов к понятию "социальный" я отношу лишь amazon, youtube, google.reader (возможно, мог бы отнести еще last.fm, если бы пользовался). Все остальное (сети и около того) в моем понимании не является социальным. По смыслу, им надо уметь собирать кучу данных, агрегировать, анализировать и делать еще кучу интересных вещей связанных с IR. Вместо этого у них есть кнопка "+1" и сердечки, и они это называют социальным.

Может быть когда-нибудь "социальное" и станет социальным...

воскресенье, 10 июля 2011 г.

Сложности

Оказывается, очень сложно писать биографии. И автобиографии. И в ограничение в 500 символов.

Не в вики-стайл (родился, учился, умер), а в другом контексте. Исходя из контекста переименовал биографию в 2_факта_из_образования_и_интересы. Врожденная ум/красота/чуство_юмора скромность сильно сопротивлялась, но таки получилась не пустая строка. Скромность была за то, чтобы там было пусто, но система не позволяет, а требует какой-то минимальной строки.

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

А еще там есть поле "EBAN". Это что-то типа БИК-а или какого-то другого номера.
И как им поле этого звонить в банк и требовать тех.поддержки? Мне стыдно произносить такие слова в телефон... ebay как-то вошел в речь, а тут сложнее.

четверг, 7 июля 2011 г.

Об ЕГЭ

Йа здал ИГ.
(с) школота

За последние годы, пожалуй, только человек 19 не высказалось об ЕГЭ. Решил исправить уменьшить количество на 1. Так же планируется серия баянистых статей вида "Влияние Григория Распутина на императорскую Россию", "Французская литература XVII века", "Есть ли жизнь после смерти?".

В мое время это называлось "центральное тестирование". Оно было платно-опциональным (как сейчас помню, 240 р. за предмет. То есть примерно 500-600 на текущие цены).

Были еще альтернативные тесты, например нечто называлось "Телетестинг". Оно тоже платное, но было чисто компьютерным. Тоже шло в зачет полушкольной программы(математику и русский нужно было обязательно сдавать, еще был третий экзамен на выбор - его то и можно было закрыть каким-нибудь тестом). С максимальным результатом приглашали в передачу "Самый умный" с Канделаки (даже не знаю, как идет набор в последние годы).

На текущий момент отзывы по ЕГЭ в основном негативные, ибо "дескать это плохо", "а-а-а-а, все пропало" и прочее. Мне истерики устраивать не надо, мне в принципе эта тема ортогональна перпендикулярна параллельна фиолетова. Так что будет без субъективных соплей.

В чем плюсы:

- непрерывность оценки. Хотя у нас в России и 5-ти бальная школа, на практике она 3-х бальная (3,4,5. Получить 2 на экзамене в школе трудновато). Как сравнивать Иннокентия, получившего 4 по математике, с Анжеликой, у которой тоже 4 по той же математике. А тут почти непрерывная шкала.

- централизованность. Все тот же Иннокентий сдавал математику при поступлении в ветеринарный институт г. Улан-Удэ на 5, все та же Анжелика сдала математику на ММ в СПбГУ на 5. Тоже как-то неравные условия.

В принципе - хорошие плюсы.

Как бы минусы:

- Кавказ традиционно лучше сдает все предметы.

Надо понять, что это не проблема ЕГЭ. Увы, но в некоторых случаях покупают и откосы от армии, и места в Вузе, и дипломы в подземных переходах. Тут уж точно ЕГЭ не виновато. И там тоже.

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

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

- "ЕГЭ - тупая вешь, нужно лишь расставлять галочки".

Тут я частично согласен, частично не согласен.

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

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

- ЕГЭ отупляет, результаты с каждым годом падают.

По мне - это не коррелирует. Да, возможно, результаты каждый год ухудшаются. Но это можно связать, например, с ростом цены на нефть. ЕГЭ всего лишь является формой отчетности. Со своими минусами и плюсами. А образование гробят другими методами. В школе еще логарифмы проходят? А нафига они вам, в магазин за хлебом ходить не надо. И квадратные уравнения в магазине тоже не нужны.

Вместо заключения: это вам не батарейка, где с одной стороны +, а другой точно такой же минус. Как я уже говорил, данная тематика мне ортогональна. Но если бы был школьником, то мнение было бы скорее неотрицательным. Большинство минусов не связаны напрямую с ЕГЭ.

суббота, 2 июля 2011 г.

О порядке

Как известно, тонущий корабль первыми покидают крысы. Затем женщины и дети. Потом остальные пассажиры, члены экипажа. Капитан идет последним.

Маленькая_девочка-капитан, с ручной крысой в руках сказала только одну фразу: "Блин, совсем запуталась!"

суббота, 25 июня 2011 г.

Стили программирования одним словом

Процедурное = Как?

Большие куски кода, показывающие *как* это работает.

Объектное = Кто?

Декомпозиция логики до атомарных сущностей. Вся философия сводится к тому, чтобы определиться: "*Кто* ответственен за это действие?"

Функциональное = Вау!

Без комментариев. Вау, оно работает!

пятница, 24 июня 2011 г.

Расстояние до людей

Не люблю отношение полного линейного порядка. То есть когда объекты можно вытянуть в одну цепочку, и сказать что "какой-то лучше другого". Это значит, что что-то вы меряете по одному измерению, либо объекты у вас плоские/одномерные.

Несложно ввести ввести расстояние до родственников. На расстоянии 1 находятся мама/папа/брат/сестра/жены/дети (если есть). И далее по индукции. Тети и двоюродные братья на расстоянии 2. Двоюродные дядя на расстоянии 3. Остальные - дальние родственники.

Стоит ли вводить расстояние на людях? Это не географическое расстояние, это не разница в возрасте или весе. Люди не есть одномерные объекты. Поэтому они у меня разделены на классы, не совсем эквивалентности.

Примерно раз в неделю я вижусь в девушкой. Она мне улыбается, обычно задает два вопроса, на которые я отвечаю отрицательно. Она продолжает улыбаться и говорит "Спасибо!". Далее, я складываю мелочь в карман сумочки, беру продукты и иду домой. Там же я вижусь с охранником, но тут мы оба немногословны. И как им показать свой богатый внутренний духовный мир? Они ж меня держат за бездушного покупателя.

А примерно две недели назад у меня была минимальная переписка (4-5 писем) с неизвестным мне человеком. У тут ты понимаешь, что ты его понимаешь, и он тебя понимает. Хотя согласно всяким фейсбукам он уже кучу лет находится на другом континенте. Он пишет на русском языке, хотя некоторые слова уже приходится переводить с англо-русского на мой ломанный русский. Но главное, мы друг друга понимаем. (В итоге еще оказалось, что я был на него подписан в ЖЖ (itman) уже года 2, и буквально за два до переписки минимально участвовали в одной ветке обсуждения там же в ЖЖ. )

Получается, что расстояние до людей для меня выражается близостью понятийного аппарата. Можно каждый день видеть человека, произносить какие-то фразы на русском языке и не понимать друг друга. А можно говорить на разных естественных языках, никогда не видя собеседника (пусть даже он +30 по возрасту относительно тебя), и прекрасно понимать друг друга.

Бинарные отношения на людях - сложная штука. Это вам не урок физкультуры, где все строятся по росту, ну и некоторые вещи нельзя выразить числом. Отношение есть нечто "большее" чем число.

вторник, 21 июня 2011 г.

Очи черные

Или красные...

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

При условии, что на работе за монитором = 8..9 часов, а все остальное время опять же за монитором, но уже дома, или читаешь; бывают дни когда спишь 5 часов, а еще вчера вечером почесал глаз. С утра в зеркале отражается собирательный образ из современного кино: что-то среднее из вампира, терминатора и наркомана. По крайне мере этих чаще в фильмах показывают, чем программистов.

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

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

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

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

вторник, 14 июня 2011 г.

Самым важным из искусств для нас является ...

Не, не кино.

В среднем детстве (6-8) не любил читать. Видимо, телевизор/мультики были более активны. В чуть более позднем детстве (>16 .. \inf) читать интересное - это интересно. Тут есть субъективное понятие "интересное". Школьный курс из всяких Толстых и прочих не входит в понятие "интересное". Хотя в классе я занял второе место по чтению "Войны и мир", прочитав первые два тома. Там хоть какая-то движуха была.

Телевидение и радио перешло в раздел "лютой ненависти". Даже спортивные передачи: как можно высмотреть футбольный матч, пусть даже финал ЧМ? По мне лучше самому носиться по полю 2 часа, что я и делаю. На формуле-1 засыпаю на 5 круге, в болиде по-любому лучше сидеть - там не заснешь. Хотя в прошлом году показывали турнир по русскому бильярду, смотрели в рабочее время. Это единственное, что я даже качаю с торрентов.

И тут такой резкий переход к сюрреалистам. Внезапно, но они мне нравятся. Не все, но эти почти полностью: Эшер, Магритт, Гонсалвес, Родни Смит.

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

У сюрреалистов четкая линия - противоречие. Ты четко видишь это противоречие, но как оно получилось - это уже тонкость/искусство. А выразить противоречие в картине...

Импрессионизм отпочковался и присутствует, пожалуй, только в кино. Сюр в музыке отсутствует, но зато есть в литературе и синематографе: опять же это выражается в противоречии, переходе/попытке_вырваться на абстрактный/следующий уровень (сон/рекурсия/вызов_функции). В литературе это похоже на Кэролла "Алиса *", Стругацкие (стандарт: "Пн", "3", "улитка"), Шекли(куча всего), и куча всего чего я пока не читал. В фильмах это стандартный ширпотреб из "Inception"/"Matrix"/"13 floor". Таки порекомендую посмотреть фильм "Экзистенция", вряд ли вы его видели.

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

В заключение: в кино/литературе/художестве мне нравится, ну вы уже знаете...

ЗЫ. Главное - не путать сюр с психоделикой. Там сплошные белые роботы, или синие. Я ж говорю, символизм.

пятница, 3 июня 2011 г.

call for recommendation

Отобрался на местный SSSEV2011

Главный вопрос: брать ли с собой противогаз?
Второй: что можно хорошего посетить в default city?

В принципе, этот вопрос я задавал за последний год, наверное, 10-15 людям. Статистика такова: те кто как-то связан с городом, по определению ничего не знают, ибо сами нигде кроме метро не были (я тоже про свой город абсолютно ничего не знаю. Кроме зоопарка и музея, где можно пострелять, ничего порекомендовать не смогу, да и то я там был на экскурсии совместно с москвичами :) ).

В прошлом году я дошел до стадии "работа гидом для иностранцев". Но шахматы для Штефана в центре так и не смогли найти. В ГУМ-е песец как дорого, даже для иностранца. А так по карте тыкались, дошли только до двух фитнесс-центров; на карте отображено как футбольный мячик, думали что-то со спортом связано. Почти.

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

В общем, интересуют нетривиальные места (во всех стандартных я уже был. Хотя не, вру, отделение милиции №5 ЦАО не посещал, и не планирую). Музеи, лесопарки с маньяками, пивные, массовые мероприятия не интересуют.

У меня осталась положительная ссылка на ботанический сад МГУ (к МГУ имеет малое отношение, географически где-то около Останкино). (update 14.06.11. явный косяк с названием. у самого универа есть такой сад, у останкино он назвается РАН, но мне говорили что-то связанное с Японией)

И есть отрицательная ссылка на бородинскую панораму. Надо куда-то далеко ехать, вход прикольный/платный: стоимость составляет 80 копеек (или 75, именно *копеек*). Проезд на метро = 26 рублей, а тебе еще и сдачу с рубля дадут. Говорят входишь в здание, а там всего одна панорама. Да, большая. А ты потратил кучу времени и 80 копеек и как-то разочарован. Походу, цена коррелирует с качеством.

Порекомендуйте что-нибудь, уровня :
city

Да, кстати. Я тут открыл комментарии на запись. За последнее время как минимум 4 человека пытались здесь что-то написать и у них не получилось. Я даже в последний раз открыл, но мне высказались напрямую. А потом неизвестный мне человек внезапно оставил каммент. Работает.

Поясню свою политику. Нет, я не боюсь спамеров, не троллю, не участвую в религиозных войнах уровня чай vs. кофе, с++ vs. pascal. Ответ в какой-либо системе обычно подразумевает обратную связь. Я зачем-то зашел в "одноклассники" и обнаружил сообщение двухлетней давности, где меня куда-то зовут в future in the past через 2 дня. Поэтому во всех системах я первым делом отключаю возможности написания, все уведомления и прочее.

У пары коллег на работе в миранде/аське, как к ним не подойдешь, идет сплошной поток сервисных сообщений уровня "пользователь зашел в сеть". Меня на моей машине это сильно коробит, поэтому везде выключены все звуки и всплывающие окна; хотя я часто промахиваюсь в контакт-листе и тыкаю не туда. По приоритетам, мне стоит говорить лично, или телефоном, или почтой. На втором слое идут skype/jabber. Все остальное я признаю ненадежным, ибо могу узнать только через 2 года, а могу и не узнать.

А теперь про первый абзац. Там будет сам Хоар (да, тот самый Хоар). В моем рейтинге крутизны он занимает второе место после Кнута. Третье место довольно расплывчатое, я бы отдал его Тарьяну.

За это я уважаю MSR. У них довольно много крутых людей. MSR это вам не MS.

По неофициальной информации основное будет в Крылатском, жилье от ВШЭ похоже в Одинцово (а это уже ближнее замкадье в 10 км), что несколько пугает. Предполагалось и жилье в Крылатском, но видимо решили, чтобы участники почувствовали себя москвичами и тратили как минимум час на дорогу ( . На сайте ВШЭ висит прикольное объявление для студентов, что стоимость общаги составляет 55 рублей в месяц (два проезда в метро).

Так как здесь стабильно читают только 2 человека, причем у одного я уже спрашивал, а второй не в теме... то если вы вдруг знаете что-то интересное в Москве (и это мне возможно тоже будет интересно), то напишите координаты. Не хочется 11 дней просидеть в Одинцово.

четверг, 2 июня 2011 г.

Чуть больше чем логарифм

Таки официально, я не логарифм и даже не линейная функция. Теперь у меня есть степень. Какая-то Там, на Н (ктн). Протокол № 20к/49. Второй квиточек еще не пришел, но со дня на день должен. Электронное подтверждающее сообщение с диссовета имеется.

Был некоторый геммор: ВАК-у не понравилась одна из справок (на выписке с моего вуза о семинаре не оказалось печати и сама бумага была на одной странице. Пришлось переделывать. Не очень приятно получать сообщение, что "рассмотрение вашего дела приостановлено". Хотя по срокам в мат.ожидании + сигма = 3 месяца 11 дней. Мне говорили, что мат. ожидание = 2..3 месяца).

Стоит описать некоторые мифы и как это было и бывает.

Что потребуется. Стандартная часть скорее всего вам известна: статьи, экзамены, семинары, кирпич(!) (без него никуда). Малоизвестная часть: в итоге в ВАК направляется 34 пункта (справки, выписки, копии, оригиналы). Для докторов нужно 35 = 34 + копия кандидатского диплома. Сложно сказать в одном предложении, насколько это является бюрократической частью. Хочется узнать, сколько надо справок, чтобы стать космонавтом.

Финансы. В принципе, все мое образование (начиная с дет. сада) было бесплатным (например, у меня даже никогда не было репетиторов). Единственное, что в крайний год пришлось потратиться на 2 неоплаченные поездки в мск (в тот момент не числился в универе, а спонсоров у меня нет), фуршет и проживание на защите. Ну и перед местными проставиться(тут аккуратнее надо, чуть не спился).

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

Правда, один как бы крутой факультет одного как бы крутого вуза был готов рассматривать работу у себя. Но на всякие организационные затраты они просят денег. Хотя сумма и детская (меньше средней московской зарплаты, но больше средней местной), но выглядит это как взятка; и (не я) решил с ними не связываться. Недавно узнал, что они приняли решение не поднимать стоимость обучения, на текущий момент на очном оно составляет 270 тыс. рублей (явно в год) :) .

В итоге я породнился с ИПУ РАН, знаком с большим количеством хороших людей.

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

Сроки: Предположим прошла защита. Подготовка еще 2 больших и важных документов. Потом в течение месяца все документы отдаются в ВАК. Еще пара недель, и они начинают свой бизнес-процесс. Посылается первый квиточек по почте. Процесс, как я уже говорил, длится 2-3 месяца (хотя говорят для гуманитариев и экономистов длится 6-8 месяцев). Итоговое решение (таки надеемся, что положительное. На сайте ВАК-а есть кучка отрицательных решений), второй квиточек. Диплом будет еще 3-4 месяца.

О совпадениях:
- итоговое утверждение ВАК-ом от 13.05.11 по специальности 05.13.11.
- я уже твитил, но повторимся. Жил в 13 квартире. Обратный билет был тоже 13. Как приехал и узнал номер квартиры, так сразу все понял, что все будет хорошо.
- в итоге трижды случайно пересекся с разными людьми, что несколько выбивается из терВера. Это надо будет в отдельный пост. Мир вообще маленький, что уж говорить про Москву.
- открываю книжку, стоящую на полке на работе. Смотрю - фамилия автора мне знакома. Офигеть, да это ж человек с дис.совета (Калянов Г. Н., ИПУ). Далее на первой странице он благодарит своего учителя. Да это ж мой рецензент (Сухомлин В. А., МГУ ВМК).

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

update (10/06/11): таки, бумажная дошла. решение от 13.05, отправили по штампику 31.05 (тоже мое число), пришло 10.06. Теперь побегать и сделать военник, загран и получит какую-то премию в универе.

среда, 1 июня 2011 г.

Кубическая тема

Я не фанат Пикассо и кубизма, но у меня сейчас есть кубик Рубика на 3, на 4, и неокуб.

На 4 я еще не научился собирать, на 3 делаю в полуслепом режиме, необкуб - это куча намагниченных шариков и там цель несколько другая. В местных магазинах есть кубик на 5, но мне еще рановато. Подозреваю, что там тоже будет издевательская наклейка "от 3 лет".

Еще неделю назад съездил на выездное чгк в екб. Позитивно-неотрицательно. До этого весь мой опыт состоит из 2 невыездных чгк и пара свояков.

Свояк меня как-то сильно не впечатляет, нужно много знать в ширину. У меня несколько другая политика. Есть две основных и одна промежуточная модель развития:
- знать ничего, но обо всем
- знать все, но но о чем
- знать кое что в кое какой области

Первая - поиск в ширину, второе - поиск в глубину, третье - что-то среднее. Моя политика на текущий момент состоит в среднем между 2-3, по мне лучше быть бОльшим экспертом в некоторых областях. Почти Шерлок Холмс, но чуть более широкий.

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

На выезде было 3 местные команды (в т.ч. школьники 29). В итоге мы оказались в середине (30/68) по чгк (среди местных даже оказались чуть впереди). В остальных играх никуда не вышли из группы.

В последнее время перед отправкой резались в контакт. Это породило массу перлов:
- средство от поноса на "л" = лейкопластырь (оригинал - какое-то труднопроизносимое лекарство)
- в ней сидят на "ма" = мама (оригинал был малина)
- тюльпаны на "ма" = марихуана (ни фига себе ассоциация)

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

понедельник, 30 мая 2011 г.

Деревья

Буратино был тупой... (С)

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

Интересно, много ли существует людей, таких как я, которые подходят к окну и говорят: "Бля, и тут дерево". Они не бинарные - они зеленые.

Мне говорили, что существует болезнь излишнего использования паттерна сиглетон - называется "Синглетонизм". Видимо, мой случай назовут "массивный дендризм".

По смыслу я везде должен видеть массивы, но смотря на все через логарифмические очки ( * log(n) диоптрий) везде вижу деревья.

Интересно, пойдет ли в зачет кубка Дерево/Дом/Сын такие деревья? Хотя на огороде есть несколько моих инстансов деревьев, да и домик я требую засчитать, с сыном надо осторожнее. Это вам не 2-3-дерево.

суббота, 28 мая 2011 г.

IT-образование

Много слов ни о чем... Конечно же, все написанное - это мое личное мнение. Все что я пишу - это всегда мое личное мнение. Иначе я ставлю кавычки и указываю источник - это называется цитирование.

Прежде всего сразу же стоит отметить проблему с русским названием. В русском есть понятие "комьютерщик" (абстрактный носитель свитера), "программирование", "информатика". Кто такой программист? Даже тут куча тонкостей, на что можно убить десятки килобайт.

Что такое программирование? В английском есть две крайности: CS и ЕЕ. Программирование - это посередине. Одно - теория, другое - практика (здесь я использую слово "разработка"). Хотя в штатах есть среднее понятие CE (computer engineer), но как я понял, оно ближе к EE. В общем, где-то между CS и CE - это и есть программирование.

Кто у нас в России учит программированию? Мой рейтинг таков:

1-2) ИТМО (КТ)
1-2) МГУ мехмат (некоторые кафедры мехмата)
3) СПбГУ матмех (некоторые кафедры матмеха)
3*) АФТУ

Детализация по кафедрам нужна, ибо на том же мехмате МГУ есть какая-нибудь кафедра гидромеханики, что к программированию имеет o(1). МГУ-шники - это все дискретные - логики и теории алгоритмов, алгебры, дискретной математики. СПбГУ - тереховская, у ИТМО - я знаю только про КТ.

АФТУ идет со звездочкой, потому что они только по магистрам, и там только 1-2 группы. Даже в Питере о них знают немногие (человек с АФТУ сильно удивился, что я знаю что это такое). Направление CS там довольно hardcore-ное, ибо люди с ПОМИ.

Это не значит, что если вы не с перечисленных организаций - то ничего не знаете. Да будь у вас даже красный диплом с ММ МГУ, то это ничего не значит. Если вы не с крутого вуза, то вы можете всего добиться сами, если с крутого - то есть шанс, что кто-то на парах рассказывал что-то путное. Другой вопрос, ходили ли вы туда, и был ли эффект. А то словосочетание "прослушал курс" можно понять двояко.

Есть большие вопросы: "Чему же обучать?"

Есть какие-то фразы второго порядка, типа "не надо учить, надо учить учиться". Это в корне не верно, это значит и так ни хрена сами ничего не знают и ничему обучить в принципе не могут. Вторая производная не возможна без первой, чтобы научить учиться, необходимо сначала просто обучить. Дальше оно само сможет, если не мешать.

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

Я не против матана и тервера, оно надо, но надо в другом качестве и количестве. Вот вам рассказали про диффуры в частных производных, ТФКП/функан, хардкорный тервер... Теперь вы можете одной левой брать диффуры и жать штангу. Причем одновременно и одной рукой. Круто. Но применительно к компьютерам это абсолютно бесполезно.

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

Я не пишу учебные планы, хотя симметрично знаком с человеком, который пишет (внезапно, это даже 19-ая специальности в моем вузе, и весь поток МГУ ВМК). Наши местные все ругали составителей планов. Как оказалось, составитель плана тоже кого-то ругает (дальше по цепочке идет минОбр), и в самом деле он ни в чем не виноват, его тоже сильно ограничивают сверху.

Когда бываю на всяких мероприятиях по стране для поддержания разговора я узнаю об обучении в городе собеседника. У меня сложилось устойчивое мнение, что в большинстве мест вот эта проблема: дискретной математики за исключением меры 0 нигде нет, зато везде есть непрерывная. Видимо стране больше нужны люди, которые знают вычислительную математику и способны запустить спутник в космос. Только что-то спутники назад возвращаются.

Не призываю сжечь Жанну Д'Арк кого-либо. Арнольд лет 10-12 назад писал про французское математическое образование. Там реально все страшно. Но была такая мысль, что образование работает как фильтр - умный человек и сам всего сможет достичь, а тупых фильтруют.

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

четверг, 26 мая 2011 г.

Краткость

Тут недавно взяли на слабо. Задача почти стандартная, известная как K Problem + большая грамматика.

Далее "моя" реализация. "Моя" - потому что я заиспользовал комбинаторы.

Парсер комбинаторы - круто. Смотрим и писаем кипятком кончаем наслаждаемся.

Эта часть легко находится по подстроке "-- Carsten Schuermann: From: Monadic Parser Combinators [Hutton, Meijer]"


Тут пока некоторая магия, в которую за 5 минут не въехать. Далее должно быть понятнее.

AST - это или ссылка на ячейку, или число, или бинарный оператор из AST.
Вводим парсер для AST. Опишем стандартные арифметические операторы.

А теперь *барабанная дробь*



Собственно все, парсер (лексер + синтАнализатор) готов.
Запускаем и оно работает.



Где вы еще сможете в 3-4Кб уложится? Это вам не парсер-генератор, здесь все сделано вручную... Правда, исходя из этого - это LL. Бывает кое-что затруднительно выразить в LL, да еще и следить за левой рекурсией. LR вручную непросто реализовать, но мне местами такая грамматика больше нравится. Есть еще всякие PEG/Packrat, с не очень понятной теорией (трудно понять, выразима ли конкретная грамматика в них), и куча непрактичных но теоретических парсеров.

Далее опишем типы для "excel". Ячейка - есть строка, лист как коллекция пар из (ячейка, строковая формула) и так далее. В идеале надо бы абстрактный маппинг (словарь/функцию) из ячейки в формулу.



Простая вычислялка AST и вычислялка для строки.



Пара тривиальных вещей:



Несколько типов для вычислителя excel-я.
EvaluatedCellBuffer - это результат вычислений. Далее его как аккумулятор и будем вычислять.



Вся логика вычислений в следующем:



Далее очевидная вода:



Вычисление одной ячейки:


Тривиальный вычислитель



Пара утилитных функций



И вычисление всего листа



Примеры листов:



И примеры:


Еще можно добавить шапочку :)


В 8Кб имеет парсер, AST, вычислитель, и обход и расчет листа excel.
Несложно расширяемо на
- функции и несложную типизацию в встроенном языке
- отказаться от дву(3 ли 3.5 как в excel) мерности задачи и перейти к произвольной размерности.

У меня в текущем проекте есть нечто похожее, но это явно не 8Кб.

ЗЫ. Научиться бы здесь нормальное форматирование делать... В процессе.