кстати, начал уже путать

Мединского и Ампелонского.

Не мог он Ксюшу от Алеши. 

дыбр

 Лучше поздно, чем никогда, конечно. Уже почти 11 ночи же.

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

К 10 поехал к доктору Ли. Думал, меня там полдня держать будут, колоть радиоактивный забыл что, таллий? полоний? Но ничего такого не было, пришел доктор Ли, мило побеседовали, у меня все хорошо, только вот вчера так что-то; да фигня. Жизнь борьба.

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

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

На работе работал (лениво, как налима ловил). В обед с Сарасижей и с одной бодрой китайкой (убей не помню, как звать, Мэгги?) чесали языком про керамику. Сарасижа тоже любит wheel-throwing, но у нее не очень получается. Ну там какое-то чувство баланса нужно.

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

А, кстати, из Комкаста приятнейшая весть - могут захостить митап наш, с Габриэлем Кларамунтом. Слааава те господи. Из Нетфликса пишут, кстати, а как же, мол, у нас митап 6-го ноября. Я ответил - ненуачо, 6-го тоже; а хотите на 13-е перенесем? (Мне-то лучше 13-го, но я не пишу, что мне лучше, пишу, если вам лучше.)

Вот; обратно ехал на шесть ноль восемь; там опять кто-то на рельсы рухнул, но к этому времени уже убрали части.

Завтра узнаем, кто и что. В местной газете фотки не постят, но имена сообщают.

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

Вот; студенты блин! Отжигают. Я им скулемизацию, я им полноту по Геделю, я им интуиционистскую логику - хавают! Потом, в порядке подготовки к мидтерму (они энергичны как перед групповым сексом), спросил, ну хотите я вам задачку из книжки решу? Выбирайте.

Мнутся. Не, ну чо, Ли Бо? Стивен? Моше сидит глаза отвотит. Тут Алиша такая (она уже на переднем ряду сидит, воспряла, поняла наконец, что ее, блондинку, тут не за дуру считают, а за классную и умную студентку) - а вот упражнение 10, "challenge"! Ну окей.

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

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

Потом еще обсудили опять домашку. Тема "вложенных доказательств" у меня невнятно была изложена, а в книжке вообще как вставка на французском в "Войне и Мире" - eh bien, mon prince...

Ладно. Когда уходил, Бхаргав и Стивен еще оставались - Бхаргав Стивену на доске рисовал какие-то доказательства.

Дык. Повезло в этом году. Вот уж свезло так свезло.

Домой приехал - никого нету. Подруга позже подкатила. У нее студенты потупее моих, их пока разгонишь... эх.

Смотрите, почти одиннадцать, а я как этот. Всем пока, до завтра. Тяпница.