Телеграм канал Профбюро ФТФ :3Share!

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

Центр кар’єри та працевлаштування студентів та випускників НаУКМА Місце, де піклуються про твою кар'єру сайт: https://jcc.ukma.edu.ua e-mail: [email protected]

Освітні заходи для тих, хто хоче і любить розвиватися. Скарги чи побажання: @uaeditsbot Співпраця та реклама: @Hapecypcbot