Grigore Rosu ✓

@RosuGrigore · Champaign, IL · joined 16 Jun 2017

Professor UIUC @siebelschool | Creator K Framework | Founder @fastxyz @rv_inc | Formerly @NASA. Logic, semantics, verification.

14 867Followers

412Following

2 143Posts total

6.5KViews on collected posts

Latest posts

Grigore Rosu ✓@RosuGrigore12 Sep

Looks like a must-attend event. 472 views · 2 likes · 0 reposts · 0 replies Open on X →

Grigore Rosu ✓@RosuGrigore11 Sep

1/6 The next scaling law for coding models may be intelligence-per-token, or ITP: how much reliable reasoning each token buys. Benchmark scores keep climbing, while practical context windows seem to move much more slowly. Context will grow, but it will always be finite and https

757 views · 15 likes · 4 reposts · 3 replies Open on X →

Grigore Rosu ✓@RosuGrigore11 Sep

Opus 5, even with Max, seems much worse than it used to be. Not only in comparison with Fable, but in comparison with itself before. It is literally dumb. 534 views · 5 likes · 2 reposts · 0 replies Open on X →

Grigore Rosu ✓@RosuGrigore9 Sep

Yep, that's the spirit! The one we love and inspires us. I remember back in the day when the news spread that Grigori solved the Poincaré conjecture. Some of my friends who understood that level of math said that the proof was correct, and I believed them. Now I struggle to 1.2K views · 6 likes · 0 reposts · 0 replies Open on X →

Grigore Rosu ✓@RosuGrigore3 Sep

Coding models are running out of data 🧵 The ability of LLMs to code depends heavily on the data they see about code, and lately the industry seems to have consumed essentially all high-quality code data for training and evaluation. Progress is visibly slowing. Whoever finds the

3.6K views · 58 likes · 17 reposts · 13 replies Open on X →

Against accounts of the same size

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

Median views757this account924median for 10K–100K

Reach, %5.09%this account3.62%median for 10K–100K

Engagement, %1.31%this account1.52%median for 10K–100K

Metric	This account	Median for 10K–100K	Ratio
Median views per post	757	924	0.82×
Reach (views ÷ followers)	5.09%	3.62%	1.41×
Engagement rate	1.31%	1.52%	0.86×

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

3.6K3 Sep

1.2K9 Sep

53411 Sep

757

47212 Sep

Last 5 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.47%3 Sep

0.51%9 Sep

1.31%11 Sep

2.91%

0.42%12 Sep

Reactions — likes, reposts, replies and quotes — divided by views. Median for 10K–100K accounts is 1.52%.

What the audience does

Likes58.1%86 in total

Reposts15.5%23 in total

Replies10.8%16 in total

Bookmarks15.5%23 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.