Телеграм канал Мате-матиShare!

Канал о философии математики. В качестве формального языка используется гомотопическая теория типов, в качестве имплементации — кубики. Много прозы.

Офіційний інфо-канал Навчально-наукового інституту харчових технологій (НУХТ) з розважальними та навчальними публікаціями. Слідкуй за останніми новинами та розповідай про них друзям! З ННІХТ в серці ❤️💛💙

Телеграм-канал команди ОСС ВСП "ХКТФК НТУ "ХПІ" 2022 р. під керівництвом @dimaportyanko Профком: @profkomkhpi