достижения

Встали в 6, съездили в Саусалито (для бешеной собаки сто вёрст не крюк), купили килн (тигель, печь), погрузили в наш выносливый рафик (RAV4), и в начале одиннадцатого был уже на работе.

Продолжал искать причины рассинхронизации, весь день. Наприсобачивал signatures на объекты, чья видимость странным образом рассинхронизируется (ну это какая-то теория относительности, когда мы видим дальние звёзды там, где они были тысячи лет назад - только здесь речь идёт о трафике на 80-й дороге).

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

А к вечеру и синхронизацию починил, за пять минут до поезда. На поезде домой ехал. Хорошо в поезде! Дочитал статью Моджи (с моей, топософической, точки зрения - херня, легковесные рассуждения; плюс странная идея брать топос предпучков... ведь этот топос строится из доменов, т.е. из вложений... нечего было и огород городить. Плюс ему за каким-то хреном понадобился тип N (натуральные числа), прям без него никак в теории типов. Плюс один из примеров вычислительной монады - Pfin(A) - "конечные подтипы типа А". Очень остроумно. Конечные подтипы. Чётные числа уже не канают. А...

Потом ещё и код порефакторил, сидя в поезде, чуть свою остановку не прозевал. Ну блин, хорошо но мало.

Дома, с помощью Фреда, выгрузили килн и поставили на недавно построенное патио. Скоро к электричеству присоединим, и будем обжигать! Я тоже что-нибудь слеплю, тессеракт какой-нибудь.

Такие дела.