tweetindex
FR

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

Derniers 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 →

Face aux comptes de taille comparable

4 posts des 90 derniers jours, à côté de la tranche de under 10K abonnés. diffusé bien au-delà de son propre public, et ce public réagit.

Vues médianes836ce compte4 175médiane pour under 10K
Portée, %553.97%ce compte250.82%médiane pour under 10K
Engagement, %1.87%ce compte1.41%médiane pour under 10K
IndicateurCe compteMédiane pour under 10KRapport
Vues médianes par post8364 1750.20×
Portée (vues ÷ abonnés)5.5× audience2.5× audience2.21×
Taux d'engagement1.87%1.41%1.33×

Autres comptes de cette tranche →   Comparer avec un autre compte →   Comment ces repères sont établis →

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.

Comptes similaires