дыбр

Ничего интересного. Два раза гуляли (чтоб 10 тыс шагов в день); ноги слегка усталые, но ничо.
Наличнипи покрасил, приколотил, герметиком замазал. Стал копать ямки под столбики (ну там вокруг дерева).

Гуляли когда, встретились опять с Лорной и Риком, и там еще пара соседей, тоже препы. Вот такой тут у нас professorville.

Посматриваю "Анну Каренину-67". Ну, местами. Кабы не Каренин, надоело бы уже. Самойлова кукла, Вася еще хуже. Майя Михайловна в роли Бетси, конечно, отжигает; но что там, она же гений, ну. 

Еще про GADT пописываю потихонечку. Надо разъяснить, как хаскельные GADT выражаются в виде multi-sorted initial algebras. (А потом еще надо будет и final tagless присобачить).

Есть предложение решительно остановить глобальное потепление, путем прекращения измерения температуры.