рейтинг и архив сообщений популярных групп telegram

Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом). STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.

Видео докладов с митапов https://www.youtube.com/channel/UCel471wAgoBeQ9MIVe9wmZw/ AWS_ru @aws_ru   Питер! https://www.meetup.com/AWSRus/ https://www.meetup.com/AWS-Meetup-Kazan/ @aws_minsk - Минское сообщество @awsNSK - Ребята из Новосибирска @aws_kz

Чат каналу смарт-мандрівників @TimeToTravel Дуже часті питання та правила чату: https://t.me/ChatToTravel/88570 FAQ: https://bit.ly/TTT-FAQ Знижки bit.ly/TTTDiscount Флудилка bit.ly/ChatToTravelFlood Оголошення: @TravelBazar Адмін: @ferrozer

Коммуна неосиляторов C++, 2.0. Наш гитхаб: github.com/cpptogether Правила: уважайте друг друга; оффтоп умеренно разрешен, лишний флуд нет. Библиотека: https://yadi.sk/d/5TbG8XfF3RqHnE Форк телеги: github.com/procxx/kepka

Группа, посвященная 🇯🇵японской категории 🚘"лёгких автомобилей" - кейдзидо:ся. Получайте ответы на ваши вопросы, делитесь личным опытом.

Русскоязычное сообщество Komodo Platform (KMD). Открытая модульная смартчейн платформа. Официальный сайт: https://komodoplatform.com/ru DEX: https://atomicdex.io/ Twitter: https://twitter.com/Komodo_Russia Блог: https://blog.komodoplatform.com/ru/

Неофициальный канал YouTrack на русском языке. Служба поддержки YouTrack: https://jb.gg/ytsup   English-speaking YouTrack community in Slack: https://jb.gg/slackspprt and official support: https://jb.gg/ytsup   Спасибо!

Чат разработчиков Android. Вакансии, резюме и информацию о митапах размещать можно 1раз в 2 недели ставьте в тексте тег #vacancy. Публикацию скрытой и явной рекламы ваших каналов и сайтов после получения разрешения от @olegushakov Флудить тут @pogromista

Чат создан чтобы делиться опытом о Scrapy/Python и другими парсинг технологиями. Вежливость и уважение к другим участникам группы. Троллинг не приветствуется. FAQ: https://github.com/bulatbulat48/ru-scrapy-python Работа: t.me/scrapy_jobs

UWDC — чат Челябинских айтишников про ИТ и связанные темы. Запрещены оскорбления, спам и политика. Велкам на наш канал @trueIT

Make Performance Great Again💪 выступления, статьи, книги: https://goo.gl/xopPhF

Обсуждение различных систем сборки ( CMake, Meson, Waf, Scons, Bazel, и др.) и соседних инструментов к ним (Conan, vcpkg и пр.) @probuildsystems

Криптовалюты как горючее для трактора!