Живая группа: 35 человек писали за 30 дней, 89 % из них отвечали другим, на 49 % сообщений отвечают, аудитория стабильна.
682участников?±0 за сутки · ±0 за неделю
Участники группы по последнему обходу. Прирост — разница с ежедневными замерами, они копятся с 29.09.2026. Как считаем →
35пишущих за 30 дней?
Сколько разных людей писали в группе за 30 дней. Поток сообщений легко раздуть флудом, число пишущих — нет. Как считаем →
951сообщений за 30 дней?
Сообщения группы в поисковом индексе за последние 30 дней. Как считаем →
89 %отвечают другим?
Доля пишущих, кто за 30 дней хотя бы раз ответил на чужое сообщение. Как считаем →
0площадок цитируют за 30 дней?0 за всё время
Сколько других площадок пересылали посты за 30 дней; ниже — за всё время. Пересылки самой себе не считаются. Как считаем →
#2 032 245место в каталоге?#976 271 в языке
Место по общему баллу: подписчики, активность, охват и цитируемость. Ниже — место в категории и в языке. Как считаем →
Ещё показатели · 4
49 %сообщений с ответом?
Доля сообщений за 30 дней, на которые кто-то ответил. Как считаем →
1,3ответов на ветку?
Сколько ответов в среднем набирает сообщение, на которое вообще ответили (30 дней). Как считаем →
65 559сообщений в индексе?71 482 всего в Telegram
Постов площадки в нашем индексе за всю историю; ниже — номер последнего сообщения в Telegram. Как считаем →
2016-12-07первый пост?
Дата самого раннего поста площадки в индексе. Как считаем →
Аудитория
Участники 682
история копится с 2026-10-04
2026-10-042026-10-29
0за 7 дней
Проверка аудиториикак проверяем
Мало данных для проверкиМеньше 1 000 подписчиков — слишком мало, чтобы судить
Это ваша группа? Покажите её статистикуСтрока для описания или поста о рекламе и значок для сайта — со свежими числами и ссылкой на эту страницу.
Получить ссылку и значок
Поставьте строку в описание — у названия появится отметка «✓ ссылка от владельца» на сайте, в боте и мини-аппе. Описание мы перечитываем сами; сразу — кнопкой «Проверить ссылку» в боте или мини-аппе.
Для описания в Telegram
HTML для сайта
Markdown — README и вики
BBCode — форумы
Состав чата за 30 дней
- Писали 35 человек: постоянных 34, новых 1
- Половину сообщений пишут 3 человека — 8,6 % пишущих
- 10 самых активных — 82 % сообщений
Активность
Сообщений в день
max 273
2026-08-012026-10-29
Пишущих в день
max 18
2026-08-012026-10-29
Когда публикуют (UTC, 90 дней)
036912151821ПнВтСрЧтПтСбВс
Что публикуют (90 дней)
Самое обсуждаемое
Самые обсуждаемые сообщения за 30 дней
С учётом того что:
Left : Type
Right : Type
left : Left
right : Right
ты вот так предлагаешь?5 ответов · 2026-10-09 09:53 UTCИзвиняюсь предварительно за нубский вопрос. Какие критерии для отнесения некоторой формальной теории к семейству MLTT?
Подойдёт ли следующий список?
Зависимые типы как примитив;
Четыре вида суждений (детализировать не4 ответов · 2026-10-09 15:43 UTCПусть
f:A->B моно и эпи
Из того что он моно есть классифицирующий его
p:B->Prop
Пуллбэк диаграммы
B -> Prop <- 1
Даст как раз f:A->B и !:A->1
Введём true_B: B -> Prop, функция все отправляющая в true
Пусть g:X-3 ответов · 2026-10-17 19:20 UTCБуквально в эти дни текст про PTS пишу3 ответов · 2026-10-09 15:21 UTC@antonidze_kuchpylyp Всё-тки почитать-порешать бы вам Software Foundations чтобы уверенно себя чувствовать в стандартных обозначениях.3 ответов · 2026-10-07 14:17 UTC
Показать ещё 3
А вот это не оно случайно? Язык с зависимыми типами и без функций https://polarity-lang.github.io3 ответов · 2026-10-07 19:58 UTCНо как-то тем не менее выбираете между Racq, Lean и Agda?3 ответов · 2026-10-10 17:57 UTCIO, FFI, reasonable runtime, build system, package management, reasonable deployment... Много всяких "мелочей".3 ответов · 2026-10-17 18:14 UTCСвязи с другими площадками
Пересечение аудитории
Где ещё за 90 дней писали те, кто пишет здесь. Только числа по площадкам.
Формальные методы верификации ПО на практике27 общих авторов · 613 участниковSymbolic logic for math and destroy21 общих авторов · 389 участниковТеория категорий15 общих авторов · 737 участниковHaskell11 общих авторов · 1 665 участниковProgramming Language Design9 общих авторов · 1 646 участниковКлуб изучения формальных систем8 общих авторов · 122 участников
Кого цитирует
formal labs4 пересылок · 442 подписчиковAlexTCH2 пересылок · 333 подписчиковКафедра математической логики и теории алгоритмов мехмата МГУ1 пересылок · 345 подписчиковLife of Tau1 пересылок · 349 подписчиковМатклуб1 пересылок · 776 подписчиковCovalue1 пересылок · 888 подписчиков
Пересылки между площадками каталога; пересылки от людей не показываются.
данные витрины на 29.10.2026 07:14 UTC · Обновлено: 2026-10-29 16:17 UTC · Как считаем →