... Гайд "Гомотопическая теория типов для программистов (2)": этим летом 💯 будет готов.
Фактически закончил, вычитываю (я вообще во всех своих материалах всегда очень тщательно выслеживаю всё что можно вплоть до идеальной пунктуации, всё форматирование делаю вручную, никаких html-редакторов) и выкладываю на библиотечный сервер. Получилось 57 топиков (в первом - 60).

По итогам двух гайдов: вся базовая теория HoTT смоделирована на питоне и покрыта тестами, приложены все исходники и тесты (никаких дополнительных библиотек кроме стандартных). Далее начинаю кубическую теорию .
По увлекательности и глубине с этим всем никакие шахматы или паззлы вроде baba is you и близко не сравнятся.
Ну или если угодно, это своеобразный gom-jabbar: он убивает только животных.

=

Трек "Чистое Проектирование/Software Design in Large", материал "Ясная архитектура"

null

=

На неделе немного отвлёкся на другой лабораторный проэкт self-hack: тайм-менеджер + мотиватор + idle-игра. У меня были маленькие самодельные программки под эти цели, которыми пользуюсь уже не один десяток лет, и зарекомендовали себя прекрасно, настало время зафиналить это всё, объединить лучшие подходы в одно. И беру также из игр наиболее аддиктивные фишечки, мотивирующие делать побольше помидорок в кайф.
Пока альфа-версия, 10% от беты; этим летом бета 💯 будет готова.
(код hand make 100%, ни капли ai)

idle — своеобразный тамагочи-хакер, сотни уровней.
Поиск и идентификация слабых сигналов в радиусе действия. Обнаружение открытых Wi-Fi точек, радионянь, дешевых смарт-замков, сигналов личных комов. Анализ базовых параметров (сила сигнала, тип шифрования, активность). Самодельный SDR модуль из хлама, антенна из пивной банки. Поиск халявного трафика в переполненных жилых блоках...
Босс: старый, параноидальный хакер-одиночка, десятилетиями контролирующий все значимые нелегальные частоты и пиратские ретрансляторы на районе. Его крепость - лабиринт из самодельных антенн и глушилок на крыше заброшенной промзоны. Его система - аналоговый кошмар, устойчивый к цифровым атакам...

(в далёких планах: pvp, блэкджеки и всё подобное.)

self-hack будет доступен БЕС-ПЛАТ-НО (но сперва для моих ментатов).