193−3
Канал про філософію математики. Як формальна мова використовується гомотопічна теорія типів, як імплементація — кубіки. Багато прози.
Похожие каналы
136461+2766
Бизнес мысли богатых и успешных По всем вопросам: @JanFranko_Misli
18339+195
🔥Ежедневно сливаем топовые образовательные курсы и гайды блогеров🔥 💎Сайт-супермаркет курсов: secretsupermarket.cc 🤝Связь с админом: @Vaflya_v_shokolade 💸По вопросам рекламы: @Vaflya_v_shokolade
16511+209
Готовлю к ЕГЭ 12 лет! Подробнее обо мне: https://t.me/topkirill/7368 Запись на курс ГВАРДИЯ➕: https://vk.cc/czA576 ✦ 3 веба в неделю ✦ Домашки, пробники, куратор ✦ Изучение ВСЕХ тем экзамена ✦ Полезные материалы Бесплатные вебы: @topkirill_vebinar_bot
88609−19294
Наш Tg: @universe_of_space Наш VK: https://vk.com/universe_of_space Продажа рекламы без скама: @universe_of_space_selling
17643−146
Прощай, поносная соссия, Страна рабов, говна, господ, И вы, мундиры мусорские, И ты, безмозглейший народ. Слава Украине! Путин — хуйло!
15407−258
Успех - это сложная формула. Авторский подкаст о секретных принципах и правилах, которые используют великие люди. Здесь ты узнаешь, как создать идеальную формулу успеха. Админ: @royal_offer
61992−68
Эксперты и профессионалы в своём деле. 👉 По рекламе - @jaMasha 🥇 Продвигаем бренды, политические компании и предпринимателей под ключ. https://blog-activ.ru/
15790+186