Начну со вчера. Поставил Mujeres al borde. Понял, что я их лет десять не смотрел. Сначала диковато смотрелось, эта ядовитая палитра, как в "Hairspray", все эти веселенькие шестидесятые. Ну семидесятые. Причесочки там как раз привязаны к эпохам. И "я у мамы дурочка", и под Валю Терешкову, всякое такое.
Но потом как втянулся. Ржал как матрос. Это мне подруга сказала. Теперь я матрос, мне вода положена.
Снились всякие смешные штуки; встал как обычно, хотя и не надо. Отжался 50, позавтракал да попилил, потому что в 10 митинг. Ну запарковал машину в университете, пошел на 9:32, еще до поезда 15 минут. Прихожу на станцию - поезд идет. Ну все бегут, я тоже. Заскочил, не понял, шо це за поезд. Посмотрел расписание на телефоне; 9:32 - это поезд от Пало Альто до Санта Клары, а не от Санта Клары до Пало Альто. (Это что за остановка, Бологое иль Поповка.) А этот шо за поезд. А нету такого в расписании. Оказывается, там кто-то опять на рельсах был, trespassing, как они выражаются. Так что все поезда не по расписанию.
На митинг я успел, но Маюх сдвинул митинг на 10:15, так что и не опоздал. В Пало Альто на уровне земли еще ничего, а на втором этаже уже дымина, как будто дымоход забит.
Обратно нормально, ну т.к. рабочий компьютер на работе оставил, то в поезде итальяно делал. Там интересно, указания дают через инфинитив. "Продолжать движение". (Continuare movere?)
В учительской написал дыбру, еле успел в класс. Там все такие активные. Спрашиваю, насколько откатить от вчерашней точки? - Ни на сколько, слайд 47, поехали! Не, я откатил, конечно, прошвырнулся повторно. Ну и там пропозициональную логику бодро закончили, 40 минут урока всего; давайте первого порядка, с предикатами и кванторами.
Еле остановился, без двадцати девять. Там у меня контрпример был, с квантором по предикатам, а почему, спрашивают? Долго рассуждали, логика второго порядка, теорема Гудстейна, всякое такое. Теория множеств.
Народ вообще активный стал такой, вопросики всякие. И довольны, глаза горят. Не то что прошлый год, когда им было все пофиг. Курс-то один и тот же практически. Я чуток освежаю каждый раз.
Потом подходили еще, творческие вопросы задавали. Особенно про доказательства с поддоказательствами. Там читинг, конечно. Но формально эту нудятину вряд ли есть смысл. Если б мы энджин какой воротили.
Ли Бо сказал, что ему надо будет во второй половине ноября отлучиться, показал мне силлабус (я силлабус сегодня подвигал, потому что мы чота быстро в этот раз все проходим) - говорит, а можно меня не будет на теории множеств и теории моделей? Я, говорит, в Антарктиду лечу. Вау. Договорились, что я квиз давать не буду, а домашку только; домашку он и в Аргентине может сделать. Вау.
Почти в девять снялся.
Домой приехал, посуду помыл, чай поставил, тут и подруга приехала. Ругалась, говорит, на студентов, теперь прижав ушки сидят.
В душе мылся, на заборе какая-то странная тень; открыл окно - а! знакомый опоссум! Ну у нас же водопой, наш пруд. Весь зверинец приходит. А соседи пишут - аккуратнее, сегодня ночью активны койоты. Откуда им это известно, не знаю.
А так ужасы. Соному эвакуировали. Небось, первый раз за всю историю. И Калистогу. Ну в Калистоге мы никого не знаем, правда.
И уже начинается вешание собак на PG&E. Деревьев, действительно, миллионы ослабло, а то и засохло после засухи. Плюс, до хрена новых веток дотянулось до проводов. Ну и вот. И уже пиджиэнишные отмазки, что провода ветром сдуло, им уже никто не верит. Многочисленные короткие замыкания при вполне обычном ветре. Нельзя ли эту PG&E как Ампелонского? Ведь примерно то же самое. Накручивают цены, выдумывают отмазки. И лобби в Сакраменто.
Как тут задавали вопрос - "что делает Калифорния для своих жителей?". Правильный ответ - НИЧЕГО. Ей же все должны. И электрикам должны - мало экономим, и водопроводчикам должны - мало экономим, и тюремщикам должны - зарплаты маленькие, и школьным бюрократам должны (потому что у учителей зарплата маленькая, 70 - а у бюрократов 170, и все деньги на них и уходят).
Социализм!
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
