Channel
@LogicML
On this record: Growth · Engagement · Reactions · Posts · Citations · Cite this entry
508subscribers
+2 since we began measuring on 7 August 2026
Risers and fallers across the register · movement among entries of Under 1,000.
| Telegram ID | -1001757174934 |
|---|---|
| Type | Channel |
| Username | @LogicML |
| Created | Between 1 December 2021 and 31 March 2023— estimated from Telegram’s id allocation, not measured. How this range is calculated. |
| First recorded | 8 August 2026 |
| Last confirmed live | 14 August 2026 |
| Measurements held | 3 |
| Confirmed unchanged | 1 time, most recently 14 August 2026 |
| On Telegram | t.me/LogicML |
| Measured (UTC) | Subscribers | Change |
|---|---|---|
| 14 Aug 2026, 22:24 | 508 | +2 |
| 8 Aug 2026, 04:16 | 506 | no change |
| 7 Aug 2026, 09:26 | 506 | first reading |
20 posts held, back to 2 December 2025 — the reader has not yet reached the start of this channel’s public history, so older posts may sit further back, unread. Read across 1 pageof Telegram’s post history, 20 posts per page.
Nothing published in the last 30 days. ERR and ER are rolling 30-day measures, so there is nothing to compute — we hold 20 posts for this entry, the most recent from 1 June 2026. An engagement rate over an empty window would be a number about nothing.
18 reactions across 3 posts, in 1 kind.
| Reaction | Count | Share | Share, drawn |
|---|---|---|---|
| 💊 | 18 | 100.0% |
No sentiment is inferred, and none should be read in. This table is ordered by count and by nothing else. Emoji do not carry stable meaning across languages or communities — 🙏 is thanks in one channel and mourning in another — so we publish which ones were pressed and how often, and pass no judgement on what an audience meant by them.
Precision. Telegram publishes reaction counts per emoji and short-forms each one — 4.34K, 1.2M — so any single kind at or above 1,000 reaches us at three significant figures, and only counts below 1,000 are exact. The shares above are ratios of those figures and carry the same error. This is also why the total here can differ slightly from a reaction total printed elsewhere on the page: both are sums of the same rounded parts, taken over samples with different edges.
Coverage. Reactions were read on 3 of the 20 sampled posts in this sample. Summed by Telegram’s own count on each post — not by adding up the per-emoji breakdown above — those same posts carry 18reactions in total: the kind of figure the paragraph above means by “a reaction total printed elsewhere on the page”.
Measured over the 20 most recent posts we hold, published 2 December 2025 to 1 June 2026, using the newest reading held for each. Telegram Stars are excluded: they are a payment, not a reaction, and they have their own section.
Self-Correcting Gossip Protocols (Cignarale, van Ditmarsch, Felber, Gattinger, Rincon Galeana, Sundararajan, 2026) Свежая работа с участием van Ditmarsch предлагает новую динамико-эпистемическую модель gossip-протоколов с ошибками передачи. Обычно классическая литература по fault-tolerance апеллирует к анализу в терминах временной эпистемической логики или распределённых алгоритмов, н здесь авторы рассматривают оши…
💊5
На конференцию по аналитической философии прилетает ангел и говорит, что ответит на один любой вопрос. Аналитические философы в ажиотаже, посовещались и просят несколько дней на обдумывание и формулирование. Ангел соглашается, улетает, через несколько дней прилетает обратно. - Ну что, придумали вопрос? - Да, этот вопрос такой: какова устойчивая последовательность, первым элементом которой является лучший вопрос, кото…
💊11
В работе Formal Logic-based Cooperative Task Planning for Multi-robot Systems: Survey of Recent Advances and Future Directions (Acta Automatica Sinica, 2025) авторы из Пекинского университета разбирают, как формальные логики становятся языком для постановки и проверки сложных миссий в роботизированных кластерах и роях, включая сценарии с беспилотниками и наземными платформами. Отталкиваясь от OODA-цикла, они выделяют…
Epistemic planning for multi-robot systems in communication-restricted environments Авторы Lauren Bramblett и Nicola Bezzo из Университета Виргинии описывают базовый уже насегодня эпистемический подход к планированию, чтобы обеспечить координированное поведение распределённой группы роботов даже при отсутствии постоянной связи между ними, что типично для поисково-спасательных, инспекционных и других задач в экстрема…
Решил развить эту мысль в полноценное формальное исследование. В статье вводится абстрактная модель inquiry-агента с фиксированной логической сигнатурой и доказывается инвариант: ни стратегии поиска, ни эпистемические обновления, ни байесовское обучение, ни BOED-подходы не позволяют выйти за пределы исходного языка гипотез без явного оператора его ревизии. Одним из результатов, пожалуй ключевым, стало то, что я назв…
Логицизм XXI века: почему современная математика не фундаментальна и structural turn её симптом Современная математика, включая Univalent Foundations, (∞,1)-топосы, derived/spectral algebraic geometry и последние достижения model theory не отменяет логицизм, и скорее только подтверждает его. Математические объекты оказались не первичными сущностями, а экстенсиональными «застывшими» следами логических стратегий досту…
Proof assistants и categorical semantics of computation (Coq, Lean, Cubical TT) — это механизмы фиксации правил игры (proofs как данные); они прекрасно работают внутри заданной логики, но не отвечают на задачу Φ: (S,M,R) ↦ (S′,M′,R′) — смены самой онтологии и условий применимости. Металогика у формальных систем всегда «внутри» L0 как данные, а не как автономный оператор пересмотра правил; это архитектурная невозможно…
В чем и почему ИИ никогда не заменит человеческих исследователей Начнем без эвфемизмов. Современные системы «научного ИИ», начиная от AlphaEvolve и AlphaDev до активных inference-агентов, не приближают нас к автономной науке, а скорее наоборот радикально проясняют границу, которую алгоритмы не могут пересечь. Подобные системы, как правило, формализуют исследование в кач. оптимизации отображения f(k+1) = U(f(k), P, u…
В чем корень проблемы? Не в вычислительных ограничениях, а скорее в логическом типе операций. Любой ИИ реализует отображение A: (S, M, R) → (π, a), где S – пространство состояний, M – модель мира, R – функция вознаграждения. Научное же исследование требует оператора Φ: (S, M, R) → (S′, M′, R′), который не является функцией оптимизации внутри (S, M, R), поскольку он изменяет сами условия применимости оптимальности. По…
Еще раз. Почему «универсальная интерпретируемость» для трансформерных LLM невозможна в общем случае – и что с этим делать. В этот раз хочется раскрыть это вопрос в контексте удачной для подобной экспликации – теоремы Райса, согласующейся, между тем, со многими современными результатами формальной семантики. И в то же время, переосмыслить эти принципиальные ограничения в прагматическом смысле. Коротко – суть – Теорем…
Поступай так, чтобы максима твоей воли могла в то же время иметь силу принципа всеобщего законодательства. И.Кант, КПР §7
💊2
Signed Elisson
Die Mathematik betrachtet … das Allgemeine unter den Zeichen in concreto, die Weltweisheit aber das Allgemeine … in abstracto —Untersuchung über die Deutlichkeit der Grundsätze der natürlichen Theologie und der Moral, 1763 Чтобы познать свойства всех окружностей, «…zeichnet man einen und zieht darin zwei sich schneidende Linien… und betrachtet darin die allgemeine Regel in concreto.»
Signed Elisson
Showing the 12 most recent of 20 posts we hold for @LogicML. View and reaction counts are the latest single reading for each post, not a live figure, and a recent post is still accumulating both. A view count marked ≈ was rounded by Telegram before we ever saw it — t.me prints views in full below 1,000 and to three significant figures above, so ≈1,200,000 means somewhere between 1,150,000 and 1,249,999. Unmarked counts are exact. Text is reproduced from the public post preview and truncated for length.
Citation-graph rank — 745,901 of 1,345,403entries in the measured graph. A weighted position computed from the forward and mention edges below — republished posts weigh more than named mentions — and recomputed periodically, over the whole graph. Published only as this ordinal position, never as a score: a position is a fact, and a score printed beside one channel’s name would read as a verdict this register does not make. The two counts beneath stay separate for the same reason mentions are never summed with forwards anywhere else on this page — a named-by count costs nothing to manufacture. The top 100 by this measure, or how it is computed.
Republished by
Channels on the register that have forwarded this channel's posts into their own feed.
Republishes
Channels on the register whose posts this channel has forwarded.
Built only from forwarded posts we have actually read, on both sides. Coverage is early and deliberately incomplete: a missing link means we have not read the post that would prove it, never that the relationship does not exist. Counts are distinct forwarded posts observed, so they only ever go up as we read more.
Named by 1 registered channel — every channel on the register whose own posts have named this one, by its current username or any other username it currently holds, merged from two separately captured readings of the same fact so a namer caught by only one of them is not missed and a namer both caught is not counted twice. A username this channel has since dropped is not matched — that handle may belong to someone else now, and crediting today’s namer to yesterday’s owner would misattribute it.
Named by
Channels on the register whose posts name this channel's handle.
Names
Channels on the register whose handles appear in this channel's posts.
A mention is a weaker signal than a forward and is counted separately for that reason — naming a channel is not republishing it, and a handle in a post body is easy to place deliberately. The post counts beside each row below are distinct posts in which the handle appeared, from posts we have read on both sides — the “Named by N registered channels” figure above is a different count, of distinct NAMING CHANNELS rather than posts, and is not the sum of the rows under it.
A live page changes as we take new readings, so a citation should name the measurement it is based on, not just the URL. The line below cites the subscriber count as measured 14 August 2026 — this entry's latest reading, not the date you are reading this.
“LogicML” (@LogicML), 508 subscribers as measured 14 August 2026. Telegram Register, tgregister.com/channel/LogicML.
Full measurement history, CC BY 4.0. Every reading this register holds for this entry, not just the latest one, as a dated, downloadable record: CSV · JSON. Free to use with attribution to tgregister.com. Each file carries its own generation timestamp, which is the figure to cite for exactly when the data was retrieved.