
Встречайте подкаст «Наглый Студент» с Николаем Кудасовым
🎙 Гость выпуска: Николай Кудасов — профессор, старший преподаватель Университета Иннополис, сооснователь и CTO компании getads () (ранее GetShop.TV), эксперт в теории языков программирования и создатель решателя теорем Rzk для синтетических категорий.
💬 О чём будем говорить?
«Куда стремится?»
— От преподавания в Иннополисе до строительства мультипродуктовой IT-компании: как Николай совмещает науку и бизнес.
«Почему Казань?»
— Жизнь в IT-столице России: чем привлекает Университет Иннополис и местная технологическая экосистема.
«Сайт через Canva?»
— Ироничный разбор «гиковских» решений: почему первый сайт GetShop.TV был сделан на конструкторе, а не на Haskell.
«Потенциал Haskell»
— Почему этот язык — не только для академиков, но и для отказоустойчивых систем в продакшене.