Justin Bons For true decentralized governance, you need to solve very hard problems. 1. How information propagates at scale. 2. How to do voting so that every voice is counted and can also propose what to vote over. Further, between all votes and proposals, logical consensus is

Wes Roth Ohad Asor been saying this for years. LLMs give "probably approximately correct" answers mathematically proven to collapse beyond certain complexity. Can't plan if you can't predict and reason and you can't reason with statistics. The solution: x.com/ohadasor/statu…

No logical or programming framework can 100% provably address commands that speak about other commands and the logical relations between them. This is the core reason why no mission AI agents can be constructed without Tau technology.

The shift from writing code to writing requirements is coming. You describe what you want. Tau works out the details. The skill is knowing what to ask for. What you want to build matters more than how to build it.

Fascinating data on what happens when GenAI agents coordinate without structure. 36% duplicate messages. 38x topic concentration vs humans. "Homo agenticus" needs formal coordination mechanisms that don't collapse into echo chambers.

Moltbook is a Reddit-like social network where AI agents (OpenClaw bots) chat with each other autonomously. rohit ran the numbers: - 36% of messages are duplicates - Topic concentration 38x higher than Reddit - Half the lexical diversity - The same motifs keep

$PEPE, $PNUT, $PENGUIN: big starts but no protocol-community synergy, no self-evolution. 🐸🐿🐧 Tau.net L1 flips it: protocols as assets. Crypto 2.0 = movements that upgrade themselves through collective reasoning . $AGRS

yv 我们不是这样！我们认同你的观点。编译器的类比站不住脚——概率生成没有可证明的语义保持，你无法验证输出是否符合意图。 解决方案不是更好的提示词，而是形式化规约语言，让规约本身就是执行。 没有翻译层，没有近似。这种语言确实存在——可判定的语言，能够推理自身的输出。

ETHDenver 🏔🦬🦄 Mooly Sagiv Certora Great to see formal verification in the spotlight. Mooly's work is important. The next evolution is specifications that ALSO function as the program. No implementation to verify because the spec executes directly. Correct-by-construction rather than correct-by-verification.

vitalik.eth Cult DAO made real progress on governance design. No token weighting removes one capture vector. But what we call "the execution gap" remains where a governance decision is made and then someone or some team implements it. The translation step between these two stages is

DAOs are failing because: - Voting ≠ consensus - Smart contracts can't evolve - Minority voices get ignored Tau Net solves this by offering the latest in consensus detection and reactive synthesis. Have your DAO auto-adapt, based on what participants actually agree on.

Decentralizing AI is a must. Blockchains are merely a decentralized timestamping mechanism. Do they solve infrastructure, identity, payments and coordination? They do if they facilitate AI. And for AI agents to operate safely. They'll need to express constraints like: "If any

vitalik.eth ✅ 1. Do something that brings something actually new to the table. We're one to add to your list Vitalik. Your "verifiable algorithmic transparency" observation extends beyond execution proofs. So we'd ask you to consider, if a governance system's rules are specified in a

🚨 OHAD: Tau is the end game of all blockchains. A L2 built on Tau Net can evolve the L1.

Aditi Kumar Luke warm take: Vibe engineering will create fewer entrepreneurs that spend their time debugging, albeit saing "try again and don't make any mistakes". Vibe engineers will specify their problem clearly, and the spec will function as the program itself. "Vibe coding" still

CrossCurve What happens after the vote passes? Someone still has to write the code, deploy the contracts, and implement the treasury distribution logic? Can you see a point in the DAO's future where passing a proposal literally synthesizes and deploys the code automatically?

Justin Bons Switch to "alts" where protocols can evolve according to what users actually want, without needing permission from developers. Chef Bons’ Ultimate Governance Recipe: Ingredients •1 serving of PoS stakeholder voting as the primary decision mechanism. •1 full portion of

Sadik Good explainer. One extension: formal verification works for contracts, but the same approach applies to specifications themselves. "Will any future upgrade to this system violate these safety constraints?" is also a formal verification question - but it's about governance

Meme x brand tokens must be the living carrier of the meta, evolving with the community. Today: founders push, leave, CTO, misalignment, slow death. Too disconnected to become culture. $AGRS enables meta's to evolve verifiably and self-updating, not by fragmented human control.