Отзыв от СНС по "Гомотопической теории типов для программистов":

Вводная часть далась мне довольно легко, благодаря хорошей математической базе.
Совершенно новой в этом разделе оказалась только тема топологии. Она же была для меня самой интересной. Это же надо было додуматься определить топологию (непрерывность, связность и близость) через открытые подмножества! А ведь это позволяет использовать в дискретных системах (например - графах) эти математические понятия, которые кажутся характерными именно для плотных множеств.

Пи-типы и Сигма-типы объяснены очень хорошо. Теперь я, наконец, понимаю что написано в соответствующих разделах фундаментальной книги по HoTT от Univalent Foundations. Забавно, что я когда-то почти "открыл" Пи-типы, размышляя о шаблонах в C++ с точки зрения ФП.

Часть со змейкой далась тяжело.
Для того, чтобы применить N-тор для игрового поля, мне пришлось изменить его метод canonical_form, сделав поведение похожим на соответствующий метод для окружности.
Я так и не смог в полной мере использовать Path для поиска пути в демо-режиме: то решение, которое я увидел, потребовало бы слишком сильного вмешательства в существующий код. В моём решении путь пересчитывается после каждого шага, и от этого поведение змейки кажется более "живым", она даже может столкнуться со своим хвостом.

Да, потому что прикладной кодинг -- это уже темка software design, хотт просто даёт нам самые мощные на сегодня абстракции; дальше берусь за проектирование в контексте хотт/ctt.

Горжусь! 💪🏻

99,999999% программистов никогда в жизни не получат доступ к таким знаниям )

В целом, поразительно, что 98% разработчиков буквально забивают на свою карьеру, на своё развитие -- на самого СЕБЯ! застывая в липкой паутине бесконечной череды унылых рутинных рабочих задачек для дяди-паука. А профессий в ИТ, которые ещё будут пользоваться спросом, всё меньше и меньше, а специфических знаний для них требуется всё больше. Например, спрос на джуна-бэкендера вообще умер (а вот на крепкого миддла с жпт и хорошим системным мышлением наоборот мощно растёт).

p.s. Работая на одного дядю, не забывайте, что ваша работа в одном электронном письме от того, чтобы исчезнуть с завтрашнего дня.

p.p.s. Цук на днях предложил миллиард долларов ai-разработчику, а тот не согласился :)

p.p.p.s. Айтишка сегодня — это игра с нулевой суммой. Если вы теряете работу, это означает, что кто-то (или что-то) делает это лучше вас, быстрее вас или дешевле вас.

Всё, что имеет значение лично для тебя — это как быстро ты адаптируешься к качественно новой волне знаний и скиллов в итэ, чтобы просто оставаться конкурентоспособным — или же так и будешь зрителем, и за считанные годы получишь в ИТ полный бан.