Covalue

@covalue

IT и технологии Русский Россия
886 подписчиков
1 730 медианный охват
195.3% ERR
— постов / неделя

Данные обновлены:

О канале Covalue в Telegram

Канал @covalue в категории «IT и технологии» — 886 подписчиков, медианный охват ~1 730, ERR 195.3%.

Заметки о теории языков программирования, формальной верификации программ, теории типов, математической логике, конструктивизме и всякой всячине. Все вопросы к @clayrat, english version: https://clayrat.github.io/

Последние публикации

  • Текст поста недоступен в превью

  • Следующая лекция по теориям типов (STLC и System T) пройдет в среду 5 августа, в то же время (19:00 CEST/UTC+2 / 20:00 MSK).

  • Онлайн-курс «Современные теории типов» В среду 15 июля в 19:00 CEST/UTC+2 (20:00 MSK) в Лаборатории формальной математики стартует курс по современным теориям типов. Лекции читают @akuklev и @clayrat по средам, примерно…

  • Онлайн-курс «Современные теории типов» В среду 15 июля в 19:00 CEST/UTC+2 (20:00 MSK) в Лаборатории формальной математики стартует курс по современным теориям типов. Лекции читают @akuklev и @clayrat по средам, примерно…

  • Сегодня в 12:30 UTC (через ~2 часа) планирую постримить формализацию понятия рефлексивных графов.

  • Сегодня в 12:30 UTC (через ~2 часа) планирую постримить формализацию понятия рефлексивных графов.

  • Сегодня в 12:45 UTC (через ~2.5 часа) планирую постримить на ютюб-канале формализацию Symmetry Book на кубических типах.

  • Сегодня в 12:45 UTC (через ~2.5 часа) планирую постримить на ютюб-канале формализацию Symmetry Book на кубических типах.

  • Формализация краткого вывода закона исключенного третьего из аксиомы выбора (узнал от Валерия Исаева): https://gist.github.com/clayrat/80f2e048831e6829a49d5cb3843b2c7d

  • Сегодня в 12:00 UTC (через ~1.5 часа) планирую постримить разбор PoC компилятора в пучки.

Covalue на фоне категории «IT и технологии»

Место по подписчикам: 2177 из 7087 каналов категории.

МетрикаCovalueСреднее по категории
Подписчики 886 9 388
Медианный охват 1 730 5 691

Динамика за период

Данные накапливаются — статистика появится после нескольких ежедневных синхронизаций.

Страница канала «Covalue» (@covalue) в каталоге catalog-tg.ru: статистика, описание, тематика и ссылка для подписки в Telegram.

Статистика канала @covalue

Telegram-канал «Covalue» (@covalue) насчитывает 886 подписчиков и ориентировочный охват публикации около 1 730 просмотров. Показатель ERR (охват к подписчикам) — 195.3% Данные обновляются автоматически в каталоге catalog-tg.ru.

Тематика и категория

Канал отнесён к категории «IT и технологии». Язык контента: Русский, регион аудитории: Россия. Подробное описание автора: «Заметки о теории языков программирования, формальной верификации программ, теории типов, математической логике, конструктивизме и всякой всячине. Все вопросы к @clayrat, english version: https://clay…»

Если вы ищете Telegram-каналы по теме «IT и технологии», сравните «Covalue» с похожими площадками в блоке ниже или откройте полную подборку в каталоге.

Как подписаться и зачем смотреть статистику

  • Нажмите «Открыть в Telegram» — канал откроется в приложении или web-версии.
  • Сравните подписчиков и охват с конкурентами в категории «IT и технологии».
  • Используйте поиск по тегам для альтернативных каналов.
  • Для рекламы оцените ERR и дату последнего поста — активные каналы публикуют чаще.

Частые вопросы о канале «Covalue»

Сколько подписчиков у канала «Covalue»?

По данным каталога catalog-tg.ru — 886 подписчиков. Цифра обновляется автоматически раз в сутки.

Как подписаться на @covalue?

Нажмите кнопку «Открыть в Telegram» на этой странице или перейдите по ссылке t.me/covalue в приложении Telegram.

К какой категории относится канал?

Канал «Covalue» находится в категории «IT и технологии». Полный список похожих каналов — ниже на странице.

Какой охват публикаций у @covalue?

Ориентировочный охват одного поста — около 1 730 просмотров. Точные цифры зависят от темы и времени публикации.