tweetindex
RU

tqft

@tqft

Mathematics for Programming, Programming for Mathematics I work on the Lean Theorem Prover, for the Lean FRO.

151Followers
41Following
428Posts total
14KViews on collected posts

Последние посты

tqft@tqft
@tqft cc @octonion 245 views · 3 likes · 0 reposts · 0 replies Open on X →
tqft@tqft
Or join us on the Lean zulip to discuss: https://t.co/XofBigvDbq 438 views · 10 likes · 1 reposts · 0 replies Open on X →
tqft@tqft
Today we're launching the Palomar registry at https://t.co/dBr0M9TQMv, an index of formalized mathematics results. If you have a GitHub repo with some maths, and can set up https://t.co/UCLgkPC9lu for verification and https://t.co/FDSmIK5LJa for metadata, please submit! 12.1K views · 70 likes · 24 reposts · 2 replies Open on X →
tqft@tqft
Take a look at Terry Tao's announcement post at https://t.co/3fzXBh7Wq5 1.2K views · 27 likes · 5 reposts · 1 replies Open on X →

На фоне аккаунтов своего размера

4 постов за последние 90 дней рядом с диапазоном under 10K подписчиков. показывается далеко за пределами своей аудитории, и она отвечает.

Медианные просмотры836этот аккаунт4 175медиана для under 10K
Охват, %553.97%этот аккаунт250.82%медиана для under 10K
Вовлечённость, %1.87%этот аккаунт1.41%медиана для under 10K
ПоказательЭтот аккаунтМедиана для under 10KОтношение
Медианные просмотры на пост8364 1750.20×
Охват (просмотры ÷ подписчики)5.5× audience2.5× audience2.21×
Вовлечённость1.87%1.41%1.33×

Другие в этом диапазоне →   Сравнить с другим аккаунтом →   Как считаются эти ориентиры →

Growth & engagement

How the posts we collected actually performed: views and reaction rate post by post, what the audience did with them, and where the follower count goes.

Views per post

1.2K19 Aug
12.1K
438
245

Last 4 collected posts, oldest on the left. The scale is logarithmic: one post can outrun the rest a hundred times over.

Engagement rate per post

2.67%19 Aug
0.84%
2.51%
1.22%

Reactions — likes, reposts, replies and quotes — divided by views. Median for under 10K accounts is 1.41%.

What the audience does

Likes59.1%110 in total
Reposts16.1%30 in total
Replies1.6%3 in total
Quotes2.7%5 in total
Bookmarks20.4%38 in total

Share of every reaction we collected for this account. Replies mean argument, reposts mean endorsement, bookmarks mean the post was worth keeping.

The follower curve appears once this account has two daily snapshots — we take one a day, and this one is on its first.

Похожие аккаунты