196−4
Канал про філософію математики. Як формальна мова використовується гомотопічна теорія типів, як імплементація — кубіки. Багато прози.
Похожие каналы
382570−2183
Все самое удивительное из мира! Факты каждый день 💥 Реклама - @hanzoX @broker_wolf Реклама: @Social_Energy График и прайс: tg.seads.me market-affiliate
109878−1619
На канале мы собираем неудобные для истории факты, несостыковки прошлого и все то, что люди в принципе не должны знать! Админ: @aadrrio | @tgmasha | @davumoka - по рекламе 📝 (есть фейки) Менеджеры: @anactaccia Social_Energy | @Spiral_Zhenya
31026−478
Самое время изучить По вопросам рекламы: @Dashka_Fomina
15234−95
Кто хочет знать английский как англичанин, тот читает тут рассказы на настоящем королевском английском языке. В оригинале Реклама @neznayca или по ссылке telega.in/c/one_story
16788−208
Здесь говорят по-английски: Фразы, идиомы, слова. Уэлкам! По всем вопросам — @posntive Менеджер – @speakengly_manager
22364+1494
Автор — @Libertarian Канал с жизненной рутиной: Инста: https://www.instagram.com/ateokun/ Я своё мнение высказал , вы - своё. У вас свой жизненный опыт, у меня свой. Я уважаю ваше мнение, но при этом не отказываюсь от своего.