161−3
Канал про філософію математики. Як формальна мова використовується гомотопічна теорія типів, як імплементація — кубіки. Багато прози.
Benzer kanallar
102085−2911
ДУМАЙТЕ. По всем вопросам: @jimmyborz666 @psypurple Ссылка для друзей: https://t.me/+cDLG3APqmIE1MmQy
42367+2083
Канал хакерів з науково популярним, пізнавальним і технічним контентом з акцентом на кібербезпеку, а іноді і без. Гротеск, з описом, поганим гумором, помилками і купою оціночних суджень, для соціопатів #rtfm Звʼязок: https://t.me/HackYourMom_Support_bot
105944+1397
ХТЗ Индустриальный район 😉 Новости Харькова и ХТЗ 📣Прислать новость, фото,видео, реклама : http://t.me/tipichnoextz_bot Потеряшки https://t.me/xtznakhodkapoteria_kh Ссылка на вступление 👉 https://t.me/tipichnoe_xtz
56695+1664
#коррупция #взятка #Филатов #кошляк #днепр #мэрия #откат Все реалии современного Днепра. Будни чиновников мэрии. Как украсть миллиард на лампочках. Все это читайте у нас.
56762−273
Каждый день рассказываем о космических технологиях, астрофизике и научных программах. Больше интересного на сайте: https://prokosmos.ru/ РКН: https://clck.ru/3PFgZX
962174−1898
Моніторинг та оповіщення про військові загрози на території України. Стосовно реклами на каналі пишіть сюди: @cooperation_channel_bot. Зворотній зв'язок — @MapofAirAlarmsbot Ми не є офіційним інформаційним джерелом.
334923+24855
Лівий берег Київ – це не недолік, а привілей. 💰Купити рекламу: @manager_levogo 📸Прислати новину: @levii_bereg_kyivbot
99894+3491
Вояджер-1 — зонд, исследующий Солнечную систему с 05.09.1977 Автор/владелец(реклама со скидкой): @egor_voyager Манаги: @Fuzz_tea, @dovul_l, @sketchevsky, @sav3li, @Spiral_Miya
66495−1144
Онлайн-медіа «Informer». Обʼєктивна та достовірна інформація. Запропонувати новину: @Informermediabot