дыбр

 Утром проснулся-то рано, да мы как-то подзатянули, зарядка там всякая - и выехали уже в девятом часу.

Приезжаем на работу - а там хоп, завтраки отменили. Окей... буду позже ездить. 

Проверил у студентов домашку, написал новую им. Пускай.

Вдруг дошло до меня, что в теории множеств ZFC нет, вообще говоря, способа выразить такую вещь как y = f(x). Есть только {f(x)} - но способа вынуть контент из {} не существует; про этот контент можно только утверждения писать, типа ∀y∈{f(x)}...

Не знаю, понятно ли изложил. Но, короче, теория множеств вдруг бац - и это. Конечно, когда вы пишете функцию синус, вы знаете, что за f(x) - но в целом в ZFC функции задаются как их графики, а не как "способ вычислить". Вот так вот мы где-то, философски, касаемся невычислимых функций, да? Но речь не о них.

Ладно. Надо было еще зафигачить в гитхаб ихний апдейт книжки и главы, но вот не дошли руки.

Дома меня подобрали у станции. Так-то мы собирались приехать и пойти гулять на закате, но что-то лень стало. И интернета нету. 

Выключать и включать модем, как это советует суппорт, я умею. Не помогает. Стал на сайт комкаста лазить (ну у меня же телефон еще есть); там сайт половина чота не работает. Стал им звонить. Робот такой говорит - выключите, включите, и мы через 10 минут вам позвоним. Поужинал, не позвонили. Звоню снова. Робот, конечно, ничего про меня не помнит, и говорит, выключите-включите. Я говорю - не хочу. А, так вы уже выключали-включали. У вас модем не подключен. Подключите. И какой у вас адрес. Да бля. Удалось от роботихи наконец добиться, чтобы "агента" подключила. Агент такой - выключите и включите. Шесть раз, говорю, это делал. Ну и так далее. Но он упорный, ну бля, ну вот, еще раз пойду выключу и включу. Сделал. Он там чота потыкал, говорит - да у вас модем не работает. Дык, говорю. Короче, с агентом, веселым филиппинским парнем, расстались друзьями, а я поехал, в семь вечера, темень, в офис комкаста.

Комкаст теперь назывется Xfinity, офис у них как у Эпла, и куча всяких полезных штучек рекламируется, надо будет жену привезти, может, чего и купим. На входе суровый негр спросил типа "чо надо", сказал ему, вот модем, и он не работает. Взял модем, посканил код, спросил мое имя, дал бумажку, велел сидеть и ждать. Потом одна мучача вызвала меня и выдала новый модем. Все!

Приехал домой, включил новый модем, а он сука даже знает, как мои вайфаи раньше назывались, и какие у них пароли! Короче, вжик-вжик, и все заработало. Вот уважаю, да.

И уже после этого пошел, усталый и довольный, в душ.

И обсуждать меры по выживанию в грядущей чуме. Все стремно. Жора правильно написал, а Миша как-то мутит. Ну Миша профессионал, ему нельзя панику гнать населению.

Не, нам-то чо в субарбии, мы внеплановые близкие контакты можем вообще прекратить, а в магазин в перчатках (да и на работу тоже). Вот городским херово придется.