Alex Van de Sande (avsa.eth) ✓
@avsa · Rio de Janeiro · joined 23 Oct 2006
Preventing human-machines conflicts since 2014. Ethereum Foundation Alumni (2014-2018), co-founder of ENS (2017), co-founder of Higher Order Company (2023).
44 670Followers
2 010Following
21 400Posts total
112.5KViews on collected posts
โพสต์ล่าสุด
กำลังค้นหาโพสต์ใหม่…
The iPhone Duo when closed should’ve looked like a closed MacBook and not two weirdly stacked phones. https://t.co/cjjNxmC7pn
1.5K views · 4 likes
· 0 reposts · 1 replies
Open on X →
I am very excited about the project. Right now it's all open source and free to the world. We are building hoping the world appreciates it.
Ask your agent about Bend.
https://t.co/rezQDwW0NA
1.3K views · 12 likes
· 0 reposts · 0 replies
Open on X →
For parallel tasks it's great. Not always. For Mandelbrot it was a 100x. Mandelbulb 60x. In Lenia it gave me a 6x improvement. Particle Life was a 5x. Basic Game of Life was a tie. Try it yourself, ask your AI to run the benchmarks and see what it thinks! https://t.co/dL6vTXfyCE
1.4K views · 11 likes
· 0 reposts · 1 replies
Open on X →
0:15
0:15
0:30
Can you do it with Lean? Sure, but Bend is not only formal verification. It's about parallelization. Every code runs on the GPU. Anything that can be parallelized will be. It's like writing in CUDA.
I asked Bend to generate these fractals for me – it's not always guaranteed, but
1.5K views · 12 likes
· 0 reposts · 1 replies
Open on X →
0:30
0:10
0:20
Now imagine you did that for anything in your code. Imagine you are vibe coding a game and want to make sure the agent doesn't break some fundamental rules.
In this example I built a tiny chess board and added a fundamental rule of white cannot mate in one. Then I asked the AI h
1.8K views · 15 likes
· 0 reposts · 2 replies
Open on X →
So what is it?
You've heard about AI solving Erdos Problems every day. How do they do it? They can do it because math has been formalized in code, mostly by Lean (also a Brazilian developer BTW).
Like Lean, Bend is formally verified. Here's an example of it finding proofs in ht
2.2K views · 14 likes
· 0 reposts · 1 replies
Open on X →
If you're also a developer and love terminals, you should follow the official site and install the script.
But for everyone else I build this site, to help you give your AI superpowers. Check the demos and paste the prompt!
https://t.co/BmVQIvQ6F4
2.5K views · 32 likes
· 1 reposts · 1 replies
Open on X →
Victor is a brilliant engineer. He built formal verification for the EF 7 years before leadership started talking about it as a priority. He pivoted the company to "symbolic AI" way before AI could solve Millennium Problems and vibe coding was a word. He was so focused on
48.7K views · 749 likes
· 33 reposts · 9 replies
Open on X →
Victor: we spent years to create a new language that is formally verified, fast, and runs in the gpu. What if we did not launch it for a few years more while we concocted a whole new project to get money?
HOC investors: hell no! Just ship it!!
1.4K views · 4 likes
· 0 reposts · 0 replies
Open on X →
Congratulations on the great run, team. Balancer had vision, had great products, had great devs, but sometimes that’s not enough.
1.5K views · 12 likes
· 0 reposts · 4 replies
Open on X →
* helped launch ethereum
* launched the first Ethereum Wallet and Web3 Browser.
* coded one of the first ERC20 tokens, DAO, token sale and NFT (ENS!) contracts, and they were used as templates in the Ethereum home.
* spent 2 years promoting ENS as a primary means of login
0 views · 445 likes
· 21 reposts · 80 replies
Open on X →
เทียบกับบัญชีขนาดเดียวกัน
12 โพสต์จาก 90 วันที่ผ่านมา เทียบกับช่วง 10K–100K ผู้ติดตาม การเข้าถึงปกติสำหรับขนาดนี้ แต่การตอบสนองอ่อนกว่าส่วนใหญ่.
ยอดดูมัธยฐาน1 530บัญชีนี้924ค่ามัธยฐานของ 10K–100K
การเข้าถึง, %3.42%บัญชีนี้3.62%ค่ามัธยฐานของ 10K–100K
การมีส่วนร่วม, %0.89%บัญชีนี้1.52%ค่ามัธยฐานของ 10K–100K
| ตัวชี้วัด | บัญชีนี้ | ค่ามัธยฐานของ 10K–100K | อัตราส่วน |
|---|---|---|---|
| ยอดดูมัธยฐานต่อโพสต์ | 1 530 | 924 | 1.66× |
| การเข้าถึง (ยอดดู ÷ ผู้ติดตาม) | 3.42% | 3.62% | 0.95× |
| อัตราการมีส่วนร่วม | 0.89% | 1.52% | 0.58× |
บัญชีอื่นในช่วงนี้ → เปรียบเทียบกับบัญชีอื่น → ค่าอ้างอิงเหล่านี้คำนวณอย่างไร →
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
48.1K14 Sep
1.5K15 Sep
1.4K17 Sep
48.7K18 Sep
2.5K
2.2K
1.8K
1.5K
1.4K
1.3K
1.5K
521
Last 12 collected posts, oldest on the left. The scale is logarithmic: one post can outrun the rest a hundred times over.
Engagement rate per post
0.74%14 Sep
1.05%15 Sep
0.28%17 Sep
1.63%18 Sep
1.38%
0.69%
0.94%
0.84%
0.84%
0.93%
0.33%
1.73%
Reactions — likes, reposts, replies and quotes — divided by views. Median for 10K–100K accounts is 1.52%.
What the audience does
Likes71.3%1 145 in total
Reposts3.2%51 in total
Replies3.7%60 in total
Quotes1.8%29 in total
Bookmarks20.0%321 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.
บัญชีที่คล้ายกัน
F1-Gate.com ✓
@F1Gate
89.3K followers
· 139.2K posts
Bellesa Plus ✓
@bellesaplus
89.3K followers
· 5.2K posts
KittyKatGirl😻🙏💞🐞 ✓
@Mary1Kathy
89.3K followers
· 87.9K posts
S◎LPlayboy ✓
@SOLPlayboy
89.3K followers
· 56.5K posts
วันบันเทิง - oneบันเทิง ✓
@onebunterng
89.3K followers
· 12.6K posts
BlogMickey.com ✓
@Blog_Mickey
89.3K followers
· 59.1K posts
Codey Steele ✓
@CodeyXXXSteele
89.3K followers
· 16.7K posts
Deco 20
@Deco20oficial
89.3K followers
· 816 posts