дыбр

 Вторник, что, неспеша так. Отжался 50, после завтрака уже, потому что утром низковат был сахарок, а стремно.

Вот; запарковался в университете, и на поезд, 9:55.

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

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

Сейчас уже довольно темно вечером.

Собрал домашки, стал обсуждать задачи. Задачи там с подъебками, спрашиваю, вот это wff? 

∀x (x → y)

Ну только не в логике первого порядка, а! Моя черная студентка, Моше, тут заволновалась. Она, оказывается, эту задачу неправильно решила; для нее это невыносимо. Утешил ее. Все фигня, мелочи, это все плюс минус.

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



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

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

Во студенты пошли.

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

Ну и вот. Кошке еды подбросил (хотя ее уже и кормили). Душ, чай, спать.

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

Из скотоложика Нандан написал, что у них там деньги кончились, хостить митап не могут. Окей. Остался Комкаст. Работаем над этим.

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