дыбр

Сначала был общий митинг; поздравили Матвея, что он тут уже два года как; поздравили двух новеньких (Геру, и еще одну.. Рамья, что ли); ну и все.
Потом был митинг нашего тима; договорились, что та хрень, которой я тут занимался, вообще-то таки никому не нужна, так я заверну сейчас эти мои прототипы да займусь делом.
Потом был обед, мерзкий.
Но за обедом мы с Марко рассуждали о сопряженных функторах, о монадах, о категориях Клейсли и Эйленберга-Мура, об основаниях теории категорий, о ZFC и NBG. Короче, нормальненько. Я Марко потом послал линк на текст Шульмана, а он мне линк на текст Лейстнера.

И встреча с Томом; поблагодарил его за избавление от Е.Х.; обсудили, что тут у нас вообще; повпаривал MapD, понахваливали BEAM; потом я ему еще мое демо показал. Ну типа. Том хоть и не вполне адекватен, но настраиваем. И не выглядит вредным пока что.

А так - сидел и трахался со всякой фигней. Генератор проектов еще попочинял. Там еще фигачить и фигачить. Потихонечку, в промежутках.

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