Счастливого полета!

Вроде сегодня было последнее отмечание (на сей раз в JetBrains). Поэтому:

Денис, Дима, Илья, Лёня, Настя, Олег, Рома, а также все слушатели моих семинаров, закончившие в эти дни Мат-Мех -

Subj, собственно.

:-)

Человеческое

Сижу тут, допиваю оставшийся херес, доедаю вкусности, заботливо ребятами принесенные :)

Вспоминаю умные глаза, веселые лица, душевные речи.

Я на мат-мехе зарплату не получаю - у меня другое :)

Oops We Did It Again

И вновь в апреле чернобыльские дети-мутанты лучшие студенты V курса и приставленный к ним мокрец я собрались в воскресенье в JetBrains и провели День Железной Кусочно-Непрерывной Памяти.

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

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

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

Тезисы докладов появятся в блоге.

P.S. Фотографии Дениса, я только на Пикасу повесил :)

Кусочно-непрерывная память

Вот, затеяли авантюру. Каждую пятницу, лишь солнце закатится, на мат-мехе на первой паре в 3502.

Продолжаем читать классиков

А вот и у Chrisа Okasaki появился блог. Должно быть интересно.

Ученье - свет

Дорогие студенты каф. системного программирования, постарайтесь найти возможность ходить вот сюда.

Hear, Hear!

Вот, дорогие матмеховцы, прошу прочитать:

"It is all about programming! Over the last few years we have noticed worrisome trends in CS education. The following represents a summary of those trends:

1. Mathematics requirements in CS programs are shrinking.
2. The development of programming skills in several languages is giving way to cookbook approaches using large libraries and special-purpose packages.
3. The resulting set of skills is insufficient for today’s software industry (in particular for safety and security purposes) and, unfortunately, matches well what the outsourcing industry can offer. We are training easily replaceable professionals.

These trends are visible in the latest curriculum recommendations from the Association for Computing Machinery (ACM). Curriculum 2005 does not mention mathematical prerequisites at all, and it mentions only one course in the theory of programming languages"

Отсюда. (Дискуссия на lambda-the-ultimate). Релевантно донельзя.

Осенние покатушки

Намечаются покатушки.
Во первых, Ольга сгоношила меня съездить на ML Workshop 2007. (основание: Олин диплом) - 4-7 октября, Германия (Frieburg)
Во вторых, мы с Женей Вигдорчиком собираемся на OOPSLA'2007 (основание: PLIDE) - 21-25 октября, Монреаль.
В третьих, большая часть команды Решарпера десантируется в столицу порока и разврата (основание: JetBrains спонсирует это безобразие) - начало ноября, Нью-Йорк и Лас-Вегас.

Господа отъехавшие, если кто-то сможет где-то как-то пересечься, буду очень рад!

Краткий миг торжества...

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

Семейное

Мой прадед был директором школы в Западной Сибири, на Иртыше.
Моя прабабушка была заслуженной учительницей СССР, и даже получила орден Ленина.
Мой дедушка преподавал в ЛИАПе.
Мой папа ведет кучу аспирантов в KU Leuven, Бельгия.
Ну и я тут это вот, как уж могу.

Конец цитаты

Ну вот сборка мусора и кончилась.
Даже как-то неожиданно грустно.
Привязался я к этим четверговым посиделкам :)

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

Gloria Mundi

В нашей конторе у многих настроены RSS-фиды на гугловый поиск по блогам на слово jetbrains. Поэтому сегодня с утра Саша Ткачман приветствовал меня словами: "Митя! У тебя замечательные дети!".
Не могу не согласиться :) См рис. 1, 2 и 3.

A Day In Life... of Memory Blocks

По-моему, праздник Живых и Мертвых Блоков вполне удался. Настя, Илья и Максим подоготовились на славу, и воскресенье потеряно не зря все прошло здорово. Я получил большое удовольствие и даже узнал кое-что новое, в основном из доклада Ильи про time-based vs. work based сборку мусора в реальном времени.

Кроме того вечером мы с Алёнкой сначала в компании Андрюхи и Ани посетили суперский суши-бар "Самба-Суши" (рекомендую исключительно, угол Греческого и 9ой Советской), а потом уже вдвоем побродили по Питеру.
По Александровскому саду галлопировала девушка на лошади, очень здорово. Тоска взяла - я вот уже больше месяца не могу выбраться.
Небо над Питером сегодня красиво необыкновенно.
Зашли в Дом Книги, купили в частности Атлас Автодорог Европы - к лету готовиться.
Определенно, жизнь стала светлее :)

Тонкости общения

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

Однако в 30-ке, ЮМШ и на Мат-Мехе меня строго приучили: к детям (студентам, вообще людям, которых ты учишь) надо общаться на Вы. Я так всегда и стараюсь поступать. Однако студенты быстро взрослеют, начинают работать у нас и превращаются из студентов в товарищей по работе, а иногда и в друзей, и даже очень близких.

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

Объективный Верблд

В это году спецсеминар по Objective Caml проводится в 7ой (!) раз. В понедельник, при большом скоплении народа, схема Горнера опять превратилась в свертку справа. :)

Надо сказать, что за 7 лет много что изменилось:

• все люди понимают, что кроме C и C++ бывают и другие языки, и на этих языках очень и очень можно программировать (меня спросили, почему я рассказываю Objective Caml, а не Haskell!)
  
• все знают, что сборка мусора - это хорошо
• параметрический полиморфизм победно шевствует по mainstream языкам (в Java тайпчекинг чуть ли не неразрешим)
• Вывода типов, конечно, пока еще нет, но C# 3.0 уже на подходе - а там (почти) все будет.

По этому поводу долго думал, не сменить ли Caml на что-нибудь - на Scala, например, или на F# - но решил, что Университет должен давать классическое образование - а Caml - это все-таки современная классика языкового дизайна. К тому же, хочется и модулей, и row polymorphismа, да и Dynamic Camlем хочется похвастаться.

Кстати, в прошлом году я очень удачно пол-семинара решал expression problem на Caml - под этим соусом почти все языковые фичи можно подать. Надо будет в этом году делать то же самое, только более осознанно и последовательно.

Update: все-таки в 6ой, а не в 7ой. Первый раз это было в 2001 году. На четвертом курсе я еще не был столь нагл, чтобы вести спецсеминары :)

Garbage Collection

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

Я, конечно, кривлюсь и стону, что меня заставляют по четвергам рано вставать, гнать в Универ, вести там чего-то - но на самом деле мне очень приятно :)
Четвертый курс - спасибо! Вы замечательные! (только ходите, pls, и к докладам готовьтесь хорошо)