Живая группа: 40 человек писали за 30 дней, 95 % из них отвечали другим, на 46 % сообщений отвечают, аудитория стабильна.
682участников?±0 за сутки · ±0 за неделю · +9 за месяц
Участники группы по последнему обходу. Прирост — разница с ежедневными замерами, они копятся с 29.09.2026. Как считаем →
40пишущих за 30 дней?
Сколько разных людей писали в группе за 30 дней. Поток сообщений легко раздуть флудом, число пишущих — нет. Как считаем →
1 443сообщений за 30 дней?
Сообщения группы в поисковом индексе за последние 30 дней. Как считаем →
95 %отвечают другим?
Доля пишущих, кто за 30 дней хотя бы раз ответил на чужое сообщение. Как считаем →
0площадок цитируют за 30 дней?0 за всё время
Сколько других площадок пересылали посты за 30 дней; ниже — за всё время. Пересылки самой себе не считаются. Как считаем →
#2 060 269место в каталоге?#932 471 в языке
Место по общему баллу: подписчики, активность, охват и цитируемость. Ниже — место в категории и в языке. Как считаем →
Ещё показатели · 5
46 %сообщений с ответом?
Доля сообщений за 30 дней, на которые кто-то ответил. Как считаем →
1,3ответов на ветку?
Сколько ответов в среднем набирает сообщение, на которое вообще ответили (30 дней). Как считаем →
75реакций за 30 дней?
Реакции на посты площадки за 30 дней. Как считаем →
65 884сообщений в индексе?72 219 всего в Telegram
Постов площадки в нашем индексе за всю историю; ниже — номер последнего сообщения в Telegram. Как считаем →
2016-12-07первый пост?
Дата самого раннего поста площадки в индексе. Как считаем →
Аудитория
Участники 682
история копится с 04.10.2026
2026-10-042026-11-07
0за 7 дней
+9за 30 дней
Проверка аудиториикак проверяем
Мало данных для проверкиМеньше 1 000 подписчиков — слишком мало, чтобы судить
Это ваша группа? Покажите её статистикуСтрока для описания или поста о рекламе и значок для сайта — со свежими числами и ссылкой на эту страницу.
Получить ссылку и значок
Поставьте строку в описание — у названия появится отметка «✓ ссылка от владельца» на сайте, в боте и мини-аппе. Описание мы перечитываем сами; сразу — кнопкой «Проверить ссылку» в боте или мини-аппе.
Для описания в Telegram
HTML для сайта
Markdown — README и вики
BBCode — форумы
Состав чата за 30 дней
- Писали 45 человек: постоянных 43, новых 2
- Половину сообщений пишут 5 человек — 11 % пишущих
- 10 самых активных — 76 % сообщений
Активность
Сообщений в день
max 437
2026-08-102026-11-07
Пишущих в день
max 21
2026-08-102026-11-07
Когда публикуют (UTC, 90 дней)
036912151821ПнВтСрЧтПтСбВс
Что публикуют (90 дней)
Самое обсуждаемое
Самые обсуждаемые сообщения за 30 дней
Исправляюсь:
https://gist.github.com/namonexarap/ec9916a6dea2692330f563f3968686fb
Это так сказать чистовик. Вместо функций infer и eval определены соответствующие индуктивные отношения (has_type и step соответственно).
5 ответов · 27.10.2026 16:44 UTCС учётом того что:
Left : Type
Right : Type
left : Left
right : Right
ты вот так предлагаешь?5 ответов · 09.10.2026 09:53 UTCХотя и в агде выглядит страшно :D. Как-то так, например:
_ : init (K ∙ `zero ∙ `true) ~>> ⟨ 𝐍 0 , [] ⟩↑
_ =
init (K ∙ `zero ∙ `true) <>
⟨ (ƛ ƛ # ⟩ ∘) ∙ `zero ∙ `true , ∅ , [] ⟩↓ < Appₗ >
⟨ (ƛ ƛ # ⟩ ∘) ∙ `zero , ∅ 4 ответа · 27.10.2026 21:49 UTCА как же (|0> + |1>) / sqrt(2)?4 ответа · 28.10.2026 08:36 UTCИзвиняюсь предварительно за нубский вопрос. Какие критерии для отнесения некоторой формальной теории к семейству MLTT?
Подойдёт ли следующий список?
Зависимые типы как примитив;
Четыре вида суждений (детализировать не4 ответа · 09.10.2026 15:43 UTC
Показать ещё 3
Что, обычные люди начинают лучше понимать математику?4 ответа · 02.11.2026 15:29 UTCКажется, вместо него должно быть правило, что (Left.(A.B) ~> A)3 ответа · 08.10.2026 17:18 UTCА у кого-нибудь есть близко под рукой ссылка на тираду Pedrot, где он разносит Lean4 в пух и прах? :)3 ответа · 10.10.2026 18:25 UTCСвязи с другими площадками
Пересечение аудитории
Где ещё за 90 дней писали те, кто пишет здесь. Только числа по площадкам.
Формальные методы верификации ПО на практике27 общих авторов · 613 участниковSymbolic logic for math and destroy21 общий автор · 389 участниковТеория категорий13 общих авторов · 750 участниковProgramming Language Design11 общих авторов · 1 646 участниковHaskell10 общих авторов · 1 649 участниковКлуб изучения формальных систем8 общих авторов · 122 участника
Кого цитирует
formal labs4 пересылки · 462 подписчикаAlexTCH2 пересылки · 333 подписчикаКафедра математической логики и теории алгоритмов мехмата МГУ1 пересылка · 345 подписчиковLife of Tau1 пересылка · 349 подписчиковМатклуб1 пересылка · 774 подписчикаCovalue1 пересылка · 888 подписчиков
Пересылки между площадками каталога; пересылки от людей не показываются.
Реклама
Рекламы в индексе пока нет. Как считаем →
данные витрины на 06.11.2026 04:25 UTC · Обновлено: 07.11.2026 17:19 UTC · Как считаем →