Tannr 🦾🤖 (@intent_dev)

And thus we observe the return to verification-centric architectures (realized and idealized by UTXO chains like @NervosNetwork and Bitcoin).

Whether by means of cryptography or other forms of succinct verification, the concept is the same: don’t replicate globally what need not be replicated globally.

vitalik.eth Verified account @VitalikButerin Sep 27

The cryptographic world computer:

vitalik.eth.limo/general/2026/0…

My attempt to express in somewhat concise terms the true meaning of basically everything planned to happen to Ethereum starting from the fork after Hegota. It's really not just a blockchain anymore. It's a hybrid architecture that combines together blockchains and modern cryptography, to enable much more powerful properties.

FOCIL, EIP-8288, Lean consensus, state management, formal verification, advanced mempool improvements (including privacy), and the longer-term specter of obfuscation all mentioned.
View quoted post on X

Tannr 🦾🤖 @intent_dev Sep 24

Shut up and read it

Tannr 🦾🤖 @intent_dev Sep 24

I would love to be a plane ticket.

What it’s like to be a plane ticket is an even more intriguing question than what it’s like to be a bat.

How much $$ to be a plane ticket?

Phil Hoyeck Verified account @PAHoyeck Sep 22

Anybody wanna buy be a plane ticket to Vienna? 😅

View quoted post on X

Tannr 🦾🤖 @intent_dev Sep 24

Serafim is doing really cool work at the intersection of LLMs and various forms of formal and semi formal reasoning.

Serafim Batzoglou Verified account @s_batzoglou Sep 24

I evaluated the latest models, GPT-6 Sol, Luna, and Claude Opus 5.5 on induction (post from yesterday).

GPT-6 Sol is doing very well, somewhat behind Opus 5.5 but at 1/2 the price. GPT-6 Luna is doing slightly better than GPT-5.6 Luna. 14 responses are still running on high thinking effort after failing on max and xhigh. I don't expect them to significantly raise the rate of success.

Overall, I think this is a success for the new GPT-6 models. The new Sol is significantly stronger than the old Sol at 2/3 the price, and slightly behind Opus 5.5. Luna is slightly above the previous Luna at 1/3 the price!

So, both new GPT-6 models are moving solidly in the right direction of intelligence-per-buck.

Github: github.com/SerafimBatzogl…

ICML 2026 paper: arxiv.org/abs/2602.18956

View quoted post on X

Tannr 🦾🤖 @intent_dev Sep 24

Confidentiality is better than publicity for those who need informational discretion.

Privacy is better than confidentiality for those who need informational isolation that doesn’t depend on the discretion of another.

Tannr 🦾🤖 Verified account @intent_dev Sep 24

Not criticizing here, but curiously pushing back a little bit: the thread starts with claims of privacy, and then notes that the trusted operator has a global view of the zone, thereby ensuring transactions are confidential.

That’s arguably an equivocation. It is easy to make honestly if one is not using precise definitions of “private” and “confidential”, but generally they mean different things.

“Confidential” seems to me the more accurate term here, as I would expect “private” to imply that the details about the transactions are operator-blind as well.

Broadly, if the degree to which the information in a system is isolated from others is at all a function of the decisions of a rational/normative agent, then the system is not private, imo.

If I’ve misread things I’m happy to be corrected. I’m going off of the thread only — will dive into the technical report as well, of course.
View quoted post on X

Tannr 🦾🤖

Latest posts 5