Blockchain upgrades usually require new software and a coordinated restart across all nodes. Tau Net introduces technology that allows a blockchain to amend itself without a hard fork, client updates, or downtime. This demo shows how Tau Net users can upgrade the network's consensus mechanism simply by stating their requirements and agreeing to them. You can change the law of the Tau Net blockchain right inside a block, ushering in a new era of blockchain and software governance capabilities. Showcasing Pointwise Revision: Pointwise Revision is a built-in mechanism that jointly takes new software requirements and the current specification as input. Then outputs a program that consistently satisfies both the new requirement and the maximum of the previous specification. This allows software to update correctly according to given rules, and it is all handled by providing only the required changes to the software. Explore testnet alpha here: github.com/IDNI/tau-testnet

Andrei fixed a testnet issue where repeated dashboard requests could stall a node. The update limits heavy requests and contains connection crashes, helping keep transaction processing moving. Merged into the testnet code. github.com/IDNI/tau-testnet/…

Tau Language lead dev David Castro added another control for demanding calculations in Tau: developers can choose how much work a reasoning step is allowed to do. More control when building and testing complex rules. Merged into Tau Language's main branch. github.com/IDNI/tau-lang/com…

🛠 30% faster, 52% less memory and safer transactions September’s development update includes measurable performance gains and several features that make Tau more practical for everyday use. In the bitvector benchmark, solver and caching improvements reduced runtime by 30% and memory use by 52%. The team also added: • Rule sharing through signed transactions, with the recipient free to accept or reject • Fast and slow processing lanes, so demanding rule calculations do not hold up normal payments • Transaction preflight checks, allowing a wallet to see whether a transaction will be accepted before sending it • More support for running Tau through browsers and Node.js • Continued work on LTL synthesis, code generation and bitvector correctness Ohad closes with a research question that could have much wider implications: how Boolean algebra connects with the foundations of machine learning. youtube.com/watch?v=XpztPQXO…

💼 Tau Wallet is starting to look like a product September’s business update gives us a closer look at "Simple Mode": the proposed default experience for Tau Wallet. Instead of confronting users with technical controls, the wallet opens with an AI agent. You can describe what you want to do, create or choose rule templates, receive rules shared by other people and make payments using natural language. The team also shows how this could work on mobile and explains what programmable money means in practice: • Restrict payments to approved recipients • Keep balances private • Set spending rules for a team • Automatically return unused funds after a deadline Fola also explains why Tau is now entering its product phase. The challenge is no longer only proving the technology works. It is making those capabilities simple enough for people to use. Watch the update: youtu.be/XTKjIxxAxpI

🎙 September Q&A: demos, digital identity and AI safety Nine community questions answered in just over nine minutes. 0:11 - When will Tau be ready to demonstrate at crypto events? 3:20 - What still needs to happen before the public alpha? 1:41 - Can Tau remain practical at blockchain scale? 5:41 - Will the wallet eventually support voice commands? 6:35 - Could Tau provide proof of human, age or residency? 8:06 - How could logical AI help make AI systems safer? The clearest takeaway is that the underlying technology can already be demonstrated. The team’s current focus is turning it into something people immediately understand, such as a wallet where users can create their own rules for approvals, trusted addresses and asset management. Watch the full Q&A: youtu.be/Qfpfaj-Q75I

Token voting means little when admins still control the upgrades Tau takes a different route where users state requirements, consensus is calculated automatically, and the chain amends its rules in a block without hard forking, client updates or downtime. Live on testnet!

🛠 August Dev Update. This month, the development team pushed Tau Net to be a network whose rules can evolve without redeploying the whole system. Here’s what shipped 👇 Consensus can change on-chain: Validator eligibility can now be expressed directly in Tau logic, and governance proposals can change consensus and fee-related rules for the next block without changing or redeploying nodes. Andrei also demonstrated a self-amending blockchain running these live rule changes. A more modular architecture: Boolean algebra now has a self-contained plugin architecture, making the system easier to extend and improving development and build times. REPL → browser: The team is building a new FTXUI-based REPL with a consistent interface across platforms, bringing Tau closer to a browser-based experience. Stronger multi-node reliability: Extensive testing hardened network restarts, reorganizations, synchronization, governance, persistence, and networking, and improved wallet transaction-status reporting. Deeper Tau research: TABA research continues to produce new Boolean algebra results, including potential applications for optimizing special cases of tables and exploring new connections to machine learning. Watch the full developer update: 0:07 - Karim Kaddeche: Development overview 4:03 - Andrei Korotkoff: Live consensus changes + self-amending blockchain 5:54 - David Castro Esteban: Core cleanup, optimization & testing 7:03 - Tomáš Klapka: Boolean algebra plugins + new REPL 9:07 - Ohad Asor: TABA research & machine learning

💼 August Business Team Update is Up! Here’s what’s new: 0:12 - Consensus, explained Igor has wrapped a new consensus demo with clearer visuals, voice-over and scripting, making it easier to understand how validators and rule proposals work. He’s also preparing more feature demos and exploring university outreach to bring specialist knowledge into network testing. 2:13 - See exactly what your code changes: Jamie introduced the wallet’s new Code Impact view in Build Mode. Users can now trace how requirements affect network, DAO, and existing user rules and spot overlapping or conflicting rules before deployment. The view also brings together: • Graphical traceability • Controlled natural language • Tau Language code views • Tools for resolving rule conflicts And there’s a first look at an upcoming consensus interface. 4:53 - Building toward external testing: Fola is coordinating demos, advertising, and partnership planning, while exploring opportunities across blockchain, economics, and finance. The focus now is on having the right partnerships and release plan in place when Alpha is ready for external testing. TestNet Alpha is moving from concepts and demos toward something people can actually test, trace, and build with.