Заметки о контейнеризации
Не о всей конечно, о кусочке.
Забавно, но я за карьеру мало взаимодействовал с контейнерами. Максимум — писал код, который в них работал. Контейнеры либо особо не требовались, либо готовились другими людьми.
В конце прошлого года решил обновить инфраструктуру Сказки, заодно посмотреть чего да как с контейнерами. Взял Docker, как самую популярную штуку.
Топология игры
.](https://tiendil.org/static/posts/game-topology/images/game-topology-cover.png)
Оптимальная стратегия за крестики в крестиках и ноликах. Изображение взято из википедии.
Или почему в Сказке игроки не могут создавать города самостоятельно. Хотя могут прокладывать дороги и менять ландшафт.
Заголовок звучит заумно, но суть проста: интересность игры зависит от вариативности геймплея, которая определяется связями между элементами игры.
Русскоязычная GPT-2+ от Сбера vs «Сказка»
Сбер выпусти свой генератор текста, основанный на GPT-2. Я попробовал скормить ему сказочные описания действий героев. Проверял на jupiter note, опубликованной в вебе, так что вы тоже можете с ней поиграть.
Обновлено: говорят, использовали на GPT-3, а GPT-2 с доработками.
Получилось средненько — не на тех текстах всё-таки нейронка обучалась. Вот если бы ей фэнтези скормили… Текст получается осмысленный, но чувствуется явная нехватка контекста.
Самые интересные примеры под катом.
Модная типизация в Python
Разработчики пришивают типы к Python.
Раз в несколько лет я нахожу время, чтобы покопаться в наработках сообщества по «продвинутым» проверкам типов. Благо у меня под рукой есть взрослый, большой и нетривиальный проект, на котором можно безбоязненно ставить эксперименты.
Не могу сказать что я разделяю оптимизм по поводу продвинутой типизации в Python. Наоборот, считаю, что это как попытка пришить змее ноги — забавно, но вряд ли удобно. Но раз куча людей тратит на это время, надо быть в курсе.
В этот раз я:
- Посмотрел что из себя представляет mypy и чем может быть полезно (мало чем).
- Посмотрел чем можно автоматически сгенерировать аннотации типов (ничего рабочего нет).
- Подумал о том, как правильно использовать проверку типов в Python, раз их так форсят.
- Нашёл библиотеку, реализующую идеологически верный подход.
Рассказывать буду тезисно, без глубоких обоснований, так как делать нормального качества обоснования для таких холиварных вопросов слишком долго, а я уже дней 5 на копание в этом потратил.
Большая часть поста не про mypy, а про философию проверки типов и будущее Python. Поэтому должно быть интересно, даже если сам mypy вас не интересует.
Травмирование формализмом
Эта мысль у меня начала зудеть как-только я выпустил Сказку и начал работать с сообществом её игроков. Но сформулировать её никак не получалось, хотя само явление встречается повсеместно и периодически меня натурально выбешивает.
Вы встречали людей, которые, явно сжульничав и сделав гадость, искренне не понимают в чём проблема, повторяя «я всё сделал по правилам» или «правилами это не запрещено»?
Людей, которые любую работу делают максимально формально, не вникая ни в какие нюансы?
Людей, которые принимают решения строго по «букве закона», даже если «дух закона» этому полностью противоречит?
Так вот, всему этому я придумал диагноз: «травмирование формализмом».
Суть вот в чём…