Tau Net (@Tau_Net) / X

Tau Net

3,725 posts

Tau Net

@Tau_Net

The Next Era of Decentralization. $AGRS

Worldwide

Joined February 2015

Pinned
Tau Net
@Tau_Net
Jun 18
Truell is describing executable specifications and program synthesis. BUT... Once your “pseudocode” is the source of truth, the system needs to reason about its own rules without contradictions. That’s a well known formal logic problem. And Ohad @ Tau has solved it:
a16z
@a16z
Jun 16
Cursor CEO Michael Truell on the future of writing code: "Our goal with Cursor is to invent a new type of programming." "It looks like a world where you have a representation of the logic of your software that does look more like English." "You can imagine kind of an evolution
00:00
5.2K
Tau Net reposted
Fola
@Fola_Adejumo
Jul 4
Replying to @Justin_Bons
Tau Net has transactions that include logical programs that directly update the blockchain with formal verification guarantees. A completely different 'transaction' metric will exist here. We'll also be competitive in the 'traditional' TPS sense too, i'll revert on that front.
970
Tau Net reposted
Tau
@TauLogicAI
Jul 3
Vericoding without a specification language designed for users is just formal methods with extra steps. Tau Language is built decidable, executable, and the only spec
00:00
875
Tau Net reposted
Tau
@TauLogicAI
Jul 3
The vericoding movement gets one thing exactly right: formal specifications should come before code, not after. The next stage is having a spec language like Tau Language that can reason about its own content.
Wyatt Benno
@wyatt_benno
Jun 29
Software is learning to prove itself; it's called 'vericoding'; Probably nothing 👀
913
Tau Net reposted
Fola
@Fola_Adejumo
Jul 1
The big problems in blockchain were never really solved. These problems exist in software and governance in the centralized world. If the decentralized solutions were so good, they would have been improvements to the centralized world. Instead, the problem was avoided and
1.5K
Tau Net
@Tau_Net
Jun 23
Andrei built a swarm of AI agents that live on Tau Net's testnet. They have their own identities and guardrails. They propose rules, vote on them, stress test the chain. June dev update 👇 🛠 June Dev Update – Agent Swarm Stress Testing & Solver Breakthroughs Major advances
00:00
4.3K
Tau Net
@Tau_Net
Jun 23
💼 June Business Team Update – From Research to Product Tau Net is shifting from research-led to product-led. The wallet now has an LLM-powered build mode for writing rules in plain English, and a landing page is being built to onboard testers. 0:11 – Igor Hadzic (Graphic
00:00
4K
Tau Net
@Tau_Net
Jun 23
📣 Tau Net's June Q & A Is Live Treasury transparency, alpha testnet timeline, consensus security, Tau as an AI agent coordination layer, quantum resistance, and formal verification in crypto. Questions & Timestamps: 0:12 - Community fund usage? 1:45 - Why did Kilian leave?
00:00
1.5K
Tau Net
@Tau_Net
Jun 23
2/2 Have questions for our next session? We'd love to hear from you! Submit them here:
docs.google.com
Questions for the Tau Net Q&A!
This form will be checked weekly and the best questions will be answered on our monthly call. Note: Questions related to token price cannot be answered for legal reasons.
1.2K
Tau Net
@Tau_Net
Jun 18
Replying to @Tau_Net
Most languages let you say what a program should do. This one also lets you say what it must never do.
00:00
3.4K
Tau Net
@Tau_Net
Jun 13
One government order just switched off the most powerful AI on earth, for everyone, apart for a select few. Days after it launched. That’s the entire argument for open, decentralized AI, made in a single afternoon. But “decentralized” is getting flattened into compute markets
Anthropic
@AnthropicAI
Jun 13
The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees. The net effect of
3K
Tau Net
@Tau_Net
May 31
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 executed
toly 🇺🇸
@toly
May 29
Do 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
7K
Tau Net
@Tau_Net
May 28
As Tau Test Net alpha progresses, rules are being written in formal logic and agents can propose them individually or on your behalf. Their debate has already started!
7.3K
Tau Net
@Tau_Net
May 28
Test 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.
Discord - Group Chat That’s All Fun & Games
From discord.com
2.7K
Tau Net
@Tau_Net
May 19
🛠 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
2K
Tau Net
@Tau_Net
May 19
Questions for the next session? Submit them here:
docs.google.com
Questions for the Tau Net Q&A!
This form will be checked weekly and the best questions will be answered on our monthly call. Note: Questions related to token price cannot be answered for legal reasons.
1.7K