tqft
@tqft
Mathematics for Programming, Programming for Mathematics I work on the Lean Theorem Prover, for the Lean FRO.
Latest posts
Against accounts of the same size
4 posts from the last 90 days, next to the under 10K follower range. shown far beyond its own audience, and the audience reacts.
| Metric | This account | Median for under 10K | Ratio |
|---|---|---|---|
| Median views per post | 836 | 4 175 | 0.20× |
| Reach (views ÷ followers) | 5.5× audience | 2.5× audience | 2.21× |
| Engagement rate | 1.87% | 1.41% | 1.33× |
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
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
Reactions — likes, reposts, replies and quotes — divided by views. Median for under 10K accounts is 1.41%.
What the audience does
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.
Similar accounts
Always4Bliss ✓
@always4bliss
303 followers
· 899 posts
Blaise muninga
@PMuninga
303 followers
· 27.7K posts
invariance of salafi communism 🦯 👁️❌
@0jzk4
303 followers
· 8.8K posts
Ady ReY La
@adyrela
303 followers
· 7.2K posts
AzorTheReturn ✓
@AzorTheReturn
303 followers
· 26.7K posts
BANCADA AHORA NACIÓN
@BancadaAN
303 followers
· 36 posts
Bryce Chacon ✓
@bryceschacon
303 followers
· 210 posts
Queens of Rap
@Queens_of_Rap
303 followers
· 3K posts