Вопрос, а кому вообще всё это надо? MLTT, HoTT, индуктивные типы, процесс-алгебры, pi-калкулусы, кодирование топосов, hopf fibrations и прочая попса, которая сделает вас overengineering и в результате полностью unemployable? :-)

Я не знаю. Понятно, что в айтишке - по определению - лучше быть умненьким, чем глупеньким, и тем не менее вы можете строить прекрасную карьеру и зарабатывать хорошие деньги (или уже нет?), всю жизнь занимаясь например джоном рестом, crud-ом-шмудом, saas-ом-фигасом, микросервисами-фигервисами, парсингом-шмарсингом, сайтами-фигайтами, и прочей примитивной (хотя и доходной до поры до времени) линейной туфтой с нулевыми перспективами и задачками уровня первокурсников (впрочем, в универах хотя бы АСД изучают...).

Тема чистого проектирования сегодня немножечко понимаема фактически только в геймдеве. Тамошний уровень сложности логики, да и system design, на 1-2 порядка круче любого бизнес-проэкта, и пацанов надо брать на работу с опытом прежде всего из разработки игр. Представляете - симулировать сложнейшие миры с тысячами особенностей в реалтайме, с тучами юзеров в онлайне...

Я где-то в середине 2000-х делаль ММО про пиратские войны на Java, по-моему Java 2 :) Тогда очередной хайп шёл про перспективы java-апплетов для браузеров, ну и J2ME наверное на миллиарде устройств уже была, телефоны точно все её держали. Клиент просил игру на 150 krps! :) Я хз откуда он такую оценку взял, и сделал тайно для начала на 1000 rps :) ибо понимал, что до такого хайлоада либо шах либо ишак сдохнет (сдох в итоге шах - финансы закончились :) - но закладывался на масштабирование конечно...

Всегда любил gamedev, у меня валяются на флешках где-то сотни начатых - и заброшенных - проектов, но могу сказать 💯 что в 💯 случаев, когда я после игрового кодинга переключался на рабочие задачки, то всегда поражался их примитивизму.

Собственно из-за геймдева я и зашёл в computer science, потому что меня всегда дико бесило (буквально до этого месяца 🤓), что проекты достаточно быстро запутываются, а классические рекомендации программной инженерии помогают слабо и не выдирают корень проблемы. Но я всё же продолжал бороться со злом, а не примыкать к нему, как все остальные, и вот, спустя где-то ~20 лет, наконец победил! 🏆

Это кстати вполне нормальный срок для достижения истинного мастерства 💥 буквально на днях слушал историю русского автогонщика из assetto corsa competizione, который рассказывал, что наконец научился профессионально проходить повороты, а учился он этому 25 лет 😁

Начинал он, я так понял, с Grand Prix из 90-х и Indi500, где появились первые действительно реалистичные физические модели. Ну а потом netKar и rFactor.