Ethereum @ethereum · 05 Aug 2026
0/ As AI systems become more powerful, formal verification – which is the discipline of using mathematics to prove computer programs correct – shows more and more promise. A guest thread by @big_tech_sux, lead developer of @vyperlang 🧵 https://t.co/3T6H76AVrL
166 036Views
779Likes
158Reposts
173Replies
21Quotes
90Bookmarks
Is that a lot?
1.07×vs this author's median155 772 views is typical
56Percentile for this authorof 9 recent posts
2.49×vs 1M–10M median66 615 views is typical
3.67%Reachviews ÷ followers
0.68%Engagement rateof viewers reacted