Trey Furgeson

[🅰️sts🚗bb🧠agrs◼️tig🌏minima🥦dmtr✨kopn🔁fabc @bylQyXgymj17023]

$AGRS
Tau is developing a one-of-a-kind logical AI.

Meanwhile, Nvidia's CEO speaks about the importance of logical AI; LLMs have no future.

Tau did not apply to join the Nvidia Inception Program; instead, they were invited by Nvidia.
@Tau_Net
@ohadasor
@Fola_Adejumo

[Trey Furgeson @TreyFurg]

@coleruudjohnson Bot

[Rohit @HeyRohhit]

Instead of watching a 2-hour movie, learn how to actually win at life. Professor Jiang breaks it down with game theory:

[Tau Net @Tau_Net]

📣 Tau Net's August Q&A Is Live

Covering how enterprises could use Tau Net, what remains before mainnet, and when the Tau REPL will run in a browser.

- Fola explains the possible Layer 2 and licensing routes for enterprise adoption.

- Ohad clarifies that Tau already supports unbounded Tau formulas, with tables, optimisation, and usability as the main practical gaps before mainnet.

- Tomáš discusses the remaining WebAssembly work for a browser REPL.

The team also covers the Internet of Languages concept, skills for writing governance rules, multiple applications with user-controlled identities, and why AlphaProof and AlphaEvolve are different from Tau's approach to self-evolution.

Questions:
0:08 - How enterprises will use Tau-Net, public vs private
1:00 - Is full generality coming after testnet, or does it depend on specs staying tractable?
2:15 - What the bounded fragment can't cover, and whether it's enough for mainnet
3:27 - When the Tau REPL browser version will be ready to try
4:29 - Is anything left of the "internet of languages" idea?
5:01 - What skill to start building now before Tau goes mainstream
5:45 - Separate apps, or one identity with purpose-built interfaces?
7:18 - Do AlphaProof and AlphaEvolve show a path to self-evolution, and can Tau do better?

[The Icahnist @TheIcahnist]

The next robber barons will own the picks and shovels of orbital computing.

The new Rockefeller is going to buy up the heat-pipe makers, radiation labs, power-electronics shops, optical-component suppliers and space-grade manufacturers behind orbital compute.

[Trey Furgeson @TreyFurg]

@waitmaya 31, 5 seconds

[Tau Net @Tau_Net]

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: https://t.co/HHRC2GV0pb

[Trey Furgeson @TreyFurg]

@FishAudio Fish

[Fish Audio @FishAudio]

Today we’ve raised $52M Seed and we are announcing the public launch of S2.1 Pro.

>It can clone a voice from 5 seconds of audio
>2x faster than Cartesia & 1/6th the cost of Eleven Labs
>most expressive model with word level control over emotion, intonation, pacing etc

We support frontier AI companies including HeyGen, LiveKit, Retell, Sanas, and OpenArt all run our model in production.

If you're a business and we can't cut your voice AI costs by 50%, we'll give you 1 year of Fish Audio for free.
Book a demo: https://t.co/vHkyZf9JoG

To celebrate our first birthday, we'll give you 1 month of S2.1 Pro for free. Like, retweet, and comment “Fish” to get it.

[Dustin @r0ck3t23]

Elon Musk and Peter Diamandis just described the end of the economic model every civilization in history was built on.

Not a recession. Not a depression. The end of scarcity itself.

Musk: “I call AI and robotics the supersonic tsunami.”

Not a wave you see coming. A wave that arrives before the sound does.

Diamandis: “Labor becomes the cost of capex and electricity. AI is basically intelligence available at a de minimis price.”

When intelligence costs almost nothing, the labor inside every product turns into an electricity bill.

Diamandis: “You’re able to produce almost anything. Things get down to basic costs of materials and electricity.”

Not cheaper production. Nearly free production.

Every price you have ever paid was mostly labor.

The labor to design it. To build it. To move it. To sell it.

Take labor out and the price of almost everything falls toward the cost of the atoms it’s made of.

Diamandis: “People can have whatever stuff they want, whatever services they need.”

That sentence isn’t utopian. It’s a description of what stops being necessary.

Every economic system in history was designed to solve one problem.

Allocation under scarcity. Who gets what when there isn’t enough for everyone.

Markets. Currencies. Taxation. Wages. Supply chains. Trade policy.

All of it. Machinery for rationing.

They’re describing a world where that problem stops existing.

Musk: “If your output of goods and services increases faster than the money supply, you will have deflation.”

Not the deflation economists fear. Not collapsing demand.

Supply going infinite while demand stays human.

Musk: “Governments will actually be pushing to increase money supply.”

Printing at full speed and still losing to how fast AI drives the cost of everything down.

Musk: “They won’t be able to waste the money fast enough. Which is saying something for government.”

That’s not an economy in crisis. That’s an economy outrunning the instruments built to read it.

Musk: “Productivity is going to improve dramatically. I think we may see high double-digit output of goods and services.”

Double-digit productivity growth, sustained indefinitely.

Numbers that break every economic model we have.

Musk: “We have to be a little careful about how economists measure things.”

Not because the numbers are wrong. Because the measurements were designed for a world that’s ending.

Almost every economic crisis in history came from not having enough.

The crisis nobody has a framework for is having too much.

Every empire, every currency, every power structure ran on the same assumption.

That there would never be enough to go around.

That wasn’t a policy. That was the ground everything else stood on.

Two men just described what happens when the ground gives way and nothing has been built to replace it.

Every definition of value we have ever used was a measure of scarcity.

We’re about to need one that isn’t.

We spent ten thousand years fighting over a pie we assumed was fixed.

We’re about to find out what happens when the pie has no edge.

[Tau @TauLogicAI]

Formal Verification Tools vs. Tau Language

Traditional approach

1. Write a program.
2. Write a specification.
3. Prove the program satisfies the specification.

Tau Language

1. Write the specification.
2. Program is synthesized automatically.
3. Revise the specification as requirements evolve. Tau automatically synthesizes the corresponding correct-by-construction program.

Enabled by Tau Language’s unique ability to reason about its own sentences, allowing systems to evolve without sacrificing formal guarantees.

[Trey Furgeson @TreyFurg]

@rektfencer 56k

[Fola @Fola_Adejumo]

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 replaced with annual 'cycles' and the gimmicks that came with them.

Who is going to solve the problems? We will of course.

[Trey Furgeson @TreyFurg]

@X_FINALBOSS X

[KuriptoMan 🔮 🦣 @KuriptoMan]

The next breakthrough/ #Blockchain x #AI paradigm is a system where no one needs to be trusted with the power to lead.

Many projects are trying to decentralize participation.

Far fewer are asking how rules themselves evolve once founders are gone.

$AGRS 🟪 $TAO $NEAR $ICP $ADA

[Trey Furgeson @TreyFurg]

@Tau_Net Crazy how far ahead Ohad and you guys are. Biggest merger this year and its CEO is talking about the first step in a much more complex problem you identified 10+ years ago.

[Tau Net @Tau_Net]

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:

[Trey Furgeson @TreyFurg]

@oomahq @Tau_Net @hodlonaut Pretty novel ideas for a clanker