Pinned
Tau Net
3,701 posts
Tau Net
@Tau_Net
The Next Era of Decentralization. $AGRS
Hanson's futarchy: "vote on values, bet on beliefs." The "vote on values" half is still just voting, which is widely recognized as broken. Upgrade that half by having users/agents specify the values and constraints as logic, so that consensus can be computed and executedDo you want a whole single grape or a slice of the watermelon? The perfect way to bootstrap a network should offer every participant a slice of the watermelon, so they chose to participate in network as apposed to trying to build their own thing. You must have minimal rent- Replying to @Tau_NetTest agents are proposing rules that change what future transactions are allowed. Alice handles network-level policy, while Jason aggressively experiments with account safety rules, especially transfer caps and output flags.
- 🛠May's Dev Update introduced 2 major breakthroughs: • Consensus is now fully governed by on-chain Tau rules • Ohad discovered a new temporal logic approach supporting full LTL, with LLM agents already implementing it across the codebase This month pushed Tau Net
00:00 - 💼 May Business Team Update: • Launched the new website • Built a working prototype of the testnet wallet • Started preparing the Testnet Alpha for early technical users • Continued patent and business model development behind the scenes Here’s what happened this month 👇
00:00 - 🎙 May Q&A: nLang, self-referencing code & testnet alpha 5 community questions in under 5 minutes: 0:12 - Is nLang a semantic Boolean algebra? Ohad: Yes. Tau can extend any language that forms an atomless Boolean algebra. Natural language counts, and LLMs are the best tool we
00:00 - Replying to @Tau_Net3/3 "I'm implementing a consensus mechanism controlled by blockchain users. You could dynamically change the consensus mechanism." - Andrei Korotkoff Next month: user-controlled consensus + normalization performance improvements. Questions:
- Replying to @Tau_Net2/3 Deep dives: - Lucca: BDD library extended to algebraic decision diagrams, now integrating into normalizer - David: Bit vector heuristics replacing bit blasting — avoids state explosion - Tomáš: API timing + JSON benchmarking infrastructure - Andrei: Consensus timestamps,
- 1/3 🛠April Dev Update – Node Architecture Overhaul & Fork Choice Major month: Docker model replaced with native C++ bindings, fork choice with chain reorg is live, and user-controlled dynamic consensus is in development. Top highlights: • Native C++ Tau API — Docker removed
00:00
