?

Log in

Из твиттера о чувствах


Итоги года

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

Работа в IMDEA Software Institute постдоком наглядно демонстрирует, что (а) было ради чего стараться предыдущие четыре года и (б) настоящая учеба и работа по специальности только началась. Приятное завершение проекта, начатого год назад в MSR, - нашу статью с Саймоном и Димитриосом про маленький, но любопытный анализ в Haskell  приняли на POPL, где я буду докладываться уже через три недели.

Легкий сдвиг в исследованиях с систем типов на верификацию многопоточности пошел на пользу и, как мне кажется, весьма расширил кругозор. Теперь я в стостоянии оценивать ту половину статей, производимых сообществом, которая доселе проходила мимо меня, а понятия Concurrent Separation Logic, Rely/Guarantee Reasoning и Fine/Coarse-grained concurrency не только приобрели смысл, но и стали частью каждодневного инструментария.
В доверешение всего, встреча и работа с Алексом Наневским, с чтения чьих статей я начал свою аспирантуру в 2008-м - самое яркое и приятное рабочее впечатление за уходящий год. Неделю назад нашу статью приняли на ESOP, но что-то подсказывает мне, что настоящий фан только начинается.

В сентябре слетал в Бостон на ICFP, где с удовольствием развиртуализировался с Димой  Скавышем (skavish) и командой Аниматрона, а также увиделся с Кириллом (kirillk).

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

Пока что, увы, не удалось как следует попутешествовать по Испании. Вместе с Лилей и с навещавшими нас родителями посетили примечательных соседей Мадрида: Толедо (2 раза), а также Сеговию и Áвилу. Пока что в нашем личном рейтинге лидирует Сеговия. Еще съездили на поезде в Валенсию, где в течение недели счастливо не делали абсолютно ничего, перемещаясь на велосипедах между отелем, старым городом и пляжем.

В планах на следующий год - расширить охват путешествий и посетить юг Испании, страну Басков, Барселону и соседнюю Португалию. Еще надо бы оправдать приобретенный абонемент в качалку. Ну и optimistic concurrent algorithms сами собой не верифицируются. Так что будем продолжать фигачить.

До встречи в 2014-м. 

Будни НИИЧАВО

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

В русском языке слово "постдок" присутствует, но не очень распространено, а называть себя исследователем или учёным у меня не поворачивается язык. В моём понимании учёный -- это такой доктор Гаспар Арнери из сказки "Три Толстяка". Исследователь же - это, скорее, что-то прикладное и экспериментальное, с результатами очевидной полезности, такими как leap motion, к примеру. Уменьшение потребления памяти программами, скомпилированными GHC, или доказательство теорем в Coq, несомненно, тоже делает делает чью-то жизнь приятнее, вот только желаемого wow-эффекта не даёт.

А достигается эффект сравнительно простоCollapse )
Пару недель назад я писал про собственные ощущения от американских городов, в которых, по моему мнению, отстутсвует понятие "центра". В результате сложилась интересная дискуссия, в ходе которой sir_kurush было высказано вполне резонное мнение, что, мол, в штатах человек более самодостаточен исторически, и собираться большими компаниями ему вроде как нужно гораздо меньше.

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

Read more...Collapse )
Побывав в Штатах в четвертый раз, я внезапно поймал себя на там, что ни в одном из городов, в которых мне довело полноценно побывать (то есть, погулять и посмотреть, а не просто пересесть в аэропорту) мне не удалось идентифицировать так называемый "центр города". В европейских городах мне таким "центром" видится, как правило, площадь или же пространство перед каким-то главным собором. На ум легко приходят Place d'Etoile в Париже, Plaza Mayor в Мадриде, Трафальгарская площадь в Лондоне, и далее по списку. При этом, хотя я и назвал столицы, ярко выраженный центр есть и в  большинстве маленьких городов.
Такая же ситуация и с российскими городами.

Ни в одном из американских городов, где мне довелось быть (а их, признаю, не так уж и много): Сиэттл, Сан-Франциско, Юджин, Портленд не было ничего и близко напоминающего площадь, на которой может собраться большое количество народу, скажем, для массовых гуляний. Насколько мне известно, в Вашингтоне и Нью-Йорке такие площади есть (Times Square, площадь перед капитолием), но мне почему-то кажется, что это все-таки скорее единичное в Америке явление.

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

WEB Fly Yak

А дело было такCollapse )

Итоги года

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

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

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

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

Выборы, выборы...Collapse )

Об аналогиях

Я уже как-то писал о смысловых аналогиях в разных европейских языках. Совсем недавно, благодаря студентам, наткнулся на ещё одну такую. 

Проверяя студенческие работы, не единожды заметил, что студиозусы называют факториал по-английски faculty. Разумеется, удивился, потому как сам всегда называл его "factorial". После чего полез в словарь. Тут важно сказать, что родной язык студентов - Нидерландский. Вот тут и выяснилось, что faculty и factorial по-голландски оба будут faculteit. Отсюда и путаница. Сразу вспомнилась старая цитата с баша:
 
понедельник - Monday
вторник - Tuesday
среда - environment

Tags:

Дания: детали

Дания сразу влюблюяет в себя тем, насколько всё здесь уютно и по-домашнему. Самое интересное - это, как водится, малозаметные особенности.


Read more...Collapse )