Для меня всегда приятной неожиданностью является нахождение "двойных" связей между словами в русском и каком-нибудь ещё языке. Так, чтобы диаграмма коммутировала. Вот, к примеру, в своё время, узнав, что "вдохновение" по-английский будет "inspiration", а "дух" - "spirit", я радовался тому, что в русском "дух" - "вдохновение" - тоже однокоренные.
Сегодня, покупая какой-то овощ в супермаркете, обнаружл ещё одну такую связь - по-французски "печатать" будет "imprimer", и, печатая чек, электронные весы на экране мне написали "impression", то бишь, подожди, дорогой, пока напечатаем. Ну ведь точно же! "Impression" и "впечатление" - это всё от слова печатать, впечататься в память. Это же так очевидно, чёрт возьми.
А были ли у вас когда-нибудь такие же открытия?

Пока искал ссылку на курс Соловьёва для предыдущего поста, накнулся на вот эту дивную шапку на www.spbu.ru/faces.



Это, простите, зачем? Чтобы светлый лик ректора из памяти не выветрился мимоходом? Нет, я понимаю, там, Александров, Менделеев или Канторович. А тут, понимаешь ли, он.
С нетерпением жду приезда в Питер - навестить главное здание. А ну как там уже и бюстик наваяли.

На осознание всей мощи митиного курса под условным названием "Модели программ" у меня ушло, ни много ни мало, полтора года. Официально заявляю - это очень крутой и правильный курс, который должен быть сделан обязательным. А Соловьёва с его целым семестром доказываения теорем о непрерывности в семантике неподвижной точки - выкинуть нафиг.
Как можно выпуститься с матобеса и не знать отличия семантики большого и малого шага, не иметь хотя бы общего представления о денотационной семантике в CPS-форме и основах метапрограммирования, лично мне теперь непонятно. Единственное, чего не хватало курсу - вразумительных примеров. Скажем, приложения абстрактной интерпретации в задаче CFA в Higher-Order Languages. Без этого - не совсем понятно, на кой оно нужно.

В конце июля в штате Орегон была рекордная даже по местным меркам жара. 43 градуса по Цельсию в тени - и заботливые американские власти по радио настойчиво рекомендовали не казать носа на улицу, а сидеть в помещении с кондёром. А в летних студенческих общагах, где нас разместили, кондёра не предусмотрено. И единственным местом, где можно было пересидеть вечерний зной, была аудитория, отведённая под летнюю школу.
Чтобы чем-то занять скучающих студентов, нам организовали вечерние лекции под общим названием "за жизнь студенческую". Среди прочего две лекции прочитал Оливье Данви, всамделишный CPS-гуру. Это было прекрасно настолько, что за 2,5 часа, которые длилась первая лекция, никто даже в туалет не бегал. Прервали лектора только один раз - чтобы поменять плёнку в камере. Всем, кому интересно послушать дельный и весёлый рассказ о том, каково это - быть PhD student - сюда (mp4, ~900 Мб), а здесь - слайды к лекции. Для тех же, кому захочется продолжения - вот здесь про то, как толкать research talk (~450 Мб).

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

Полтора года назад, ещё в бытность мою студентом, проходил у нас замечательный семинар по транзакционной памяти. Рулил всем этим делом, как водится, Митя Ломов, в число добродетелей которого входит талант достаточно доходчиво и иллюстративно объяснять разные шутки из области CS и SE. Так, скажем, на семинар по сборке мусора годом раньше для демонстрации Copying GC на пару было принесено наглядное пособие - игрушечный мусоровоз. Всем было весело и понятно. С потоками и транзакциями так же наглядно не получилось, что, впрочем, семинар хуже не сделало.
Это пока была преамбула. Фабула заключается в том, что в последние несколько дней я обнаружил целую уйму замечательных примеров TM в реальной жизни. Случится мне вести подобный курс - непременно использую.

( а дело было так )

Ну и кто там сказал, что Тарантино исписался? Да ни черта подобного. На мой взгляд, он просто перестал страдать синефилизмом, пёршим изо всех дыр в "Доказательстве смерти" "Death Proof", и снял кино из разряда тех, которые у него получаются лучше всего - неправдоподобно жестокое, гротескное, но подчас щемяще сентиментальное. Примерно за пять минут до финальных титров ощущения примерно такие же, как в конце Reservoir Dogs. Зацепило, да.
Видимо, чтобы оторваться при просмотре по-полной, нужно знать как минимум три языка. Если с французским ещё куда ни шло, то понять, что там временами прорыкивает Брэд Питт - это пока что выше моих возможностей. И всё же я слабо представляю, как это вообще может быть переведено в принципе. Момент, когда Питт произносит "ауэриведэйрчи", пожалуй, один из лучших в фильме.

( А сейчас будет спойлер )

Лозанна - очень приятный город во французской части Швейцарии с нетипично щадящим по летне-европейским меркам климатом и потрясающим по красоте озером. Через это озерцо кораблики ходят прямо во Францию, город Evian (где добывают одноименную негазированную воду). Говорят, неоторые из Франции сюда ездят на работу и наоборот. В местном метро нет практически никакого контроля, разве что с вероятностью, близкой к нулю, зайдет контролер. Звери это настолько редкие, что я пока ни одного не видел.
Еще здесь есть два университета - UNIL и EPFL. Особой красотой кампусы не отличаются, все закатано в бетон. Правда, виды из окон частично компенсируют этот недостаток.
Первую часть фоток, как водится, выложил вот тут.

Выложил фотки в Пикасу. Было настолько круто, что для начала ограничусь только комментариями к кадрам.

Тест на советскость от "КП" в Украине"
Ваш индекс советскости: 55 Ну, вы в принципе знаете, откуда у современности ноги растут, но вам и тут неплохо, правда?
Пройти тест!

Mac-овский форум временам доставляет не по-детски. Вот понадобилось мне поменять текст бэкграунда в презентации у кусочка текста (дело в Keynote проиходит). Гугл выдаёт тред, начатый человеком со сходной проблемой. Ему говорят что делать. Он делает (и я тоже) - выделяется целая строка. Человек негодует. На что ему добрый маковод и отвечает:
"Sounds awfully PowerPointish... Keynotes are designed to be sexy, not have a solid color text box. You could always insert a shape (square) behind the text box if you really wanted to. "
Это почти как "Lamborghini спроектирована чтобы радовать глаз. Она не повезёт вас на дачу за картошкой."
Ненавижу WYSIWYG. Не-на-ви-жу. Ведь есть же LaTeX, Beamer. Так ведь хрен.

Дано: две случайные матрицы 100 на 100, с целыми числами от нуля до 1000, заданные двумерными массивами int-ов в Java, перемножаются стандартным образом (два вложенных цикла и скалярное произведение внутри), без извращений типа Штрассена. С результатом вычислений ничего не делается. Результаты по времени подсчёта для разных языков такие:

Scala
    171
Groovy (1.6)
    204
Clojure
    15
Ruby (JRuby)
    1871
Python (Jython)
    1502

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

Кому интересно - собственно( код на Clojure )

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

Сходил на ночной сеанс на кино Watchmen. Изначально предполагалось, что это будет ударный такой фильм-комикс а ля Iron Man или, на худой конец, "300". Что бух-бам и все дела.

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

За без малого три часа экранного времени нам показывают толпу супергероев в клоунских костюмах, полёт на марс, дезинтеграцию толпы вьетнамцев под непременный "Полёт Валькирии", светящегося голубого мужика с болтающимся хреном (а зачастую и нескольких таких мужиков), свирепый секс в летающем батискафе, крушение оного батискафа во льдах, отпиливание рук болгаркой (причём, не вяло так, а как следует, крупным планом), всякий разный мордобой в огромных количествах, скормленную собакам девочку, разрубание головы мясницким тесаком, свисающие с потолка кровавые ошмётки, сжигание народа заживо (больше одного раза), обливание раскалённым маслом, побег из тюрьмы, убийство Кеннеди, карикатурного Никсона со сморщенным челом, падение из окна в slow-mo под "Unforgettable", лав-стори с хеппиендом, крайм-стори с главзлодеем, мексикан-стори с обязательной резюмирующей фразой "это он твой отец!", сравнивание с землёй Москвы, Нью-Йорка и Пекина под Боба Дилана, замечательный в своей простоте тезис "50 миллионов трупов - фигня по сравнению со спасением мира" и гранде финале с обличающей рукописью в руках жрущих хот-доги газетчиков-придурков.

Да, есть подозрение что русски перевод названия "Хранители", равно как и французский "Les Guardiens", не совсем верны. Потому как оригинальное название содержит корнем watch, то есть часы. А вот как раз часы - те, что в момент Карибского кризиса показывали без пяти полночь, в фильме демонстрируются постоянно.

В общем, пока что полное смятение. Пойду, что ли, рецензии почитаю.

UPD. А он чё, правда, что ли, без возрастных ограничений идёт? Дорогая редакция...

Как мне тут справедливо было замечено, что-то давненько я ничего не писал. Потому давайте-ка я, что ли, напишу про свою поездку на FOSDEM в Брюссель.
( Как оно было )

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

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

Об этих стендах надо сказать отдельно. Обычно стенд служит для того, чтобы специально обученный падаван около него что-то с умным видом вещал. Здесь все падаваны сбежали за халявными сендвичами и апельсиновым соком. Потому никто ничего не рассказывал, а на каждом стенде было нарисовано по нескольку цветных квадратиков и хаотично написаны слова. Как то: "Security. Reliability. Distributed computing. " И внизу - адрес почты секретаря группы. Мол, пишите письма. Всё. Нафига такой показ нужен - лично мне непонятно.

Если сама выставка была достаточно бездарной, то о месте, где она проходила, надо сказать отдельно. Как я уже писал, наш кампус представляет собой несколько относительно соверменных зданий и примыкающий к ним большой парк, где стоят здания старого университета, коим лет по пятьсот. Причём, в старом университете наличествовали и котельные, и мельница и куча других не очень учебных построек. Сейчас всё это дело постепенно переоборудывается в аудитории. Не пропадать же помещениям, в самом деле. Местом проведения воркшопа значился некий "Thermotechnish Instituut", аудитория "De Tweede Hoofdwet". Последнее в переводе на русский означает "Второй Закон". Думаю, понятно кого.

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

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

А тут он, значит, вещал с кафедры. Лекция длиной в сорок пять минут была, по сути, ни о чём.  При этом тишина в битком набитой аудитории стояла гробовая. Лишь изредка зал друхно разражался дружным хохотом. Потому как лекция эта являлась мастерски подобранным набором цитат на тему развития известной индустрии в прошлом и фантазий о развитии её в не столь отдалённом будущем. Кластеры из айфонов, виртуальное присутствие, пресловутая augmented reality. Сорок пять минут сказок, но до чего здорово. Не удержавшись, я сфотографировал на телефон особо выдающиеся слайды.

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

Как водится, картинки с выставки.

UPD. По мере того, как выкладывал фотки, выяснил, что мерзкий афйон ещё занёс в них инфу о местонахождении, что сохранилась с GPS-модуля, пока я шёл до аудитории. И эту инфу Picasa радостно показывает на Google Maps.
Будущее наступило.

По правде сказать, на выходных в Лёвене делать особо нечего. Если воскресенье - это вообще мёртвый день, предназначенный для уборки и хождения в прачечную, то в субботу можно худо-бедно затариться снедью на неделю. Или же куда-нибудь съездить с целью расширения кругозора. Ближайшим объектом для посещения был намечен городок Брюгге. Но, увы, на прошлых выходных выбраться из дома как-то не сложилось - подкосила проклятая зараза, и три дня кряду я вынужден был изображать из себя овощ. Поэтому набег на средневековую обитель прошёл в последнюю субботу.
Положа руку на сердце, ещё пару месяцев назад о таком городе я ничего не знал. В каком-то фильме говорилось "народ, как правило, хорошо знает только про то, о чём снято кино". И ведь не поспоришь. После того, как появился фильм "In Bruges" (в русском переводе "Залечь на дно в Брюгге"), количество людей, подкованных в географии западной части Бельгии, увеличилось в разы. Сам фильм, кстати, достаточно неплохой. То есть, коренное население от него плюётся и говорит, мол, уж лучше бы вообще не снимали, чем снимать такое (это буквально слова моего сотрудника, который там родился). Но художественной ценности это не уменьшает. Фильмы Тарантино и Гая Ритчи ведь тоже не всем нравятся, верно? "In Bruges" в чём-то сильно на них похож. Куча ненормативной лексики, кровь ручьями и забойнейшие диалоги. Только если, скажем, "Snatch" или любимый народом "Pulp Fiction" - это чистой воды глум, то сей опус претендует на наличие некоторой сквозной и отнюдь не тривиальной идеи. Депрессивный Колин Фарелл на протяжении всего фильма совершает кучу странных вещей с целью найти для себя ответ на вопрос "Как жить после поступка, после которого жить не следует в принципе?". В общем, я тут очень старательно обхожу спойлеры, дабы не испортить удовольствие ещё не смотревшим.
Между тем, что бы там ни говорили, фильм сделал городу потрясающую рекламу. Вплоть до того, что в карте "юного путешественника", которую я прихватил с собой, иные места упоминаются как "знакомые по фильму". На башню Беффруа (которую, я надеюсь, решётками забрали ДО фильма) так вообще не пробиться. Желающих пройти пешком четыре сотни изрядно крутых ступенек по лестнице, где двум людям практически не разминуться, - хоть отбавляй.
Карта оказалась жутко ценным приспособлением, ибо с её помощью за световой день удалось обойти три честверти всех достопримечательностей города. Среди прочих - упомянутая башня, Церковь Нотр-Дам, где выставалена "Мадонна с младенцем" работы Микеланджело, музей шоколада (ничего особенного, зато стоят произвведения русских умельцев), несколько картинных галерей, а также совершенно потрясающий жилой квартал - перестроенную тюрьму. Последний представляет из себя причудливый лабиринт из узких проходов, и жить, на мой взгляд, там жутко неуютно. Однако, от желающих там снять или купить квартиру, говорят, отбоя нет.
А вообще, просто ходить вдоль каналов и по средневековым улочкам - само по себе очень круто. Возможно, будь я до этого в Праге или где-нибудь в старой Италии, впечатления были бы не такие яркие, но надо ведь с чего-то начинать!
В следующий раз поеду куда-нибудь во французскую часть. Повсеместный голландский начинает понемногу надоедать.
И, как водится, откомментированные фотки.

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

А я вот сделал себе подарок - купил самоучитель по нидерландскому языку. С прикольными картинками и аэ тремя кассетами. Признаться, я думал, что такой раритет уже никто не пользует. Ан вот. При попытке использовать плеер, лет 7 пролежавший на полке, выяснилось что у того окислились и присохли батарейки. Пришлось выковыривать.
Впрочем, это было лишним, ибо в глубине коробочки обнаружился ещё и диск с MP3, который всё это дело дублирует. Залил это дело на телефон, так оно как-то привычнее будет.
Зато теперь сижу и слушаю рассказы про какую-то несчастную Аннеке, ищущую работу. Grappig!

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