Веб-версияОткрыть в Telegram
ТТипы в языках программирования, моделирования, представления знаний и жизни
Типы в языках программирования, моделирования, представления знаний и жизни
@typeslife · группа · Технологии · в индексе с 2026-07-02 Статистика

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

Живая группа: 14 человек писали за 30 дней, 100 % из них отвечали другим, на 55 % сообщений отвечают, аудитория стабильна.
459участников±0 за сутки · ±0 за неделю
14пишущих за 30 дней
190сообщений за 30 дней
100 %отвечают другим
55 %сообщений с ответом
1,4ответов на ветку
0площадок цитируют за 30 дней0 за всё время
17 324сообщений в индексе23 321 всего в Telegram
2019-08-24первый пост
#1 442 148место в каталоге#46 861 в теме · #563 885 в языке

Участники 459

история копится с 2026-09-29
2026-09-292026-10-07

Проверка аудиториикак проверяем

Мало данных для проверкиМеньше 1 000 подписчиков — слишком мало, чтобы судить

Сообщений в день

max 63
2026-07-102026-10-07

Пишущих в день

max 7
2026-07-102026-10-07

Состав чата за 30 дней

  • Писали 14 человек: постоянных 11, новых 3
  • Половину сообщений пишут 2 человека — 14 % пишущих
  • 10 самых активных — 97 % сообщений

Когда публикуют (UTC, 90 дней)

036912151821ПнВтСрЧтПтСбВс

Что публикуют (90 дней)

текст87%
ссылки9%
фото3%
файлы1%

Самые обсуждаемые сообщения за 30 дней

Попробовал именно для рабочего матмоделирования. Заметно портит терминологию, собственно моделирование, нотацию и рассуждения, при этом ссылаясь на нерелевантные источники. Где удобнее обсудить? Может это только про рас5 ответов · 2026-09-14 18:24 UTCЯ написал: "математики когда-то сказали, что понять — это сконструировать из понятных объектов понятными операциями (которые, конечно, тоже объекты!)". Понять новый объект — значит освоить способ его построения из уже о4 ответов · 2026-09-14 13:16 UTCНу, это "спор о терминах", то есть "является ли X Y". Так мы недалеко уйдём, такие споры обычно непродуктивны. Мой акцент "понимать" — не через каталог вещей и их скрытый состав (классическое онтологическое представлени4 ответов · 2026-09-14 13:40 UTCа вот ту мы с вами батенька поспорим! онтологии не только про объекты а про процессы тоже, в том числе события, факты и далее везде. поэтому их и стоит разделять на теории (примерно TBox) и структуры (примерно ABox), и ч3 ответов · 2026-09-14 12:01 UTCчто ж, если тут админом вы, то я требую назвать оунера -- я у него спрошу о политике чата, и если он сочтет ваше поведение нормальным -- удалю отсюда большинство своих сообщений до настоящего момента мне не требуется пр3 ответов · 2026-09-14 11:22 UTCНу вот в ZFC объекты не "строятся". Даже в банальном примере, когда мы по множеству A "строим" его булеан P(A), мы на самом деле ничего не строим, а доказываем теорему о существовании такого-то множества с такими то свой3 ответов · 2026-09-14 13:25 UTCЯ ж не возражаю. Мой тезис в том, что математики когда-то сказали, что понять — это сконструировать из понятных объектов понятными операциями (которые, конечно, тоже объекты!). И далее сказали, что стрелочки пусть будут 3 ответов · 2026-09-14 12:28 UTCА есть какой то понятный пример, в какой ситуации и какой паттерн можно применмть и суть паттерна понятная человеку а не ллм? Я сделал несколько подходов к чтению, но не смог такого найти..2 ответов · 2026-09-23 09:34 UTC

Бейдж для вашего сайта

Картинка со свежими числами площадки и ссылкой на её статистику — вставьте код на сайт или в README.

ChatCrawler

Похожие площадки

данные витрины на 07.10.2026 10:06 UTC · Обновлено: 2026-10-07 10:17 UTC · Как считаем →

Весь каталог

Открытая публичная лента из поискового индекса ChatCrawler — «Google по публичному Telegram»; обновляется по мере обхода площадки. Время — UTC.

Только публичный контент, официальный API Telegram. О проекте · Вопросы · Чего мы не делаем · Убрать страницу из выдачи · Каталог · Поиск · Как мы считаем