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@tqft19 Aug

@tqft cc @octonion 245 views · 3 likes · 0 reposts · 0 replies Open on X →

tqft@tqft19 Aug

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@tqft19 Aug

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@tqft19 Aug

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	อัตราส่วน
ยอดดูมัธยฐานต่อโพสต์	836	4 175	0.20×
การเข้าถึง (ยอดดู ÷ ผู้ติดตาม)	5.5× audience	2.5× audience	2.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.

โพสต์ล่าสุด

เทียบกับบัญชีขนาดเดียวกัน

Growth & engagement

Views per post

Engagement rate per post

What the audience does

บัญชีที่คล้ายกัน