Groups
Формальные методы верификации ПО на практике
groupОбсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО. Теги: #работа #phd.
Математический чат
groupУютное логово математиков Правила в закрепе VK: vk.com/typ_math Наш канал: @typ_math Оскорбления и реклама - бан.
МАТЕМАТИКА
groupГруппа для обсуждения вопросов, связанных с вычислениями. Можете добавлять знания на сайт: matematika.org Основное направление -…
Онтологии
groupГруппа для специалистов и экспертов в области онтологий, графов знаний, тезаурусов и тех, кто работает в…
pro.algorithms
groupГруппа по обсуждению алгоритмов, разных архитектурных решений, паттернов проектирования и прикладной математики. Не допускается флуд не…
Типы в языках программирования, моделирования, представления знаний и жизни
groupОбсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже…
Physics.Math.Code
groupVK: vk.com/physics_math Библиотека: @physics_lib Заметки репетитора: @mentor_it Канал по безопасности: @hack_theory Советские учебные фильмы: @maths_lib Помощь…
pro.math
groupУчастник @proDOT. Invite: https://t.me/joinchat/AAAAAD_875HMqziocKWd3Q
pro.latex
groupСистема компьютерной вёрстки LaTeX. Правила чата: нет оффтопу, спаму, оскорблениям. Будьте вежливы к коллегам. Приятного общения!…
μεταγεωμετρία 📐
groupμεταγεωμετρία (метагеометрия) - чат для обсуждения всяких клёвых геометрических штук типо 4D, гиперболической геометрии, порталов итд.…
Starter Math
groupДля тех, кто боится спросить в @higher_math Вычмат: @comput_math Физика: @physpub
Резервный чат ТМ
groupYou can view and join @typmath_chat right away.
comput.math
groupПрикладная математика и численные методы. Без оффтопа, рекламы, флуда. Вышмат: @higher_math Физика: @physpub Новичкам: @starter_math @JuliaLanguage…
Physics Pub
groupФизика Книги: @physpublib Вышмат: @higher_math Вычмат: @comput_math Латех: @pro_latex Описание стикеров: http://telegra.ph/Perevod-paka-stikerov-Keyne-Physic-07-01
higher.math
groupHigher mathematics / высшая математика Подборка книжек: https://ru.stackoverflow.com/a/683632/1084 Вычмат: @comput_math Физика: @physpub LaTeX: @pro_latex
Σ Мехмат МГУ
groupЧатик для тех, кто так или иначе связан с механико-математическим факультетом МГУ. Новости мехмата: @mechmath_news Студсовет…
RcL-chat
groupRadix cross Linux: @rxlinux Обратная связь. Коментарии.
webOS чат
groupYou can view and join @weboschat right away.
IBM i
groupОбсуждение системы IBM i и программирования в этой системе на CL, RPG, C/C++, Java, Cobol.
Tiling WM Mastery
groupЧат про мозаичные оконные менеджеры (tiling window managers). Делимся конфигурациями, обсуждаем новые программы, помогаем друг другу…