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

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

Face aux comptes de taille comparable

5 posts des 90 derniers jours, à côté de la tranche de 10K–100K abonnés. diffusé à plus de monde que les comptes de taille comparable.

Vues médianes757ce compte924médiane pour 10K–100K

Portée, %5.09%ce compte3.62%médiane pour 10K–100K

Engagement, %1.31%ce compte1.52%médiane pour 10K–100K

Indicateur	Ce compte	Médiane pour 10K–100K	Rapport
Vues médianes par post	757	924	0.82×
Portée (vues ÷ abonnés)	5.09%	3.62%	1.41×
Taux d'engagement	1.31%	1.52%	0.86×

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

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.