дыбр

На работу привалил чуть не в 12, ну так надо было. Собирался вообще не ходить, работать из дому.

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

Сара пишет, о, у нас тут kryo какую-то херню несет, заворачивает NPE в свой рантайм, и следы уже теряются под слоями оберток. Я пишу - так давайте эту фигню ловить, разворачивать, и объяснять юзеру. Но мне тут возражают, мол, не наше дело. Ну не мое так точно.

Послал последний пулреквест из моего пула. Перформанс не смотрел, лень. Изучал спарковые стримы. Ну там те еще стримы, но нам годится. Ян пишет, что он там у себя "обобщил моноиды" (на немоноиды); пытаюсь впарить, что э.

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

Короче, почти бездельничал, да чесал языком с народом.

В пять начали какую-то трансляцию из Колонного Зала, всем обязательно слушать, как в Улитке на Склоне. Я подключил наушники, стоящие на столе, чуток послушал, там говорят, что финансовый успех есть инновация плюс модернизация народного хозяйства. Или химизация. Окей, окей. Поставил наушники обратно на стол. Слава КПСС!