abdel @AbdelStark · 23 Mar 2026
Can LLMs be PROVABLE computers? Percepta showed that a transformer can BE a computer. Compiled weights, deterministic execution, 30k tokens/sec. But nobody asked the obvious follow-up: how do you know it computed correctly? So I built the verification layer. A STARK https://t.co/4r5uUSQqbH
183 178Views
1 220Likes
152Reposts
59Replies
24Quotes
1 166Bookmarks
Is that a lot?
74.6×vs this author's median2 456 views is typical
100Percentile for this authorof 6 recent posts
138×vs 10K–100K median1 328 views is typical
5.9× audienceReachviews ÷ followers
0.79%Engagement rateof viewers reacted