Утром хотя бы йогу поделал чуток. Надо все-таки как-то восстанавливать форму, а то ваще.
Звонил Степа, разговаривали о жизни. Я с ним поделился планами, он удивился. Но здесь я пока планами делиться не буду, хотя некотрым и понятно все уже.
Ладно. Занимался фигней, потом думал про GADT, как там оно вообще. Только к концу дня понял, что это наивное впехивание Int и Bool в примерчики, хоть на вики, хоть у Киселева - это попытки впарить несколько сыроватую теорию. Посмотрим. Проблема не в теории, там все ясно, проблема в разборчивой формулировке.
Потом на завтрак были оладьи с яблоками. Вах.
Мне надо было сдать комкастовский модем; пошел на их вебсайт. С меня, оказывается, за модем уже не берут, ха. Добрые. Но берут за какую-то хрень 30 баксов сверху. Типа за улучшение скорости с 275 до 300. А не охуели ли. Сказал чатботу волшебное слово "human", и он переключил меня на человека по имени Чад. Чад мне быстренько впарил новый план, так что теперь вместо 130 в месяц я буду платить 70 в месяц, за те же услуги. Ну и старый модем надо сдать.
Дальше подруга поехала в Мильпитас, где закрывался какой-то дизайнерский офис, и там раздавали роскошную мебель, file cabinet, всякое такое. А я поехал что, машину помыл, сдал модем (там смешно, с вирусом, народ жарится на улице, впускают по одному); затем купил полотна для reciprocal saw, чтобы корни спилить, где надо столбики ставить, ну и три мешка бетонной смеси для столбиков купил.
Дома э... да дома поработал! Задокументировал там кое-что, ну и т.д. А затем пообедал (большую пайку канджи съел), довыкопал ямки, распилил бревно на четыре части... и устал. Ну чота вот. Не поеду завтра на велике. Нужен перерывчик, маленький.
Подруга приехала, привезла эту роскошную офисную мебель, стала ее расставлять в офисе, старую мебель выкидывать. Ну красиво так.
А я, когда набрался сил, пошел почистил ямку для столбиков, ввинтил в столбики шурупы большие (чтобы в бетоне держались), да вставил их в бетон; залил еще бетоном, и еще, и еще. Нормально. Пусть схватывается.
Перед тем как ставить, я их обмазал смолой. В результате мои белые рабочие штаны изгваздал смолой. Да и себя тоже. Штаны выкинул, а себя отмыл WD-40. Очень и очень рекомендую.
После чего раскочегарил костер (у нас слишком много дров), и мы сидели до десяти у костра, рассуждали о жизни.
Перед сном пошел еще сделал чай; пока делал, смотрел американский вариант "Анны Карениной", с Кристофером Ривом, который из-за роли Вронского всю жизнь себе испортил - начал гонять на лошадях, потом сломал позвоночник, лежал парализованный, ждал, пока вылечат, но помер. Не, ну фильм дебильный. Первая же фраза, Анна входит к себе домой, и говорит слуге: "Володя!" - уже смешно, уже. Слуга, которого зовут Володя. Ну и там дальше такой же бред. Я его посмотрю, конечно; но это снято идиотами для идиотов. Анна спрашивает Алексея Александровича, мол, Сережа хочет увеличительное стекло, можно ему купить увеличительное стекло, не рано ли ему? Идиоты для идиотов снимали. Конечно, тоже люди. И открывает глаза на уровень, э, средне-американской культуры.
Ладно, хрен с ними. Надо думать, как выразить человеческим языком всю ту фигню про GADT.