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

Posts recentes

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 →

Em comparação com contas do mesmo porte

5 posts dos últimos 90 dias, ao lado da faixa de 10K–100K seguidores. aparece para mais gente do que contas do mesmo porte.

Mediana de visualizações757esta conta924mediana para 10K–100K

Alcance, %5.09%esta conta3.62%mediana para 10K–100K

Engajamento, %1.31%esta conta1.52%mediana para 10K–100K

Métrica	Esta conta	Mediana para 10K–100K	Proporção
Mediana de visualizações por post	757	924	0.82×
Alcance (visualizações ÷ seguidores)	5.09%	3.62%	1.41×
Taxa de engajamento	1.31%	1.52%	0.86×

Outras contas desta faixa → Comparar com outra conta → Como estas referências são construídas →

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.