tweetindex

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

Against accounts of the same size

4 posts from the last 90 days, next to the under 10K follower range. shown to more people than peers of the same size.

Median views836this account2 112median for under 10K
Reach, %553.97%this account157.00%median for under 10K
Engagement, %1.87%this account1.62%median for under 10K
MetricThis accountMedian for under 10KRatio
Median views per post8362 1120.40×
Reach (views ÷ followers)5.5× audience157.00%3.53×
Engagement rate1.87%1.62%1.16×

Others in this range →   Compare with another account →   How these benchmarks are built →

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.62%.

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.

Latest posts

@tqft cc @octonion 245 views · 3 likes · 0 reposts · 0 replies 19 Aug 2026 · Open on X →
Or join us on the Lean zulip to discuss: https://t.co/XofBigvDbq 438 views · 10 likes · 1 reposts · 0 replies 19 Aug 2026 · Open on X →
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 19 Aug 2026 · Open on X →
Take a look at Terry Tao's announcement post at https://t.co/3fzXBh7Wq5 1.2K views · 27 likes · 5 reposts · 1 replies 19 Aug 2026 · Open on X →

Similar accounts