I'm in Dallas, TX

In DFW, the airport.
While on the plane, managed to build the correct empty type (and false);
https://docs.google.com/presentation/d/1HVrs-uhe2N9jQopA5eE41PIFMOzGry69b2CrUArOnsg/edit?usp=sharing

Thank you migmit; it was not exactly the way you said, but pretty close.

So there.

Will give a talk about it next week.

вот

"Внезапное превращение россиян в агрессивных и кровожадных скотов — пожалуй, самое большое мое потрясение" http://www.inliberty.ru/blog/1689-sentyabr-chetyrnadcashytogo

дыбр

Самолет мой по царскому расписанию - в 10 утра, да еще из SJC, так что мы не спеша позавтракали и поехали.

Я сидел у прохода (Америку сверху я уже видел), рядом сидели два веселых негра, угостили меня жувачкой, но в целом разговаривали между собой, а я изучал вопрос с копределами в топосе. Ну хотя бы ноль. И, блин, построил наконец. Ну там можно подоказывать, но можно и не доказывать, потому что в общем виде базируется на двух теоремах. Да ну, детский сад, на самом деле. Надо поменьше программировать, побольше голову в порядке содержать.

В Далласе чуть не бегом ломился на мой самолет; буфетов там очень мало, ремонт кругом; схватил рыбу в "луизианском буфете"; ну рыба ну. Из Норвегии, небось, или из Кореи. Неважно. Телефон подзарядил чуток. А самолет стали заменять, поменяли и гейт, короче, вылетели на час позже. Я боялся, что ребенок будет орать, который на посадке орал, но ничо, в самолете он замолк - зато сзади, блин, бубнили два гика - gigabytes, client, cloud, api, api, json... заебало! Честно, я так не люблю этих софтверных инженеров, ужас. Очень не люблю. Каждый, блин, уверен, что понимает все; при этом никто не понимает ни хера, но этого тоже никто не понимает.

В аэропорту ждал шатла; пришел водитель и к каждому обратился по имени; я его спросил, как это он умудрился правильно назначить имена? Опыт, говорит.

Поселился в Drury Inn Union Station. Я вам вот что скажу: Друри - лучше всех. Хилтон понятно, мы знаем, какие драные бляди в этой семье, таковы и их отели. Про Друрь я ничего не знаю, но все аккуратненько, прилично и по делу. И джакузи внизу, и куча снаков на продажу, платить на ресепшене, и в номере всякие там шампуни, и недорого.

Но это ладно, а я пошел на парти, стрейнджлуп завтра, а сегодня парти в Городском Музее. Кошелек оставил, взял только документ да двадцатку да ключ от гостиницы. Ну это же Сент Луис, тут еще недавно бунты были. Но на улицах тихо, пустынно. Гугл мне сказал, что 16 минут идти, но это нужно быть разгильдяем. Иду быстро, впереди двое типа пьяных, руками размахивают, орут что-то. Обогнал их, иду, слышу явственно - "моунад..." - ой бля. Оборачиваюсь, спрашиваю: did I hear the word monad? Короче да. Тут же ко мне пристали объяснить, шо це за параша. Пока шли, объяснил по мере сил. Фукин бритсы. Да там вообще масса народу с британским акцентом.

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

Кстати, еды там на парти уже почти не осталось, но пиво и вино было. Но это неважно.

Я что хочу сказать. Если вы живете в пределах ну 200-300 миль от Сент Луиса, а тем более если у вас дети - все бросайте нафиг и едьте в Городской Музей Сент Луиса. Я пожалел, что мне не 6 лет и не 8 лет. Там такие лабиринты!!! Это о-о-о!!! Это невероятно. Полазал. Хочу еще.

Ну ладно, а когда (мой сон растаял) выбрался, пошел на выход - а там шатлы стоят! До моего Друри довезли, вах.

Ну и вот. Завтра мне особо рано туда не надо, Михал начинает в 10:45; до того всякий рестфул юай, мне это надо? Мне приветствие Алекса Миллера надо? Как-то не очень. Селебритей в этом году нету. Доклады интересные есть, но без селебритей. Ну вот Михал Пташек - так мы просто знакомы. Ну все расписание я озвучивать не буду, вот оно.

https://thestrangeloop.com/schedule