Криминальная хроника

На юго-западе Москвы совершено дерзкое ограбление. В результате перестрелки убит инкассатор Банка Данных. Нападавшие использовали недетерминированные конечные автоматы и скрылись на машине Тьюринга. Похищено 140 ТБайт информации. Суммарный ущерб оценивается в 10-12 человеко-лет работы. Ведется следствие.

Журналисты уже окрестили это происшествие как Millenium Problem и относят его к NP-сложным. Разрешившему это дело оперативнику достанется ACM Award.

ГУВД г. Москвы и Московский уголовный розыск направили лучшие команды оперативников на разрешение данного происшествия. Этими командами не более чем полгода назад были разрешены BPP-трудные происшествия "ограбление коммивояжера с рюкзаком на складе" и "труп китайского почтальона в кососимметричном графе".

По оперативной информации, найдены гильзы от автомата с магазинной памятью и от недетерминированного конечного автомата калибра $6/\pi^2$. Стрелявшие скрывались за B-деревом и за бором из деревьев Штейнера.

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

Свидетелям данного происшествия просьба обратиться по адресу 0xCF65E или 0x38F. Реверсивность гарантируется.

ЗЫ. Ну не умею я писать про драконов...

Завернули

http://pastebin.com/WP1zGZKX

Нашел в твиттере, мне религия не позволяет ретвитить. Так что тут.

Скорее всего это куда-нибудь переедет, все равно найти можно будет по заголовку "Милая леди талантливого программиста".

Я к тому, что пытаюсь читать категорщиков. Медленно, страниц шесть (или чуть меньше, хотя куда уж...) прочитал. Сложно их понимать, какие-то стрелочки/диаграмки, эндофункторы в когомологиях.

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

Что-нибудь на "Я"

Посвящается одному вопросу.

Идея - сделать годовой календарь, где каждый месяц с соответствующей картинкой. Назвать:

Гадкий год

ятрогеничный(???) январь
флегматичный февраль
меланхоличный март
апатичный апрель
мизантропичный май
инфальтивный июнь
интровертный июль
амбивалентный август
сопливый сентябрь
отвратительный октябрь
невротический ноябрь
депрессивный декабрь

Я не знаю слов из унылой психологии и окрестностей на букву "Я". Поиск из нетривиального пока знает только то нетривиальное слово. Может кто другое знает?

Можно некоторые заменить на

фрустрирующий
депривативный
девиативный
скучный
самоубийственный
нонконформативный
отчужденный

ЗЫ. Нам не прочитали период, в течение которого нельзя ничего обсуждать. Специально спросили - не было. 

Кто эти люди?

На работе у меня запущено (тут можно было бы поставить точку и на этом закончить пост) 4 IM-клиента: skype, gtalk, pidgin и сейчас добавился psi. Pidgin обслуживает внутренне-рабочий jabber, все остальное - внешнее. В последний я добавил 2 соц. сети (Вконтакт и facebook), у них работает внешний jabber. Дома запущен skype и iChat, в котором агрегированны все аккаунты, кроме внутрикорпоративного.

В итоге получается что в скайпе у меня порядка 7-8 десятков контактов, gtalk - 2-3 десятка, вконтакт - 7-8 десятков, facebook - 5-6 десятков, рабочий джаббер - 3, в телефоне еще 7-8 десятков, в почте суммарно 100-150 каких-то адресов, аську я не запускал года 4. Оно конечно все пересекается, круг общения все равно из десяти человек состоит.

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

С почтой все просто, можно посмотреть историю писем и понять - "кто это?" Сложнее с телефоном, есть например контакт "Елена Валентиновна ***". Хоть убейте (напомним про 105 УК РФ) не знаю кто это, есть несколько входящих и несколько исходящих звонков, то есть я даже вбил номер как контакт... Про сотню каких-то звонков я промолчу, раз они однократные, то и смысла добавлять в контакты нет. Но "Елена Валентиновна" - кто это?

В Петрозаводске этой зимой, в комнате жюри Gassa обращается к одному из двух человек. 

-Андрей

-Какой? 

-Андрей Сергеевич

-Какой?

-Андерей Сергеевич, питерский

-Какой?

Это только Лопатин со Станкевичем могут так троллить.

У меня же наиболее популярное имя в контактах - "Дмитрий Кузнецов". Их 4 или 5, если проинтегрировать. Классические Ивановы/Петровы/Сидоровы нынче не в тренде.

Еще у меня в отправленных смс-ках есть такая, которая заканчивается "Целую. Муж." Вот и давай свой телефон в знакомые руки.

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

Скайп я раз в год немного очищаю, ибо если имя вообще не щелкает, то явно прошло более года от разговора.

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

И я не смог придумать финала. Да тут и накала страстей не получилось...

Лицом в R^4

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

Сервис вот тут находится http://yes.thatcan.be:7080/my/next/tweet/

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


Страуструп в еду? Радикально...

Ощущения не зашло. Я слабо понимаю, как меня интерпретировать. Фрейд Не Магритт.

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

Спасибо, что новые школы строят только две хохочущих женщины с каждым годом уменьшается… То ли мне чаю?

За три недели втянулся в еду? Радикально...

В многопоточном коде - явился трудоспособным. Причем именно в электричку, он с кишками это междометие!

Кушать вредно после 6. Тривиально дорефакторился до Берлина в поездах дальнего следования.

Девочкам важно выглядеть", мальчикам - лейкопластырь. 

Метод запатентован #2011610805 от Акинфеева. Играть прикольнее. 

Лицом в R^4.

За три недели втянулся в 2:35 ночи. Сударь-с, да это когда в 70% дочек РН падает расчет по знаменателям…?

Рецепт Жанна ДАрк с кац-а увидел. Одна девочка за еду... вторые, в интеллектуальном творчестве.

У тестеров есть тестовое задание - явился трудоспособным. Причем именно в 2:35 ночи.

Один математик так я злой и делай сонный вид, это Паша А.' У пластических хирургов и то, это утро.

Рекурсивный перебор с неправильной топологией после смерти отправляют в ушедший трамвай, я транзитивно?

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

Фраза живем только в R^4. В человеке должны быть мысли час думал, что отрезанную голову лошади вас!

Вместе мы фруктовый сад!? Я - там совсем зажрались, олигархи! Женский разговор в микроволновке.

И прочее...

Моя иногда и так писать, и не думать. Здесь нет смысла извиняться за орфографию. Но сколько смысла появилось!

Равенство

Если бы я был женщиной, я бы был феменисткой... А так, я, видимо, феменист.

Далее о равенстве не только полов, но всех и вся.

Начнем все-таки с полов с плавным переходом к крыше. Да, мальчики сильнее физически, девочкам рожать детей. Я не видел ни одной девочки, которая сильнее меня физически (они есть в тяжелой атлетике, но не знаком ни с одной лично). Я видел девочку, которая 100м бегает быстрее меня - 12.0, я тихо плачу в стороне со своими 13.5. У меня в классе был один мальчик, он бегал за 12.6, и то он пошел в школу милиции.

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

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

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

Я как бы не совсем радикален - раздевалки и бани должны быть отдельные. Сейчас делают туалеты общие и с закрытыми кабинками; мне там как-то не уютно. Есть множество гендерных отличий в языке (особенно, в русском), "жениться - замуж", "баран-овца", в русском вообще род есть, мужской и женский. Заметьте, в английском практически различий нет "he/she" и это почти все. Где-то сделали в анкетах"первый родитель/второй родитель". А про детей рожать, ну так ушла во вторник на обед чуть пораньше и делов-то.

Важно понимать, что равенство прав влечет равенство ответственности.

Национальные и рассовые стереотипы то же есть. Евреи - жадные и умные, хохлы любят сало, макаронники смотрят футбол, некто с балалайкой и ручным медведем пьет водку из горла. Согласитель, банально. Мне тут немец в одной социальной сети (для изучения иностранных языков) написал. У него жена местная, с этого же города. Раз в год он сюда приезжает к  "babuschkas", ему скучно и он ищет людей погонять футбол. В следующий раз он приедет в июле 2013 года, и спрашивает буду ли я в городе? Ну как бы да, различие в национальности таки есть.

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

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

Возрастных ограничений тоже нет. Я видел человека в 89 лет и абсолютно чистым мозгом без ограничений. Да, ему уже не 20 лет и он уже не бегает стометровку. Тут даже не то, что если я доживу до 89 лет, то хочу иметь такой светлый ум. Я и сейчас хочу иметь такой светлый ум. Член-корреспондент, он такой.

Когда-то мне надо было получить информацию от двух человек, одному около 50 лет, другому только что исполнилось 65. Я одновременно написал им двоим по письму, с надеждой что получу ответ за пару дней. Первый ответил через пять минут, второй через 15. Осознал кое-что.

А еще с месяц назад я видел две истерики. Это можно было бы поместить в начало поста про женщин, но понял, что это возрастное. Стандартная схема, сопли/слезы, убежать с места, ждать полчаса пока тебя обратно приведут за руку. Я думал, что это только в 5 лет бывает. В 25 тоже, и женская составляющая тут не при чем. Просто физиология уже от 25 летней, а уровень интеллекта как-то не соответствует. И в 60 лет тоже самое будет. И ладно бы причина была, так ведь уровень 5-ти летних детей - без рациональной причины.

Тут опять же стереотипы, "мы уже старые", "СССР", "у меня уже внуки". Я уже тоже иногда так говорю племяннице, что мне сложно ее на плечах таскать. И не то чтобы постарел, просто ей уже 7 лет и весит она чуть более чем ранее.

Есть еще различие между богатыми и бедными (финансово). Оно проявляется только для богатых во втором поколении, тот кто был бедным и поднялся никогда не заметит границы. Дети богатых, кому досталось все нахаляву, создают разность потенциалов.

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

PS
Вот тут есть картинки по теме доклада: http://bigpicture.ru/?p=124211 

Проект gvartira.ru

Таки дошел http://gvartira.ru до ручки беты (альфы, смотря как смотреть).

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

Что предлагается: предоставить простой доступ к созданию и поиску объявлений недвижимости.

- не в промышленных масштабах (1-2 объявления с человека) размещение без каких-либо финансовых и других ограничений

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

- минимализм (без всяких реклам/банеров), простота интерфейса

- без привязки к конкретному региону (весь мир)

- актуальность (жизнь объявления ограничена 2-4 неделями)

 регистрация/авторизация через публичные сервисы (надо нажать на стрелочку в центре строки над картой)

 После входа сверху доступно меню

 ваш список объявлений

 поиск

Можно даже потестировать.

Главное, я ищу как минимум двух человек со следующими ролями/обязанностями:

- понимающий в интернет-проектах, людях, предметной области, "с подвешанным языком". Не конкретно СЕО, конкретно "все".

- frontend программист, понимающий что такое красиво и способный сделать красиво (все что связано с клиентом и бразером).

Все что связано с серверной частью и любой производительностью - на мне.

Если вы тот самый, или знаете тех самых, то свяжитесь со мной.

Если вы просто из этой предметной области и вас что-то заинтересовало, не стесняйтесь.


О рынке и конкурентах.

В моем городе с населением в 600+ тысяч человек суммарное количество объявлений составляет порядка 5000. В Москве это порядка 200 тыс объявлений. То есть вся Россия - порядка миллиона.

Есть московский http://cian.ru , платный прием объявлений (их много). Идейно хочется быть гораздо лучше их.

Есть Яндекс.Недвижимость http://realty.yandex.ru/  У них идея в поиске, то есть собирать информацию с тех же регионов и выдавать агрегированный поиск.

У меня другая идеология: быть проще и ближе.

PS. При открытии страницы вы по-умолчанию попадаете на свой текущий город. Если вы находитесь в городе, отличном от моего родного, то скорее всего вы просто увидите карту без объявлений. Их, как минимум надо занести, хотя бы тестовые.
http://gvartira.ru/?id=3 (или http://test.gvartira.ru/?id=3, у меня еще одна доступная машина так)попробуйте так.

http://test.gvartira.ru/?u=2
http://gvartira.ru/?u=2 - это объявления по пользователю (тестовому).

PPS. Объявления так же появляются только при достаточном наезде на карту, в масштабе страны показываться не будет. Если вы авторизуетесь и добавите объявление, то будет более понятно.

----

Техническое.

Трудно сказать, насколько это все будет жизнеспособно. Буду стараться.

С точки зрения дизайна - есть куча убогостей. Работает пока только под ff || chrome || safari. Куча мелких разъехавшихся деталей. Но нужно разбираться в вещах, которые мне менее интересны.

Архитектура пока тривиальная:
серверная часть = хоть кто, кто способен дойти до базы и сформировать тривиальный xml.
БД = пока не критично. Используется psql, там есть какие-то геоиндексы, которые при росте могут и не потребоваться (написал за вечер квадродерево, и миллион поисковых запросов на миллионе объявлений я могу делать за секунды, так как все в памяти и быстро. Правда, полный путь от клиента до внутренности замедлит на пару порядков).
Клиент = jq, hands. Но клиента уже нужно рефакторить.

google maps api рулез. Надо будет еще yandex maps api подключить. Прикольно, но есть разница в координатах от яндекса и гууга: один и тот же маркер отличается по север/югу метров на 15.

Идея пришла (не нова), как сейчас помню, конец июня 2010 г (тогда и реализовал текущий вариант). Я только что прочитал книгу "Викиномика" и посмотрел лекцию Юры Лившица про рынки в яндексе. Решил размяться. Ушло два месяца вечеров, для меня почти все с нуля. Недели две чисто на домен с регистрацией. Купить домен просто, понять как подключить nameserver - нетривиально.

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

Абстракция

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

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

С большими системами борются самой же системой. Смотреть "Итальянская забастовка".

Другой пример, который мне рассказали, про религию. Арабы, которые шахиды в Израиле, часто делали свои плохие дела в различных магазинчиках/кофешках. Врываются они в замкнутое пространство и с криком "Кто ел из моей миски" делают, даже можно сказать, мокрое дело. А евреи те еще, они ж прочитали, что арабы и свиньи вообще не совместимы (одним религия запрещает есть других). Оказывается, что если повесить шкурку животного у себя в магазинчике при входе, то правильный араб не имеет право там взрываться, ибо если части мяса араба попадут на вышеупомянутую шкурку животного, то араб не попадет в свой рай с 40 девственницами. Не знаю, есть ли у них ад, но попадет (или вообще не попадет) не туда. Короткий анекдот "возвращается как-то камикадзе с успешно выполненного задания" был раньше, не знаю источника.

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

Открываете холодильник, а там свет. Вы задумывались об этом? Думаю, и не стоит.

Предположим, что вы - "полу"-программист. То есть понимаете на высоком уровне, что происходит, если в языке высокого уровня написать i = i + 1. Внутри там все довольно не просто, на книжку хватит.

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

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

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

В общем, там ну очень много всего происходит. i = i + 1. Это у математиков просто прибавление единицы. А переполнение?  В многопоточном коде, если это синхранизацией не обернуто, может все что угодно произойти. А еще я ни слова не сказал, откуда мы получили код выполнения, про сегментацию памяти по областям, и кучу всего и я сам не знаю.

А так хорошая абстракция, после выполнения строки i = i + 1 у нас что-то увеличится на единицу. Скорее всего. Абстракция и нужна, чтобы скрыть весь этот ужас.

У всяких математиков/физиков/химиков/биологов примерно так же.

То есть есть какой-то суммарно очень большой УЖАС. Специалисты проводят и отсекают какие-то куски, проставляя там абстракции. Хочешь копать - копай, вскроешь все на этом уровне - уткнешься в новые абстракции. Можешь своих нагенерить.

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

Четыре ноги - хорошо, две ноги - плохо. Абстракция - хорошо, большие системы - плохо.

Бытовое

О жизни за последние 3 месяца.

Естественно, есть некоторая просадка по еде. Завтракать я так и не научился. Кушать стараюсь каждый день - были выходные мороженного (800 г в сутки) как единственнго блюда. Так долго не протянуть. Огуречно/помидорная неделя - не то что пытка. Я могу спокойно 2-3 дня полноценно не есть. Потом все-таки голод перевешивает лень, иду готовить. Это минут 50, хватает на 3 дня.

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

Стал тупо покупать сливочное масло и есть больше бутербродов с маслом/сыром к чаю. Все вернулось. Внешним спортом пока тоже за лето не занимался. Надо понять что с весом.

Еще я открый и прямой человек. Написал родителям в джаббер слово "котлеты", с явным умыслом. У них сразу же буйная фантазия, представили человека в пустыне, почти в предсмертной агонии ползет на коленях и хрипит:"котлеты".

Заходила соседка, Зоя Ивановна. Она самая страшная старая старшая по подъезду. Получила 6 экземпляров моей подписи, от детелоскопии я отказался. Пожаловалась мне, что у нее перестал показывать первый канал. Я ее поздравил, не оценила. Перечислила несколько передач, которые она там смотрит. Я уже где-то слышал про "Давай поженимся", даже боюсь спросить, про что это? Если я все-таки доживу до 65 лет и у меня будет маразм, то телевизорный маразм мне не грозит. Людей, смотрящих телевизор, я ставлю в одну очередь с наркоманами и убийцами. Люди Нелюди, смотрящие первый канал, о чем можно с ними говорить? В начале года было #НТВЛжет. Чуваки, #ТелевизорЛжет #ВсеЛгут, первый канал Никому не верьте, мы всегда воевали с Остазией.

Внешний мир. Телевизор я не смотрю где-то лет 5. Максимум был некоторый спорт, типа биатлона. Сейчас у меня нет принципиально ни ящика для овощей, ни радио, ни стационарного телефона. За все лето я не видел ни одного матча сборной России по футболу на ЧЕ, ни одного кадра с олимпиады. Скачал первые две партии встречи Сталев-Сагындыков где-то за 2008г, не удержался.

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

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

Твиттер. Меня там прорвало где-то с апреля. До этого я шел в нормальном темпе, одна неделя - один твит. Не знаю как заткнуться. Создал кеш-L1, даже он забит. Качество твитов явно упало. Причем прикольно, я пишу чаще, чем его читаю. Суммарно подписан на более чем 80 контактов, в моем случае все это можно прочитать менее чем за 5 минут за пятидневку (я технически вижу только публичные оригинальные сообщения, то есть не вижу ретвиты и сообщения-чаты-другим-пользователям).

Основной источник информации - агрегатор блогов. Суммарно я подписан на 401 источник, это где-то 20 минут в день (чуть менее 200 постов в день). По-любому лучше, чем телевизор.

Я еще не очень потерян, хоть и отрубаю все ненужные внешние источники. Земля все так же стоит на трех китах, киты на черепахах, Солнце вертится вокруг нас, так еще и не прочитал, как же люди ходят на головах в южном полушарии.

Соседи по этажу - все пенсионеры. Все относительно, но таки здесь довольно тихо (тьфу 3 раза), пару раз просыпался из-за того, что с утра приезжает мусоровоз. Где-то потенциально есть собака, я ее слышал раз пять. У кого-то есть телевизор, его иногда слышно по выходным. На этой неделе был шок - соседи в час ночи минут 10 громко слушали музыку, потом утром в вс опять свою дискотеку 80-х. Надеюсь, что это однократно. Еще лезгинку тут кто-то в час ночи на улице танцевал. Но это в соседнем доме. Все равно ложусь в 2, просто не понятно.

Стирать в стиральной машине - даже я справляюсь. Мама мне угрожает утюгом. Говорит что купит. В ее голове не помещяется, как можно не гладить и спать на неглаженном постельном белье. Мне опять ее не понять. Мой ответ: "И че?"

Посуду мою в женском стиле, сразу после еды.

Когда ко мне приходят гости, мне приходится заправлять постель. Когда мне родители поставляют огородные продукты в вс я тупо закрываю дверь в комнату, это если мама. С папой проще. Он не считает меня охламоном.

Начал логировать свои расходы. Просто логировать, а не экономить. По еде получаетя 80р/день (тут надо учитывать лето, промышленные поставки овощей с огорода идут бесплатно). В какой-то момент у меня холодильнике было 2.4 кг мороженного. Если выкинуть расходы на орехи/мороженное/алкоголь(роспита только одна бутылка красного), то вообще рублей 50 получится. Я в магазин по большому только раз в неделю хожу. А так в будни (или даже через день) только хлеб, меньше минуты в магазине - там отдельно хлебный отдел и очередь из 0-2 человек. Непродовольственные затраты суммарно такие же. Если выкинуть расходы на шуруповерт(!), то папа бы остался без подарка. Еще есть коммунальные платежи. Суммарно в прожиточный минимум я наверное даже влезу.

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

В общем, ЖиВ. Спасибо.

Системный экстаз

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

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

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

К российской власти. У нас, как и во многих цивилизованных странах, власть формально поделена на исполнительную, судебную и законодательную. Внимание вопрос: какой властью обладает президент Российской Федерации? Насколько я знаю правильный ответ: к этим трем перечисленным - никакой.

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

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

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

Да, кстати, стоит различать веру, религию, фанатизм, тараканов и заскоки. Это все тонкие философские грани, но разница между ними есть. Хуже всего когда это заскоки.

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

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

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

Смысла вообще нет, есть только интерпретация.

Город Зеро

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

Еще в 6 или 7-ом классе я так же участвовал в вечернике в школе для родителей - играл роль кого-то из двух основных героев из "Денискиных рассказов" Драгунского. Ладно, я вообще-то хотел сказать, что я не кинокритик.

Но вот хочется порекомендовать "Город Зеро". Это полный бред абсурд, слово сюр применимо, но оно немножко "не vernacular" (instead, native).

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

О чем этот фильм? На википедии идет 4 абзаца текста, а в конце фраза: "Фильм Карена Шахназарова - об этом". Люблю такие формулировки, невозможно придраться.

Состав звезданутый: Филатов, Басилашвили, Меньшов, Джигарханян, Евстигнеев. Голливуд может собрать в одном фильме Сталлоне со Шварнеггером, они могут даже сделать это смешно. Но они не смогут сделать это абсурдно и противоречиво. Наши сейчас тоже не смогут, видимо, нужна переходная эпоха. Поздний, почти предсмертный СССР. Сделать это в более раннем СССР - невозможно, позже - тоже.

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

Сейчас мир как-то то ли в стабильности, то ли в застое. Чувствуется.

Совсем концовочку фильма можно было бы и выжать, но вся ценном во всем, а не в концовке. Здесь вам не Колобок.

Не читайте википедию, лучше посмотрите.

Четверг тестирования

Религиозный войны emacs vs. vi мне как-то сложно понять. Конечно emacs, остальные фанатики пусть сдохнут путем самосожжения в женском туалете!!!

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

Если размер проекта не велик, то пишите хоть в машиных кодах. Бумажки/mc/Far/etc хоть nano || joe. Ваша религия - ваша бумажка.

Но вот у меня стало 20 сущностей (а так как, например, в плюсах принято выделять заголовочный файл, то есть более 40 файлов) то я даже с emacs-a с радостью слез на тот же XCode.

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

Подсветки синтаксиса не хватает. Нужна нормальная навигация по проекту (кто от меня зависит, от кого я завишу, все сущности модуля), билд/дебаг (это если у вас 2кб кода, то можно писать правильно и без ошибок. У меня же 20+мб кода и писать правильно слету просто не получается. Да и пару недель отладки многопоточности в нормальной среде дает понимание, что иначе нельзя). Еще автокомлит и проверка типизации в момент написания. Все, хомячку минимум обеспечен и его не рвет.

Жутко бесит, когда я не могу одним движением разбить на части и понять, как это работает. Например, Linq. Поставить внутрь брек-пойнт и отладить. Нет - только частями, перекомпилируя и запуская вновь. У меня компиляция всего занимает 1 минуту 20 сек в идеальных условиях. Да, забыл: то есть хомячку еще хочется как минимум REPL.

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

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

Разработка среды разработки (слова разработка и разработки тут не лишние) стоит денег, и это в любом случае будет для мейнстрима. Фанатики в любом случае без напильников не останутся. Все как всегда, видимо. А хочется как у компиляторщиков, как с LLVM. Хоть что-то единое и общее. Нет, не emacs.

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

PS. Если среда разработки, и четверг тестирования... то пятница - внедрение и развертывание или все-таки баг-фикс после четверга?

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

Синтетические задачи

На всяких (полу)программистких мероприятиях иногда происходит "баттл" на непонятных задачах. Хотя само мероприятие иногда состоит из понятных задач. Под это дело часто есть призы/спонсоры.

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

Это не дорожки TREC-a, там явно профессионалы и готовят и участвуют. Но и круг немного очерчен.

 Есть Яндекс с его интернет-математикой. Яндекс бывает и без интернет-математики, что аж тоже стыдно и непонятно. За последние 4 года я видел 2 соревнования по пробкам на дорогах.

Я, кстати, уже в голове примерно отличаю IR от ML от AI (information retrieval, machine learning, artificial insemination intelligence). В первом случае пишутся такие статьи: вот есть такие-то данные и такая-то задача, мы сделали так-то и получили такую-то погрешность. Свои данные мы вам не дадим, сделать как мы вы все равно не сможете, ибо реализация закрыта и даных нет, но все крута-а-а. Во втором случае есть задача, абстрактный набор данных и вот тут наши идеи как оно будет уменьшать погрешность. Ну, или мы взяли и сгенерили набор данных (который мы вам не дадим) на нем все зашибись. Другие данные мы не генерили (или там не все зашибись, не скажем), но с некоторой вероятностью наши идеи должны и на нем работать, мало ли (а вдруг). А в третьем варианте: а давай-те Каспарова в шахматы обыграем.

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

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

Яндекс для той же Москвы сделал хорошую штуку, они показали узкие места. Даже в интернет-новостях это было года 2 назад. Но их городские власти, похоже, уже в маразме. Разумно как раз в больше системе ликвидировать бутылочные горлышки и оно должно стать лучше. Я, например, за последние несколько лет вынужден был около универа привести суммарно недели 2. Там по данным все того же Яндекса и есть узкое место, вечером с центра по Вернадского(?) пробочка, после Ломоносовского(? или как оно там, около метро универа, которая горизонтальная) уже пусто. Так бага и решение видно невооруженным глазом. Там остановка общественного транспорта прямо на углу, в квадранте где сам универ. По горизонтальной улице по светофору кое-как успевают выехать длинные автобусы и троллейбусы. И они все не вмещаются на остановку, а последние вообще перекрывают 2-3 полосы по Вернадского(?). Вечарками там пробочка до горизонтика из машиночек. Банальщина, но если остановку перенести в глубь метров на 100, то проблемы не будет. Им вообще похоже это нравится. Ладно, это их проблемы. На конец мая 2012 там все так же.

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

В этом году от Интела видел такую классику, найти lcs (longest common substring) для длинных строк. Там типа идея должна быть в параллельности, контест на это. Посидели с Денисом и покурили пол-дня, пришли к линейному(!) решению, которое должно почти полностью влезть в память. Почти полностью - это потому что ограничения не четко даны. Многопоточить там можно вообще малую часть, если это имеет смысл. На форумах там люди обсуждали SSE, оказывается есть конвейерный поиск подстроки.

Пару лет (а может быть и 3) назад на ЧУ в качестве игровой стратегии была стандартная задача на минимакс. Лидеры сделали даже альфу-бету (первая тройка), Паша тоже реализовал альфа-бету (они были в тройке). За 5 часов. Разница между первым и вторым местом была в глубине расчета, у первых стояло 9, у вторых - 8. Там все на грани ТЛ было. В итоге распределение мест по крутизне, кто знает что такое минимакс и альфа-бета и способен это реализовать. Опять же это немного скучно.

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

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

Ни о чем

peril - опасность, риск. Как-то относится к русскому "перила".

баян, про jeopardy - опасность. Русский леопард? :)

sober - трезвый.
somber - мрачный, унылый.

noose - петля, узы супружества, ловушка, казнь через повешение, аркан.
Хорошую вещь так не назовут.

tumble - падать, tumbler - выключатель, акробат.

fencing - фехтование, fence (fencing) - забор.

Kill two birds with one stone - ну не стреляют они в зайцев...

patent - очевидный.

В последнюю осень

Прощальным костром догорает эпоха.
И мы наблюдаем за тенью и светом,
В последнюю осень...
(С) Юра, музыкант.

Попытался выдрать эпиграф из "Весны" того же автора, не нашлось подходящего.

Хотя я опять немного о педофилии студентах. Не о графах, я даже весной рассказывал что-то, что в расписании называется "Анализ информационных технологий". Первое слово, как я уже говорил (я уже говорил, что я никогда не повторяюсь?) мне сильно не нравится. Подозреваю, что в каких-то больших Вузах есть строгие учебные планы, шаг влево рассматривается как попытка подрыва государственного строя и карается УК РФ, статья 282 пункт 2. 


Здесь же несколько проще - обычно, что хочешь. Есть даже какие-то чудаки, которые тупо по бумажке сканы читают. Я захотел что-то поближе к тестированию и верификации. Рассказывать про "информационные технологии", которые наверняка сдохнут через 2 года, просто бессмысленно. Это было магам первого курса, то есть если бы не Болонь, то они эквивалентны 5-ти курсникам. Причем я с ними пересекался 2 года назад с большой частью и могу сказать что они адекватные. 


Пару/тройка лекций ушло на воду, зачем это все нужно, методологии разработки, динамическое тестирование/TDD/элементы ООП. Человечно, на 80% из воды.


Далее 3-4, на статическую верификацию. Тут уже с элементами математики. Флойд с Хоаром, непонятно для кого тривиальные задания на верификацию. По крайне мере есть как минимум один человек, у кого оно в голове осталось.


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


А на практике мы рисовали игрушки. Хотелось показать что такое ООП. Делали довольно абстрактную игру для двух игроков (человек-машина) с полной информацией. За этой фразой скрыто крестиники-нолики-20х20 (5 в ряд), реверси, и подобное. Полноценный минимакс на произвольную глубину. Вынесли еще с пяток абстрактных сущностей (оценка позиции, генераторы ходов). То есть перейти от крестиков-нуликов к реверси - подменить вот эти пяток сущностей, делается за пару часов.


С технологий делали на .net, немного unit-тестов и прочих мелких плюшек.


Результатом практики я даже доволен, обыграть машину в реверси оказалось нереально для человека. С крестиками я немного увел студентов в не совсем правильную функцию оценки позиции. Оно не совсем адекватно иногда ходит, но там один класс заменить и будет тоже на уровне человека рубить. Уверен. 


Реверси успевает считать на 6 полуходов, крестики - на 2-3. Там бы еще минимакс распараллелить, да и альфа-бета сделать, вообще у меня тогда шансов не будет, как человека.


Я первоначально даже хотел свою версию написать, тут для меня работы на вечер. Но как-то заломало, я даже начал писать. Но минут через 15 понял, что студентов то я побью, а конкуренции им не сделаю (и они мне). И себя не прокачаю. Забил, скучно когда не в первой. 


Жалко, что последующие потоки студентов напоминают потоки шлака. И меня там не будет. В последнюю осень...