дыбр

Понедельник, митинги сплошные. В 10 - "общее собрание", поздравляли ветеранов - кто год оттрубил. Таких до хрена.

Потом что, на мой пулреквест Лия пишет, что моноид мой неассоциативен. Ой бля, а мы вообще нигде ассоциативность не проверяли, что ли? Навалял тест; прогнал на других типах, на самых неожиданных. Работает. Погнал на моих геолокациях. Вот сейчас почти 9 вечера, все еще вожусь. Помогло почистить логику, конечно. Надо еще проверять идемпотентность и коммутативность ващета.

В 11 следующий митинг, плановой. Лии не было, так что мои вопросы задать было некому. Были проблемы у Кевина с интелиджеем; мои советы не помогли, но всплыла на слаке Шин, она классная, у нее, похоже, есть ответы на все вопросы.

Обед был прекрасный сегодня. Много всякой еды. Потому что день Колумба, многие не пришли, или что?

В 3 опять митинг; я впаривал моноиды. Марко там сидел потешался, он в категориях вполне так. Ну не знаю, похоже, впарил населению. И код показал в нашем ОП, как оно там. Как я ассоциативность проверяю.

В 4 там же митинг; Виталий встречается с народом. Ну там народ в-основном про машинный лернинг разговаривает, я в этом не разбираюсь. Сидел типа работал да чатился.

В 5 с копейками ужин, ну и пошли с Джейд на поезд. Разговаривали про отличие монад от моноидов. Нет, не моноид в категории эндофункторов.

Ну и дальше я там всю дорогу моноид мой курочил, да тесты гонял. Вот и сейчас (надо мною оно кружится).