Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: https://vitalik.eth.limo/general/2026/05/18/fv.html

you either die a devrel or live long enough to see yourself become a podcaster

DeFi United

What's Lens to you? wrong answer only :)

Starting to think, maybe the open social network we need cannot come out of America or be seeded with an American community or funded by American money. Their culture wars must consume everything, it is a climate where no healthy thing can grow

Now Coinbase/Base is the largest farcaster cllient surpass the official one. Problem is Base app is not compatible w others - your Decentralized ID is locked in. Any plan to fix this/? @jessepollak

At this point Elon should just acquire Circle if he wanna have any crypto play. (Mkt cap is 12.9B) Good time to acquire things for ppl with dry cash.

The DAO security fund, activating 75,000+ ETH to strengthen Ethereum security https://firefly.social/post/x/2016898906915811488

Balance of power https://vitalik.eth.limo/general/2025/12/30/balance_of_power.html

Famous NYC Stonewall

2009 H Upmann

🚀 Firefly Mobile v1.0.20 is live! Here’s what’s new: 🔁 Cross-chain swaps — Swap across networks with ease 📊 xStocks assets — Next to the Trending tab Update now. Your all-in-one Web3 terminal just got better. 🧭📱

Describe your Firefly routine in 3 emojis. We’ll go first: 🧭📱💸

Some cool features on Firefly web, coming soon to mobile

For folks interested in decentralized publishing - here are the status of Mirror.xyz and Paragraph https://dune.com/dimensiondev/article Mirror monthly writers for May is 1543 and for Paragraph it's 1306. More data are available on the dune page. 👀👀

New feature delivered by @fireflyapp team through community request! Now you can know whether a wallet is hacked or connected to hacking activities. Checkout on web https://firefly.mask.social/profile/wallet/0x934b510d4c9103e6a87aef13b816fb080286d649/activities BUIDL ❤️

loll

d/acc, one year later: vitalik.eth.limo/general/2025...

玩过 女神异闻录5 皇家版 🌕🌕🌕🌕🌕

看过 沙丘2 🌕🌕🌕🌗🌑

This message is used to verify that this feed (feedId:72275868294696960) belongs to me (userId:72269843828628480). Join me in enjoying the next generation information browser follow.is.

玩过 博德之门3 🌕🌕🌕🌕🌕

Sup

my mom named her kid (me) “蓝天” which means bluesky in chinese, so i called myself “jay” to become a bird instead, and then some birdapp company named their project “bluesky” and i ended up running it.

We sincerely thank Jack for his help funding and initiating the bluesky project. Today, Bluesky is thriving as an open source social network running on atproto, the decentralized protocol we have built.

Cypherpunks: Freedom and the future of the internet

DJ Grimes

yup

👀

GN Istanbul!

👀

Bluesky転生者ビンゴ⭐

DJ Grimes

🇲🇪

Landed in Montenegro

First Bluesky posts I saw were anime pfps using an AI duck to plan covert paramilitary operations. This will be a trillion-dollar app.