ВШЭ подняла цену на обучение, внимание, прикладной математике! (этому реально трудно учиться, по себе знаю 💪🏻) с 467 до 767 тысяч рублей за год учёбы.
Но главное конечно, что спрос на эти темки ощутимо растёт, и это прекрасно ❤️

Даже, думаю, стратегически, на 51% сместить акцент на математику, конкретно в контексте программирования конечно, но всё же по достаточно серьёзным темам 🤓

Вчерашний отзыв от ментата, приближающегося к уровню Гипотетик (подготовительное перед гайдом по гомотопической теории 🚀):

Я прочитал книгу "Типы в языках программирования" (Пирс).
Особенно интересными для меня были следующие моменты:

1) Константы Чёрча в лямбда-исчислении.
Всегда воспринимал константы как "атомы", а оказалось, что их можно составить из более низкоуровневых конструкций.

2) Соотношение Карри-Говарда между логикой и типами.
Вот, оказывается, как теория типов связана с доказательством теорем.

3) Помимо типов в какой-то момент появляются виды, которые относятся к типам примерно как типы - к значениям.
При этом типы с видами не смешиваются.
Совсем недавно из других книг по математике я узнал, что явное разделение таких вещей используется, чтобы избежать парадоксов в теории множеств.
Математика для меня не будет прежней :)

p.s. Хотите, индивидуально буду обучать по курсам вшэ, мехмата, физтеха, спбгу? mit, cmu, оксфорд гарвард :)

❤️❤️❤️