to post messages and comments.

Новый студент. Назвал мой свитер кардиганом. Принёс починить зарядку от ноутбука. В одном месте фрагмент провода зарядки длинной примерно 10-15 сантиметров перемотан целым мотком синий изоленты. Мы мрачно охуели и решили, что он её мотал под стимуляторами. Но оказалось, что когда он замотал провод в первый раз, он грелся и плавил изоленту. Чтобы решить эту проблему он просто намотал слой толще.

Алсо недавно обнаружил что у ассоциированных с классом типофамилий могут быть параметры отличные от параметров класса. Жить сразу стало заметно легче.

А кто-нибудь уже написал генератор линз с полиморфным апдейтом на генериках? С мономорфными легко. gist.github.com — вот например вариант, который зажёвывает Proxy t и возвращает линзы в виде гетеросписка. Тут есть несколько решённых и нерешённых проблем (особенно мне нравятся отдельные инстансы для Applicative и для Functor), но в целом речь не об этом. gist.github.com — попытка проделать это же с полиморфными линзами проваливается где-то в районе инстанса для f :*: g. А всё потому что тип полученного произведения типов зависит от того какой «множитель» мы меняем. Где-то на этом месте фантазия моя подиссякла.

В догонку к #2890795. Всё плохое что было в «Вирте», в «Пыльце» присутствует в ещё большем масштабе в ущерб хорошему: темп никакой, концовка слита гораздо эпичнее, всё это всё ещё может быть безумным триприпортом, но уже им не выглядит. Сел читать «Нимформацию» и у меня постмодернизм: не могу понять автор троль или гумманитарий. В ассортименте всенародная лотерея основанная на костях домино с какой-то очень странной теорией вероятностей, ген гомосексуализма и многое другое…

Прочитал за ночь Вирт за авторством Джеффа Нуна. Прекрасно. Это как запись бредового сновидения про злоупотребление записями бредовых сновидений. Также искоропки доступны тусовочко-проблемы, огромное количество несуществующих, но знакомых наркотиков и рецензии где читатели жалуются на то что в бредовом сновидение логика работает очень локально.

gist.github.com — предлагаю небольшую игру. Суть игры в том, что вы будете пытаться доказать мне что реализация легковесных регионов по ссылке неполноценна и надо взять regions, а я буду вносить правки в gist и делать вид что так и было.

Пролетаю через Крымский мост в сторону Октябрьской мимо главного входа в ЦПКИО. Над ним вяло переключаются изображения из гибкого света. На скорости глаз успевает различить примерно следующее: контур мальчика держит контур девочки за талию, одновременно прельнув губами к её груди. Затем картина меняется и в какой-то момент я могу различить того же мальчика и девочку лицом к лицу с до одури бестолково переплетёнными конечностями. Были и иные кадры, но они похоже были чем-то средним между одним и другим. Преодолеваю секундное недоумение и понимаю что это по задумке автора должно быть пара фигуристов делает поддержку.

— У тебя будет ещё один трудовой договор. Общество с ограниченной ответственностью нанимет тебя…
— А общество с ограниченной ответственностью помнит, что я могу к нему устроится только на пол ставки и без трудовой книжки?
— Ммм… Погугли «гендир на пол ставки». Что там пишут?

Сходил в бухгалтерию и получил свои 0,3 инженерской зарплаты за месяц. Я бы этого вообще не делал, но оказывается они успели перечислить мне чью-то чужую зарплату понять это, устроить истерику… Пришлось сходить к ним и посредством своей подписи зафиксировать транзакции о том что я получил не ту зарплату, вернул её и в итоге получил ту. Выяснилось что по странному стечению обстоятельств НИИ платит мне ежемесечно ровно ту сумму, которой хватит чтобы в течении месяца обедать шаурмой у ближайшего шаурмена.

Удивительный сексистский феномен: в Моих документах работают почти исключительно женщины. Немногочисленные мужчины в стенах этого заведения выглядят весьма педиковато. Последнее впрочем чудесным образом не распространяется на сотрудников УФМС, которые сейчас делят помещения с Моими документами.