![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Jun. 3rd, 2018
Проснулся от судороги в ноге, еще семи не было. Шести тоже не было. Судорога так и продолжалась понемногу. Блин. Ну и коленка чуток. Короче, правая нога хуже левой.
Прихромал в Wolf Law, получил баджик мой, поздоровался со всеми там, позавтракал чем бог послал (много чем); с кем я завтракал? С Гершомом, и с ним был еще его коллега Крис, первый раз вижу.
Потом чо, потом Пол Снайвли задвигал киноут про то да про се да про фп, да вот книжку рекомендовал, Гольдблатта. Я ему потом сказал, что Гольдблатт плохая книжка, там на теории множеств все; Пол согласился.
Кстати, я думал, Полу хз сколько лет, а он тут запостил на твиттере, что ему скоро 52, а он все еще программирует. Ну... старость не радость, конечно.
Затем был длинный, пятичасовой, доклад Даны Скотта. На этот раз он не summary задвигал, а подробно, с деталями, так что народ задумывался, да и я тоже частенько терял нить. И, главное, мне непонятно было, а на хера так. В смысле, категории-то все знакомые, но.
Зато наконец усвоил кодировку Скота для чисел. И он объяснил, зачем. Чтобы next и pred одинаково просто записывались. Ну и да, и записываются. Окей.
Но у него же там кодировка для всего. Для множеств. Для звезды Клини. И всего вообще. Я долго усваивал.
Меня, кстати, такое ощущение, все знают. И Тони Моррис рад меня видеть, например. А, французик стильный оказался не Мишелем, а Франсуа. Это он вчера прикалывался. Типа Je suis Michel aussi.
Кстати, насчет Парижа. Я надеялся там с Юрой Докшицером стусоваться, а Юра уже пять лет как в Ригу вернулся, надо же. Все так на пенсию ушли, один я остался как этот.
Да фигня.
В обед я еще сходил в магазин, взял себе снаков (закусонов), потому что стремно ночью просыпаться с низкой кровью.
А, пока Скотт рассказывал, я время от времени открывал свои слайды и апгрейдил. Поговорили еще там с Нихилом Шахом; он хотел бы на мой толк придти, а я на его (про комонады), но увы, у нас одновременно.
А мне что-то неудобно немножко, все такие ученые вещи задвигают, а у меня примитив, философия дешевая. Ну ничего, я их предупредил. Вот Майк Стей придет на мой доклад. Вот тот же наш Нарек Асадорян. Они все про теории Ловира прекрасно знают; ну и чо? Ну так, языками почешем. Совместно уточним истину. Боюсь, что Скот еще придет. На доклад Майка он пришел.
А Майк и не в курсе был, что тут вообще Скот присутствует. Когда мы за ужином сидели, Майк, Виталий Б., еще один мужик, и Майк задвигал тому мужику про апликативные алгебры, и что в теории множеств они не моделируются, я так говорю, а вот в том углу сидит мужик, который в 69-м году открыл, как их моделировать. Ну и там на пальцах обсудили. Майк по идее собирался познакомиться со Скотом, но как-то не вышло; я не чувствовал себя компетентным идти их знакомить. А может, и надо было.
На ужин мы шли пешком от кампуса, я, Франсуа, и Пол, рассуждали про то да про се. А когда пришли, я так думал, с кем сесть? Со Скотом сесть - это скучные разговоры разводить, и воздержаться от уговаривания его на наш семинар зайти; хотел с Тони Моррисом, он прикольный, у него на футболке что-то про жопу написано; но не заметил, где он сидит - так и пошел сел с Майком. Ну славно посидели. Виталий потом подсел, Нарек подсел; все такие грамотные.
Обратно шли пешком с Майком; ему в гостиницу, а мне в общагу.
В душ пошел... ну общага же; со своим стулом, чтобы было, куда вещи положить. Ох. Больше все, первый и последний раз.