(typicada)🛸

#followback

[(typicada)🛸 @lfour21]

@Fola_Adejumo The voice-over is nice! I really like this demo!

[(typicada)🛸 @lfour21]

@Tau_Net That’s very exciting and looks very promising! Great work!

[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

[Tau Net @Tau_Net]

🧵 Big news: The Tau Testnet repository is now public!

After months of development, you can now track our progress toward the first blockchain with automatic software development and logical consensus detection. Here's where we are:

[(typicada)🛸 @lfour21]

@tau_l0g1x @Tau_Net Thanks for the answer! What are collective spcialisations?

[Tau @TauLogicAI]

Software dev typically starts with requirements and we still have to write the code ourselves.

What if you only wrote the requirements, and the system handled the rest?

We built a spec language to make that possible:

[Tau Net @Tau_Net]

Ohad outlines the core of what we’re building:

Tau Testnet Alpha is underway. Tau Net and $AGRS are next.

[(typicada)🛸 @lfour21]

@Tau_Net Ohad is handsome!

[Tau Net @Tau_Net]

“AGRS will simply be the best cryptocurrency.”

Agoras ($AGRS) turns your requests into actions: you'll automatically trade knowledge, rent compute, or run code all by stating your requirements for the network.

The first blockchain that adapts to you.

[(typicada)🛸 @lfour21]

@Tau_Net Wow wow wow! This is awesome! Great work!

[(typicada)🛸 @lfour21]

@AiBreakfast It's good to see you paying attention to such things! Big changes are coming!

[Tau Net @Tau_Net]

https://t.co/9XBUANNyfK

[Michael Saylor @saylor]

#Bitcoin is Economic Armor.

[Relai 🇨🇭 @relai_app]

5 most iconic Bitcoin moments 🔥

#3 is my personal favorite

[Tau Net @Tau_Net]

https://t.co/hxQsZI2uOj

[Bitcoin.com News @BitcoinNews]

Tau Net Layer 1 AI Blockchain Releases Testnet Architecture and AI Reasoning Language Update @TauLogicAI https://t.co/4zvNZsz6SR

[Michael Saylor @saylor]

₿ullish on #Bitcoin

[(typicada)🛸 @lfour21]

@ohadasor It's so exciting!

[Michael Saylor @saylor]

The Future of Money is Digital. #Bitcoin