Типы в языках программирования, моделирования, представления знаний и жизни
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Биржа Нетологии
Проекты, стажировки и вакансии для студентов Нетологии напрямую от работодателей. Найти сотрудника или разместить резюме в Бирже: https://t.me/netology_project/40873 Мы модерируем чат, но не влияем на сам поток вакансий. По всем вопросам — @Tamikatam
Кавказцы в Москве Дагестанцы в Москве Чеченцы в Москве
Ассалам Алейкум братья,и сёстры, Объединяемся все кто с Северного Кавказа🏔 Если у вас реклама 👉 @chp_admin_kavkaz ЧАТ КАВКАЗ➡️ @chp_chat_tut Дагестанцы Чеченцы Ингуши Осетины Кабардинцы Карачаевцы Балкарцы и
𝐋𝐎𝐆𝐈𝐒𝐓𝐈𝐂 𝐀𝐔𝐓𝐎 𝐌𝐍𝐎𝐒
Международный Междугородный перевозки N1
☃️РОБОТА КИЇВ | Kyiv Work | Работа Київ 💵
Розміщення ВАКАНСІЇ/РЕКЛАМИ - @dima_2020_31 Резерв менеджер @bbezzubiikk
АВТОРЫНОК ХАРЬКОВ🇺🇦АВТОРИНОК ХАРКІВ
✅Покупка та продаж ✅ Україна @avtorynok_ua 📌Правила - https://t.me/avtobazar_kharkov/79069 💻Админ / реклама @yours_reklama_bot
Помогатор Фрилансеры
Сотрудничество, платное размещение в закрепе: пиши @maxru Дружественный чат - @SMMchat
💬 Чат | CS 2
👋🏻 Добро пожаловать! Это наш чат канала @GO_CS, обсуждаем все новости, скандалы и обновления из КС 2! 🎫 Стикеры CS 2: @Game_Stickers 🗞 Новости про игры: @Steam_Stim
Украинцы в Румынии 🇺🇦 ❤️🇹🇩 Українці в Румунії
Делимся опытом нахождения в Румынии. Жилье, транспорт, перевозчики, выплаты, программы и другая полезная информация. Наши каналы - https://t.me/addlist/87244EkzpXxiZjFi Правила - https://t.me/ua_in_ro/158508 Зворотній зв’язок - @AVABTG
Донецк АвтоРынок
Объявления о продаже автомобилей в канале @CarMarketDNR Для публикации объявлений используйте удобный бот @DA83robot Если Вас в чате случайно забанили переходите по ссылке https://t.me/AvtoRynok_DNR/2167195 Админ: @archandrei
🛠 Я — зерокодер
Крупнейшее русскоязычное сообщество зерокодеров Админы @ZerocoderCommunications Правила сообщества по хештегу /rules 4916269509 Telegram-медиа «Зерокодер»: @oqode Опубликовать заказ или вакансию — @zerocoders_job
🇰🇬Деловой Токмок
Группа публичная, Админы не несут ответственность за объявления!!! Админы - @ferrari8889, @zbolery Ограничение в группе в размере 5 сообщений в день. ‼️ Укажите основное: ⚙️ описание 💰цена 📞 телефон ⭕️Задаём вопросы в личку При нарушении правил - бан!
