Встали ох рано, я лично в 6; в полвосьмого выехали в сторону Монтерея.
Хорошо утром... только я всю дорогу проспал, проснулся уже на первой. Свернули на пляж, там керамики затеяли pit firing прямо на пляже. Идея такая, кладут керамику, добавляют всякой хрени, типа конского навоза и апельсинных корок и шерсти и медной проволоки, строят костер, и жгут его интенсивно. Ну и там получаются художественные разводы.



Вот мы и болтались там на пляже, пока костер догорал. Была подруга, ее типа начальница, и несколько ее студентов. И собачка Коко, которая меня очень полюбила сразу, я ей брюшко чесал, и щечки гладил, и лобик, а она млела.
После пляжа был вопрос, вроде бы в винарни надо поехать, в монтерейские, но до ближайшей 40 минут, так что мы махнули рукой, поехали в Филз Фишмаркет в Мосс Лэндинге, обедать. Там очередища большая, но и выбор большой. Хорошо поели (а смысл-то перечислять, что?).
Затем в Санта Круз, на Пасифик, чисто прошвырнуться по этому зоопарку. Ну зоопарк; если вы там не были, так побывайте, это нечто, это нечто.
Зашли в "Логос"; я там, как обычно, рассматривал первую же полку. Особенно подсел на "Книги, которые вы не прочитаете". Там и "Роман о Розе", и "Энеида", и что-то из Пруста; "Улисса" почему-то нету (да и сложно сюжет передать, ходит мужик туда-сюда, в сортире жопу газеткой подтирает, да читает ее, не поехать ли на поселение в Палестину; и т.п.); но две из этих перечисленных там книг я прочитал (ну там "Мертвые Души", например). Но все равно смешно.
Вот такое перистое облако мы видели над Оушен стрит в Санта Крузе.

Домой поехали, сначала планировали по 9-й поехать, по винарням в сантакрузской глухомани, но передумали, взяли 17-ю. Сначала заехали в колледж за какой-то бумажкой, потом по дилершипам на Стивенс Крике, машину ищем. Оказывается, новые Приусы только после Нового Года появятся; блин! Пошли посмотреть Чеви Вольты. Уж как ни вился вокруг нас Том, а подруга раскритиковала именно то, что мне казалось нормальным - UX. Навигационная карта, согласен, так себе. Но я много чего не заметил. Окна узкие бойницы; какая-то дебильная большая ручка переключалка передач; кнопка включения зато мелкая; ну и т.д. Я уже не в восторге.
Зашли в Костко, я остался платить, подруга пошла в Трейдера Джо; а я гляжу - у меня Американ Экспресс нету с собой, дома забыл; отложил тележку, сходил взял у подруги ее карточку, так и заплатил. Ну вот это вот все.
Дома позаизолировал на кухне вентиляционную коробку, да разметил шаблон, по которому завтра вырежу заплату для пола.
Сел рисовать слайды по логике, третья лекция, новые слайды нужны.
Что-то раздухарился; и списки, и бинарные деревья определяю через фикспойнт. А пусть расширяют сознание. Тут же не теория типов, а просто вот А - множество значений; как описать списки из А? Да через уравнение. И бинарные деревья тоже (через квадратное уравнение). А потом уже примеры и картинки. Нуачо.
И это я им еще функции не показывал.
Посмотрели две серии Дикенса. Ай, какая прелесть. Как они артикулируют; один по-народному (верхнее течение Темзы), другой с таким королевским акцентом; остальные кто куда. Это ж непереводимо. И все так театрально, ах!