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

Типы в языках программирования, моделирования, представления знаний и жизни

Автора возбуждает, когда его рисуют Я: <a href="https://t.me/katridge">@katridge</a> Группа ВК: https://vk.com/katridge999

КАТРИДЖ

Всем привет. Я Helen Drow (Dr Helen) - переводчик и совсем немного автор фанфиков по ГП. Добро пожаловать на мой канал, посвященный вселенной и немножечко мне. Я на фб - https://ficbook.net/authors/4423658

Снейджер навсегда

Здравствуй, путник&#33; Присядь, отдохни. Кто мы? Всего лишь златиусы из Охемы. Я Фаенон, а он Мидей, будем знакомы&#33; Желаешь присоединиться к нашему приключению? Добро пожаловать в Phaidei Zine 🏛️

Phaidei Zine 🏛️

лс <a href="https://t.me/corpsecashin">@corpsecashin</a>

r32theywannafly

Мы команда &quot;Go&quot; — рассказываем горожанам в 30 городах России, как провести свой досуг и выходные 🌆 Куда сходить, афиши, мероприятия, еда/рестораны/бары, события и многое другое ✨

Сетка «Go»

Косплеер/Крафтер/Вигмейкер/ долбаёб 😱 Лайфканал - https://t.me/ankalinelife Анонимка - t.me/anonaskbot?start=h8afrmxrxfv9r

Анечка Ankaline и её ガチアクタ 🔪☠️

Онлайн чат знакомств Нижний Новгород. Только анкеты: https://t.me/znakomstva_831 Добавить анкету: https://clck.ru/35LRL5 Реклама: https://clck.ru/hcUSm админ: <a href="https://t.me/semen921">@semen921</a>

Чат знакомств Нижний Новгород 💋

Приветики ,у нас проходят игры гардероб и разные викторины.Первые 3 места получают призы.Ждем вас💗 Инфо канала :https://t.me/Information_Between_the_lines_RC Банк канала:https://t.me/Bank_of_stars_MS Голос :https://t.me/boost/Between_the_lines_RC

Между строк КР 🍁

COMMISSION OPEN Личка: <a href="https://t.me/kitty_yoh">@kitty_yoh</a> ВК https://vk.com/gromelisensei Рисую по всяким фандомам и иногда осов

GROMEL

Anotherdeadrat и Мясоед - канал для постинга концептов, набросков, керамики и всего, что я делаю https://vk.com/club213908933 https://twitter.com/another_erat Мясоед/керамика и рисунки https://vk.com/club223936005

Мясоед 🥄 Готовим дома

<a href="https://t.me/Xan_39">@Xan_39</a> основа <a href="https://t.me/girlbitchslaaay">@girlbitchslaaay</a> автор арта на аве

Псан(щп)

🥮 Contact me <a href="https://t.me/piictale">@piictale</a> 🍞FA https://www.furaffinity.net/user/piicktale Commissions -✅ Trades - ❌ Collaborations - ❌ Requests - ❌

Пиктале

темная часть персоны преложки: <a href="https://t.me/tho_darkprper_bot">@tho_darkprper_bot</a> и <a href="https://t.me/darkprper_bot">@darkprper_bot</a> навигация: https://t.me/darkprper/12 буст пж: https://t.me/boost/darkprper

𝑑𝔞r𝑘 𝔭𝔞r𝔱 𝔭𝔢r𝑠𝔬𝔫

: к импровизаторам, к искусству в целом и к арсению сергеевичу в частности вся информация в закрепе: https://t.me/poramoralarton/120

ради любви

Фирменные магазины АРТПОСТЕЛЬ. Находятся по адресу: г. Уссурийск Ул. Ермакова, 57 8(902) 061 46 06 ул. Кузнечная, 9 Пересечение Тихменева/Кузнечная 8(902) 061 48 08 Работаем ежедневно с 10.00 до 18.00

артпостелевна - магазин Артпостель

Telegram channels about news and media. International news or local updates — stay informed with the best news Telegram channels covering world events, politics, and breaking stories.

Canales de Telegram sobre noticias y medios de comunicación. Noticias internacionales o locales: encuentra los mejores canales de Telegram para estar siempre informado.

Жаңалықтар мен медиа туралы Telegram арналары. Халықаралық жаңалықтар немесе жергілікті оқиғалар — ең жақсы Telegram арналарын тауып, әрдайым хабардар болыңыз.

Телеграм каналы о новостях. Международные новости или новости вашего родного города, здесь вы найдете все и всегда будете в курсе событий. Telegarm канал оличный способ следить за новостями.

Телеграм канали з новинами та медіа. Міжнародні новини чи місцеві події — тут ви знайдете найкращі Telegram канали, щоб завжди бути в курсі подій.

关于新闻与媒体的Telegram频道。国际新闻、本地资讯，在这里找到最佳Telegram新闻频道，随时掌握全球动态。

News and media

Noticias y medios

Жаңалықтар мен медиа

Новости

Новини та медіа

新闻与媒体

Telegram channels about business and startups. Blogs from entrepreneurs, startup communities, and business tips. Find channels to help you succeed and connect with like-minded professionals.

Canales de Telegram sobre negocios y startups. Blogs de emprendedores, comunidades de startups y consejos empresariales. Encuentra canales para alcanzar el éxito profesional.

Бизнес және стартаптар туралы Telegram арналары. Кәсіпкерлер блогтары, стартап қоғамдастықтары және бизнес кеңестер. Табысқа жету үшін ең жақсы Telegram арналарын табыңыз.

Телеграм каналы о бизнесе и стартапах. Блоги известных людей и сообщества, где люди деляться опытом открытия собственного бизнеса. Здесь вы найдете все каналы, которые позволят вам добиться успеха в кругу единомышленников.

Телеграм канали про бізнес і стартапи. Блоги підприємців, спільноти стартапів та поради для бізнесу. Знаходьте Telegram канали для досягнення успіху серед однодумців.

关于商业与创业的Telegram频道。企业家博客、创业社区和商业建议，找到助您成功的Telegram频道，与志同道合的人交流。

Business and startups

Negocios y startups

Бизнес және стартаптар

Бизнес и Стартапы

Бізнес і стартапи

商业与创业

Telegram channels with movies and videos. Thousands of videos published daily — from cinema and TV series to vlogs and short clips. Find the best video Telegram channels here.

Canales de Telegram con películas y videos. Miles de videos publicados a diario: cine, series, vlogs y clips. Descubre los mejores canales de Telegram de contenido audiovisual.

Фильмдер мен бейнелер бар Telegram арналары. Күн сайын мыңдаған бейнелер жарияланады — кинодан бастап влогтарға дейін. Ең жақсы бейне Telegram арналарын табыңыз.

Телеграм каналы с фильмами и различными видео. В этих telegram каналах ежедневно публикуются десятки тысяч видео, начиная кино и заканчивая влогами. 

Телеграм канали з фільмами та відео. Щодня публікуються тисячі відео — від кіно та серіалів до влогів. Знайдіть найкращі Telegram канали з відеоконтентом.

提供电影与视频的Telegram频道。每天发布数千部影片——从电影、电视剧到Vlog短视频，在这里找到最佳视频Telegram频道。

Video and films

Películas y videos

Фильмдер мен бейнелер

Фильмы и Видео

Фільми та відео

电影与视频

Telegram channels about food and cooking. Discover channels about restaurants, cafes, recipes, and everything related to gastronomy and culinary arts.

Canales de Telegram sobre comida y cocina. Recetas, restaurantes, cafeterías y todo lo relacionado con la gastronomía. Encuentra los mejores canales culinarios de Telegram.

Тамақ және аспаздық туралы Telegram арналары. Рецепттер, мейрамханалар, кафелер және гастрономияға қатысты барлық нәрсе. Ең жақсы аспаздық Telegram арналарын табыңыз.

Телеграм каналы про еду и кулинарию. Telegram каналы про рестораны, кофейни. Про все, что связано с едой и гастрономией.

Телеграм канали про їжу та кулінарію. Рецепти, ресторани, кав'ярні та все, що пов'язано з гастрономією. Знайдіть найкращі кулінарні Telegram канали.

关于美食与烹饪的Telegram频道。食谱、餐厅、咖啡馆以及一切与美食相关的内容，发现最佳美食Telegram频道。

Food and cooking

Comida y cocina

Тамақ және аспаздық

Еда

Їжа та кулінарія

美食与烹饪

Telegram channels in the Other category. Unique channels that don't fit standard categories due to their specific topics. Explore diverse and unconventional Telegram content.

Canales de Telegram en la categoría Otros. Canales únicos que no encajan en categorías estándar por su temática específica. Explora contenido diverso en Telegram.

Басқа санатындағы Telegram арналары. Тақырыбы бойынша ерекшеленетін және өзіндік санаты жоқ бірегей арналар. Әртүрлі Telegram мазмұнын зерттеңіз.

Телеграм каналы в категории Другое. Сюда вошли каналы, которые отличаются по теме от остальных и не имеют собственной ввиду своей специфики. 

Телеграм канали в категорії Інше. Унікальні канали, які відрізняються тематикою від решти та не мають власної категорії через свою специфіку.

其他类别的Telegram频道。这些独特的频道因其特殊主题不属于常规分类，在这里探索多样化的Telegram内容。

Other

Otros

Басқа

Другое

Інше

其他

Telegram channels about Telegram itself. News about the messenger, contests, services, and communities. Find channels directly related to the Telegram platform.

Canales de Telegram sobre Telegram. Noticias del mensajero, concursos, servicios y comunidades. Encuentra canales directamente relacionados con la plataforma Telegram.

Telegram туралы Telegram арналары. Мессенджер жаңалықтары, конкурстар, сервистер және қоғамдастықтар. Telegram платформасымен тікелей байланысты арналарды табыңыз.

Телеграм каналы связанные с Telegram. Каналы с новостями про месседжер, конкурсами, серфисами самого Telegram и сообщества. Тут вы найдете каналы, которые напрямую связанны с самим Телеграм.

Телеграм канали про Telegram. Новини месенджера, конкурси, сервіси та спільноти. Тут ви знайдете канали, які безпосередньо пов'язані з платформою Telegram.

关于Telegram本身的Telegram频道。平台新闻、活动、服务和社区，在这里找到与Telegram平台直接相关的频道。

Telegram

Telegram channels about cryptocurrencies. Channels about NFT, Web3, trading, and everything crypto. News, forecasts, technical analysis, and market insights.

Canales de Telegram sobre criptomonedas. Canales sobre NFT, Web3, trading y todo sobre el mundo cripto. Noticias, pronósticos y análisis técnico del mercado.

Криптовалюталар туралы Telegram арналары. NFT, Web3, трейдинг және крипто әлеміне қатысты барлық ақпарат. Жаңалықтар, болжамдар және техникалық талдау.

Телеграм каналы посвященные криптовалютам. Телеграм каналы про NFT, Web3.0, про трейдинг и все, что связано с миром криптовалют. Новости, прогнозы, техническая информация.

Телеграм канали про криптовалюти. Канали про NFT, Web3, трейдинг та все, що пов'язано зі світом крипто. Новини, прогнози та технічна інформація.

关于加密货币的Telegram频道。NFT、Web3、交易以及加密世界的一切。新闻、预测、技术分析和市场洞察。

Cryptocurrencies

Criptomonedas

Криптовалюталар

Криптовалюты

Криптовалюти

加密货币

Telegram channels about religion. Explore spiritual communities, religious teachings, and faith-based discussions on Telegram.

Canales de Telegram sobre religión. Comunidades espirituales, enseñanzas religiosas y debates sobre la fe en canales de Telegram.

Дін туралы Telegram арналары. Рухани қоғамдастықтар, діни ілімдер және сенім мәселелерін талқылайтын Telegram арналарын зерттеңіз.

Телеграм каналы о религии. 

Телеграм канали про релігію. Духовні спільноти, релігійні вчення та обговорення питань віри в Telegram каналах.

关于宗教的Telegram频道。探索灵性社区、宗教教义和信仰讨论的Telegram频道。

Religion

Religión

Дін

Религия

Релігія

宗教

Telegram blog channels. Bloggers, artists, writers, and creatives share their thoughts and ideas. Find personal blogs from famous personalities and independent creators.

Canales de blogs en Telegram. Blogueros, artistas, escritores y creativos comparten sus ideas. Encuentra blogs personales de celebridades y creadores independientes.

Блогерлердің Telegram арналары. Блогерлер, суретшілер, жазушылар өз ойларымен бөліседі. Танымал адамдар мен тәуелсіз авторлардың жеке блогтарын табыңыз.

Телеграм каналы блогов. Блогеры, артисты, писатели, художники. Персональные блоги которые ведут люди и хотят поделиться мыслями касательно чего либо. Тут вы найдете каналы как известных людей, так и любительские.

Телеграм канали блогерів. Блогери, артисти, письменники та митці діляться своїми думками. Знайдіть персональні блоги відомих людей та незалежних авторів.

Telegram博客频道。博主、艺术家、作家和创意人士分享他们的想法。在这里找到名人和独立创作者的个人博客频道。

Blogs

Блогтар

Блоги

博客

Telegram channels for education. Thousands of channels covering languages, mathematics, science, and more. Study materials, exam prep, and university admissions resources.

Canales de Telegram para educación. Miles de canales sobre idiomas, matemáticas, ciencias y más. Materiales de estudio, preparación para exámenes y recursos académicos.

Білім беруге арналған Telegram арналары. Тілдер, математика, биология және басқа бағыттар бойынша мыңдаған арналар. Оқу материалдары, емтиханға дайындық.

Телеграм каналы для образования. Здесь собраны тысячи telegram каналов по разным направлениям: языки, математика, биология, социология. Множество каналов про экзамены и поступления. Учебные материалы.

Телеграм канали для освіти. Тисячі каналів з різних напрямків: мови, математика, біологія, соціологія. Навчальні матеріали, підготовка до іспитів та вступу.

教育类Telegram频道。涵盖语言、数学、科学等领域的数千个频道。学习资料、考试准备和大学录取资源。

Education

Educación

Білім

Образование

Освіта

教育

Telegram channels about books and literature. Book reviews, reading recommendations, classic and modern literature. Find the best Telegram channels for book lovers.

Canales de Telegram sobre libros y literatura. Reseñas, recomendaciones de lectura, clásicos y literatura moderna. Los mejores canales de Telegram para amantes de los libros.

Кітаптар мен әдебиет туралы Telegram арналары. Кітап шолулары, оқу ұсыныстары, классикалық және заманауи әдебиет. Кітап сүйгіштерге арналған ең жақсы Telegram арналары.

Телеграм каналы посвященные книгам и литературе. Новости из мира книг, книжные обзоры, русская классика и зарубежная литература. Telegram каналы специально для тех кто любит читать.

Телеграм канали про книги та літературу. Книжкові огляди, рекомендації, класична та сучасна література. Знайдіть найкращі Telegram канали для тих, хто любить читати.

关于书籍与文学的Telegram频道。书评、阅读推荐、经典文学和现代作品。为爱书人士找到最佳Telegram频道。

Bookmaking

Libros

Кітаптар

Книги

书籍

Telegram channels about health and fitness. Healthy eating, workouts, wellness tips, and blogs from doctors and nutritionists. Your guide to a healthier lifestyle.

Canales de Telegram sobre salud y fitness. Alimentación saludable, entrenamientos, consejos médicos y blogs de nutricionistas. Tu guía hacia un estilo de vida más sano.

Денсаулық және фитнес туралы Telegram арналары. Дұрыс тамақтану, жаттығулар, дәрігерлер мен диетологтардың кеңестері. Салауатты өмір салтына нұсқаулық.

Телеграм каналы о здоровье и фитнесе. Здоровое питание, тренировки, советы и блоги врачей и диетологов. 

Телеграм канали про здоров'я та фітнес. Здорове харчування, тренування, поради лікарів та дієтологів. Ваш путівник до здорового способу життя в Telegram.

关于健康与健身的Telegram频道。健康饮食、锻炼、医生和营养师的建议。在Telegram上找到通往健康生活方式的指南。

Health and Fitness

Salud y fitness

Денсаулық және фитнес

Здоровье

Здоров'я та фітнес

健康与健身

Telegram channels about politics. Political analysis, opinions, and discussions on national and international affairs. Stay informed on political developments worldwide.

Canales de Telegram sobre política. Análisis político, opiniones y debates sobre asuntos nacionales e internacionales. Mantente informado sobre la actualidad política.

Саясат туралы Telegram арналары. Саяси талдау, пікірлер және ішкі мен халықаралық саясат туралы талқылаулар. Саяси оқиғалардан хабардар болыңыз.

Телеграм каналы о политике. Взгляды на полтитику. Российская политика. Международная политика.

Телеграм канали про політику. Політичний аналіз, погляди та обговорення внутрішньої та міжнародної політики. Будьте в курсі політичних подій.

关于政治的Telegram频道。政治分析、观点和国内外事务讨论。通过Telegram随时了解全球政治动态。

Politics

Política

Саясат

Политика

Політика

政治

Telegram channels for art enthusiasts. Drawing, painting, sculpture, and creative arts. Find Telegram channels about visual arts, crafts, and creative expression.

Canales de Telegram para amantes del arte. Dibujo, pintura, escultura y artes creativas. Encuentra canales de Telegram sobre artes visuales y expresión creativa.

Өнер әуесқойларына арналған Telegram арналары. Сурет, музыка, жазу және кез келген шығармашылық. Көркем өнер мен креатив туралы Telegram арналарын табыңыз.

Телеграм каналы для любителей исскусства. Отличное место чтобы найти Telegram канал связанный с рисование, музыкой, писательством или любмы другим креативом.

Телеграм канали для любителів мистецтва. Малювання, музика, письменство та будь-яка творчість. Знайдіть Telegram канали про візуальне мистецтво та креатив.

面向艺术爱好者的Telegram频道。绘画、雕塑和创意艺术，在Telegram上找到关于视觉艺术和创意表达的频道。

Arte

Өнер

Арт

Мистецтво

艺术

Telegram channels about music. News from popular artists, fan communities, and new album releases. Find Telegram channels with music that matches your taste.

Canales de Telegram sobre música. Noticias de artistas, comunidades de fans y nuevos lanzamientos. Encuentra canales de Telegram con la música que te gusta.

Музыка туралы Telegram арналары. Танымал орындаушылар жаңалықтары, фан-қоғамдастықтар және жаңа альбомдар. Өзіңізге ұнайтын музыкасы бар Telegram арналарын табыңыз.

Телеграм каналы с музыкой. Новости известных исполнителей, сообщества поклонников и новые альбомы. Здесь каждый сможет найти telegram канал с музыкой, которая ему нравится.

Телеграм канали з музикою. Новини виконавців, фан-спільноти та нові альбоми. Знайдіть Telegram канали з музикою, яка вам подобається.

关于音乐的Telegram频道。知名艺人动态、粉丝社区和新专辑发布。在Telegram上找到符合你音乐品味的频道。

Каналы по теме:ри

Добавьте свою рекламу в этом месте за15 USDTв сутки (24 часа)