![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Как это получается, что коммунисты не поддерживают национально-освободительную борьбу украинского народа против российских захватчиков? Ведь казалось бы...
Feb. 22nd, 2015
Как обычно проспали и на хайк не пошли, а поехали шопиться. Ну в смысле по магазинам. Сначала в Southern Lumber, смотреть умывальники; но там как-то в этот раз печально с этим делом. Поехали тогда во Фримонт в магазин Tubz. Вот там раздолье. И еще кофе, печенюшки; и сотня типа джакузей разных. Мы таки выбрали себе по вкусу; а умывальник не выбрали... ну почти выбрали. Еще подивились на унитаз, который сам крышку подымает, когда человека видит. На-ка сри в меня дружок, как у Чуковского.
Пошли пообедать в японский ресторанчик на плазе через дорогу; там толпень китайцев и филиппинцев, хрен запаркуешься. Фримонт же. Но ничего. Поели вкусно; потом зашли в местный Лоуз, тоже раковины смотреть, умывальники в смысле. Да фигня все. Все эта мотельная мебель, тьфу.
Попилили по 84-й в Икею. Гугл нам все советовал какими-то огородами через Ист Пало Альто, но нам спасибо хватило вчерашнего. И так, прям на 84-й, чуть в нас грузовик не врезался, какой-то уайттреш таки успел затормозить в последний момент.
Я, кстати, по дороге "бесплатные теоремы" читал; меня, кажется, пробило наконец; надо будет док на гуглдоксах написать, категорные комментарии к бесплатным теоремам. Автор обильно ссылается на Щедрова, а Щедрову я доверяю... но доверять ли ссылающемуся?
В Икее... ну как бы к ней все относятся как к дешевой попсе. Но нам очень понравились умывальники и все это для ванной; скорее всего, там и возьмем. Красное причем. Кроме того, мы поняли, какая нам нужна кухня, и тоже в Икее возьмем. Не европейцы мы, что ли? (перефразируя Толоконникову)
Там же купили два тортика, и с одним поехали к Фреду на день рождения (он у него завтра, но не юбилей). Попили там чаечку на огороде, пообсуждали Скота и его пролетарскую идеологию.
Приехали домой; надо бы мне было уже слайды доделать для завтрашнего доклада (теория типов; записалось 60 человек на мой доклад, рехнуться, куда они там все поместятся?); но сначала пошли гулять, на хайк, то есть. Вместо обычного круга свернули на холмах налево, и решили, что этот дополнительный кусок будем добавлять, будет наш хайк не 3 мили, а 4.
А красивая погода, облаков натянуло, все такое оранжево-розовое, а трава на холмах зеленейшая.
Обратно шли, где-то за милю до дому у меня кончился сахар; я закинулся двумя глюкозинками, но было два желания. Одно - лечь прямо тут на тропинку и поспать; второе - поехать на Мауи, на Вайлеа, и лечь спать там на пляже. Или на Кихеи. Короче, когда сахара в крови нету, голова тупая. Еле дотрюхал; дома поел да на диван завалился и заснул.
Но потом ничего; поужинали (салат с курочкой); освоил tikz, нарисовал картинки ("пересечение нечетких типов", "объединение нечетких типов" и т.п.), сделал слайды, сижу довольный.
От Чабы всякие письма приходят, напоминает о старых багах. Ну чо. Вот теперь Патрышев во всем виноват, он 80% кода перелопатил, так чо теперь. Ну дайте мне пяток программистов, все будет тип-топ, проходили уже. Но у Чабы контрол-фричество. Он не может кому-либо что-либо доверить.
Пошли пообедать в японский ресторанчик на плазе через дорогу; там толпень китайцев и филиппинцев, хрен запаркуешься. Фримонт же. Но ничего. Поели вкусно; потом зашли в местный Лоуз, тоже раковины смотреть, умывальники в смысле. Да фигня все. Все эта мотельная мебель, тьфу.
Попилили по 84-й в Икею. Гугл нам все советовал какими-то огородами через Ист Пало Альто, но нам спасибо хватило вчерашнего. И так, прям на 84-й, чуть в нас грузовик не врезался, какой-то уайттреш таки успел затормозить в последний момент.
Я, кстати, по дороге "бесплатные теоремы" читал; меня, кажется, пробило наконец; надо будет док на гуглдоксах написать, категорные комментарии к бесплатным теоремам. Автор обильно ссылается на Щедрова, а Щедрову я доверяю... но доверять ли ссылающемуся?
В Икее... ну как бы к ней все относятся как к дешевой попсе. Но нам очень понравились умывальники и все это для ванной; скорее всего, там и возьмем. Красное причем. Кроме того, мы поняли, какая нам нужна кухня, и тоже в Икее возьмем. Не европейцы мы, что ли? (перефразируя Толоконникову)
Там же купили два тортика, и с одним поехали к Фреду на день рождения (он у него завтра, но не юбилей). Попили там чаечку на огороде, пообсуждали Скота и его пролетарскую идеологию.
Приехали домой; надо бы мне было уже слайды доделать для завтрашнего доклада (теория типов; записалось 60 человек на мой доклад, рехнуться, куда они там все поместятся?); но сначала пошли гулять, на хайк, то есть. Вместо обычного круга свернули на холмах налево, и решили, что этот дополнительный кусок будем добавлять, будет наш хайк не 3 мили, а 4.
А красивая погода, облаков натянуло, все такое оранжево-розовое, а трава на холмах зеленейшая.
Обратно шли, где-то за милю до дому у меня кончился сахар; я закинулся двумя глюкозинками, но было два желания. Одно - лечь прямо тут на тропинку и поспать; второе - поехать на Мауи, на Вайлеа, и лечь спать там на пляже. Или на Кихеи. Короче, когда сахара в крови нету, голова тупая. Еле дотрюхал; дома поел да на диван завалился и заснул.
Но потом ничего; поужинали (салат с курочкой); освоил tikz, нарисовал картинки ("пересечение нечетких типов", "объединение нечетких типов" и т.п.), сделал слайды, сижу довольный.
От Чабы всякие письма приходят, напоминает о старых багах. Ну чо. Вот теперь Патрышев во всем виноват, он 80% кода перелопатил, так чо теперь. Ну дайте мне пяток программистов, все будет тип-топ, проходили уже. Но у Чабы контрол-фричество. Он не может кому-либо что-либо доверить.