RT Will Corcoran (@corcoranwill)There's a new chapter starting for the Protocol cluster. We're welcoming new leads and coordinators, and continuing our work toward Glamsterdam, Hegotà, and the Strawmap.More in the blog below 👇 ...

(yes, even the shrimp matter. Many people have the impression that shrimp welfare is some kind of nerd thought experiment gone crazy, but the reality is, well ... ask your bot about "eyestalk ablation") ...

Sent another 64 ETH to the Animal Welfare Fund.I encourage others to think and act more in support of our non-human cousins too! The extreme suffering we're imposing on them in the billions is not something we talk about often, but it continues to be one of the larger blights on humanity.And I'm getting optimistic that this century we can finally end it. Farming practices are improving, synthetic alternatives are improving.Also, in my recent experience, good old low-tech vegetarian and vegan food has improv ...

"Even more bugs are inevitable, software is all going to become probabilistic now" is cope. "AI bug-finding means we have to embrace closed-source now" is a psyop.Writing buggy code has moved from hard to trivial. Writing secure code has moved from impossible to hard. ...

This theorem (left) means, the only way you can make proofs for two different things in the same position in the same Merkle tree, is by breaking the underlying hash function.As a reviewer, you don't have to verify how Merkle branches are implemented or how the theorem is proven (right), you just have to verify what the theorem says, and that Lean verifies it.And the beautiful thing is that you can even write live production code (including eg. CLI tools) directly in Lean. ...

Getting increasingly bullish on just vibe-coding the important things in Lean.eg. see:https://t.co/YOdVyJMNAvhttps://t.co/XbDCD0BCEu ...

RT binji (@binji_x)PRIVACY IS MORE THAN MONEYThis is what the Kohaku project is, straight from its core contributors, @VitalikButerin and @ncsgy.TLDR: it is a serious attempt to rethink online safety and privacy across money, AI, and life.Let’s dive in. https://t.co/SicUZffGr7 ...

"A prediction market is only as good as its oracle"I'm glad we're finally seeing PMs start to move to oracles that are both not centralized and not financialized.Next step is to make attester voting private.https://t.co/5HEQFPPn8HMilliΞ (@llamaonthebrink):The final verdict from @Trueo_app’s most contentious market has been delivered.The Jury voted for an outcome Reset.In other words, they ruled that it was too early to resolve the market.But there were some very interesting things about this dispute…For sta ...