ничо накатался

Сегодня было заседание BACAT, в Сан Франциско, но т.к. карпулиться никто не заинтересовался, то поехал на поезде, от Пало Альто и до упора. Хорошо типа в поезде, только шумно. Туда ехал, книжку читал, Фейнмана.

До Енджин Ярда всего-то ничего ходу, минут десять. Одна польза.

Ну народ пока подтянулся... мы сидели с Ларри языком чесали, про агду, про учёбу... у меня к зависимым типам одна претензия - они требуют аксиомы выбора. Следовательно, на темпоральную, и вообще небулеву, логику не ложатся. Ну это всё смутные ощущения, конечно. Поди объясни, зачем нужна небулева логика, и почему из аксиомы выбора следует булева логика, или почему из зависимых типов следует аксиома выбора... ну да ладно. Потом пришли Стивен и Джейсон, и мы понеслись читать слайды Уусталу, про монады, сопряженность, и т.п. Хорошо пошло; особенно на примерах. Я наконец-то обратил внимание на категории Клейсли, от которых всегда нос воротил. Ну например для монады Option категория Клейсли будет категория частичных отображений. Для output monad - это категория морфизмов с побочным эффектом ("с отводом").

В 9:20 я начал нервничать, и мы снялись и пошли. Шли, с Джейсоном языками чесали, он подругу себе нашел в Москве, съездить собирается. Подруга геофизик. Я живописал картину русских геологов в тайге, на коне, с пистолетом на боку...

Но пошли мы по третьей не в ту сторону; так что когда я развернулся в ту, то на поезд уже опоздал, на последний до Тамиана.

На станции Калтрейна толпень, огромная очередь, посли игры Гигантов супротив каких-то там Уклонистов, скромно стоит, ждёт когда пускать будут на перрон. Я побегал туда-сюда между дополнительными поездами, сел в скорый. Народ там гудит, но все весёлые и неагрессивные. Болельщиков в голубых куртках не обижают - да и вообще мирное у нас население.

И так, с прибаутками, за два часа доехали до Сан Хосе. Я успел Костину задачу запрограммировать на 7 нитках производителей, 8 потребителей (ну там это параметры, конечно); посмотрел, как бегает наивная синхронизация - ну ничо, ну бегает.

Потом жж почитал на андроиде. Посмотрел, какие у меня варианты добраться до дому от станции Сан Хосе Диридон - в смысле, до моей машины. Ну чё, пешком 15 минут, да 10 минут на трамвае. Ну только трамвая полчаса ждать.

А на станции такси стоят - хм, тоже новый жизненный опыт. За десятку и довезли.

И вот всего лишь 12, а я уже дома.

Вообще, я бы попробовал и в Сан Франциско заночевать (в какой-нибудь разрекламированный одним из присутствующих здесь жжистов стрипклуб сходил бы... заснул бы тут же) - но блин, среда, надо ж мусорные бачки выкатывать. Быт засосал, э. Надо домой.

Такие дела.

(no subject)

награды родины:
"медаль "Защитнику свободной России";
медаль "За отличие в охране общественного порядка";"

И потом их выпускать на манеж, как гладиаторов, друг против друга.

"Заслуженный конструктор Российской Федерации"; - наше Лего

"Заслуженный метеоролог Российской Федерации"; - Вы шутите, товарищ Медведев!

"Заслуженный работник пищевой индустрии Российской Федерации"; - хм, это тоже госслужба, что ли?

"Заслуженный работник рыбного хозяйства Российской Федерации"; - всё, потерял нить; рыбная ловля по-прежнему является государственной?

"Заслуженный спасатель Российской Федерации"; - кто бы это мог быть?

"Заслуженный химик Российской Федерации"; - хмм... а физик?

"16. Ходатайство о награждении государственной наградой возбуждается по месту основной (постоянной) работы лица, представленного к государственной награде:

а) коллективами организаций;" - как это вообще понимать? Могут, скажем, сотрудники московского отделения Кока Колы подать заявку на присуждение кому-нибудь из их сотрудников почётного звания "заслуженный деятель пищевой промышленности Российской Федерации" (или, скорее, "заслуженный химик Российской Федерации"? Или нужно опять задавать вечный российский вопрос "какое милые сегодня тысячелетье на дворе"?

Под кутом ещё вкратце описано устройство вертикали.
( Read more... )

А, вот ещё:
"49. Передача государственных наград на постоянное хранение и для экспонирования в государственные или муниципальные музеи осуществляется, как правило, на основании договора дарения.

Переданные музеям на постоянное хранение и для экспонирования государственные награды не возвращаются.

Государственные награды не могут передаваться на постоянное хранение и для экспонирования негосударственным или немуниципальным музеям, а также государственным или муниципальным музеям, в которых не созданы необходимые условия для хранения государственных наград."

Мило, верно? Начальник дал, Начальник взял. Нам, тупым америкосам, ни хера не понять, как это президент Медведев решает определять отношения между муниципальным музеем и владельцем экспоната.

"Для особых случаев и возможного повседневного ношения предусматривается ношение миниатюрной копии знака ордена Жукова, которая располагается после миниатюрной копии знака ордена Ушакова."

"Положение о медали Пушкина

1. Медалью Пушкина награждаются граждане за заслуги в области культуры и искусства, просвещения, гуманитарных наук и литературы, за большой вклад в изучение и сохранение культурного наследия, в сближение и взаимообогащение культур наций и народностей, за создание высокохудожественных образов.

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

2. Медаль Пушкина носится на левой стороне груди и при наличии других медалей Российской Федерации располагается после медали Нестерова.

3. При ношении на форменной одежде ленты медали Пушкина на планке она располагается после ленты медали Нестерова."

Медалью "За труды по сельскому хозяйству" награждаются граждане за заслуги в области сельского хозяйства...

Почетное звание "Заслуженный конструктор Российской Федерации" присваивается высокопрофессиональным работникам конструкторских, технологических, научно-исследовательских, производственных и научно-производственных организаций за личные заслуги...

Почетное звание "Заслуженный работник жилищно-коммунального хозяйства Российской Федерации" присваивается высокопрофессиональным работникам организаций жилищно-коммунального хозяйства за личные заслуги:

в своевременном оказании качественных и современных жилищно-эксплуатационных услуг населению...

Почетное звание "Заслуженный работник прокуратуры Российской Федерации" присваивается высокопрофессиональным работникам прокуратуры Российской Федерации за личные заслуги:

в обеспечении укрепления законности и правопорядка в Российской Федерации;

в защите прав и свобод человека и гражданина;

в борьбе с преступностью и коррупцией;

(ну тут слова кончаются)

Голова и Три Собаки

рассказ, 2-я часть

карьера Сьюзан Бойл

Сегодня по бибиси рассказывают, как папа римский к бабушке лизе в гости приехал. Народу собралось раза в три меньше планируемого. Но речь не о том, а что на встрече пела шотландская певица Сьюзан Бойл.

Вот хотя бы за что мы должны любить ютьюб.