ao @aoTheComputer

"Straight Off the Weave" 🔊 A G-funk tribute to #Arweave going cacheless and GraphQL going realtime. No cache. No guess. Just the real. Turn it up arweave.net/eD1kRj6L_5MeJs…

Dumdumz nightly news 👇

ao @aoTheComputer

a day ago

ArLMDB unlocked using Arweave as a decentralized database engine that streams content only as you need it. Today those databases gained realtime update properties, too. Same verification, but with updates that take effect instantly. Read more 👇 x.com/aoTheComputer/…

1 17 78 8K 4

ArLMDB unlocked using Arweave as a decentralized database engine that streams content only as you need it. Today those databases gained realtime update properties, too. Same verification, but with updates that take effect instantly. Read more 👇 x.com/aoTheComputer/…

ao @aoTheComputer

a day ago

x.com/i/article/2103…

6 23 103 7K 16

x.com/i/article/2103…

AO devices are like DePIN lego bricks. Arweave is their decentralized ledger.

ao @aoTheComputer

4 days ago

AO standardizes services. Each device is a reusable capability that any node can host, route, and build with. Infrastructure stops being a centralized dependency and becomes part of a verifiable network anyone can access.

10 12 84 10K 2

AO standardizes services. Each device is a reusable capability that any node can host, route, and build with. Infrastructure stops being a centralized dependency and becomes part of a verifiable network anyone can access.

Have been porting this to run agents as @aoTheComputer processes directly on phones with the (unreleased, yet) PermawebOS Android build. Still slow so far but its pretty amazing to have a software TEE-ish trust-minimized agent executing in your pocket. The base model is supposed to be ~Opus 4.5/4.6 level and the Bonsai quantization apparently retains most of capability. Big if true -- has anyone tried it?

PrismML @PrismML

a week ago

Today, we’re announcing Ternary Bonsai 2 27B. Based on Qwen3.8 27B, Bonsai 2 27B is 9x smaller than its full-precision counterpart while retaining 98.2% of its aggregate benchmark performance. Two months after the first Bonsai 27B release, the biggest change is quality. The

639 2K 16K 5.4M 16K

New to @ArweaveEco and @aoTheComputer? Here's what we are about: 1️⃣ Arweave is the permanent substrate for a new, decentralized cyberspace. 2️⃣ It is onchain data at any scale. >25 billion pieces of data and counting. 3️⃣ AO is a decentralized supercomputer built on that foundation. 4️⃣ It offers smart contracts that run as parallel processes each with their own throughput, but a universal communication layer: Arweave. 5️⃣ AO goes much deeper than just smart contracts, though. The AO-Core protocol can turn every service you use in cyberspace into a graph of enmeshed micro-blockchains. Down to every single individual HTTP packet nodes transfer. Authenticated, verifiable, and attestable. 6️⃣ It is unhelpfully novel. It is genuinely so different to existing networks that there are no narratives that capture the ideas. High bar to entry now, but when it clicks, you will see something that crowd has not yet realized. 7️⃣ Arweave is a stable, mature protocol. Mainnet has been live since 2018, serving more use cases than we can keep track of. It has been deflationary from real usage alone almost every month since the start of '25. 8️⃣ AO is a completely different beast. It is early, half-hatched, janky and will take time. It is an enormous project but the vision is getting closer every single day. If you are looking for 'just another L2/X but Y' it is not for you. We are gunning for a deeper prize: A permanent computer for humanity, capable of consuming the internet itself. 9️⃣ $AR is 99.4% circulating already. 🔟 AO minting is early: Distributed 1/3 to AR holders and 2/3 to pre-bridgers of yield-baring assets from other networks. 21m cap, 4 year halving, 0% pre-mine. That's the sitrep. Glad you found us 🫡

This is on point. For the new real-time rewards version of @aoTheComputer's mint we built Lean formal proofs of each of the relevant property of the system (paper [1]). Model verification is often not enough alone, though. Property Testing fills in many gaps. Deep dive 👇 tl;dr: Describe invariants of your system and how to generate random valid 'scenarios' for your data. Use these to generate test cases and run millions/billions of simulations to gain confidence in correctness. We built a system for this in HyperBEAM last year because @aoTheComputer's devices are a perfect environment for these kinds of quasi-proofs -- including covering probabilistic behavior and emergent properties of highly parallel systems. Traditional proofs get exponentially more complex if your build isn't just pure, stateless math. The trade-off, of course, is that you don't get a shiny proof that guarantees correctness -- assuming there aren't bugs in the theorem prover (...which there almost certainly are [2]). With property/invariant-based testing you do, however, get validation against your actual code -- not just a mathematical model [3]. This was formal verification's other achilles heel that partners the 'spec gap' Vitalik described in the original post: The 'translation gap'. Once you have your model, how do you know that the code you have written actually matches it? Depending on the environment, you normally cannot deploy the formally verified model itself to production. So you deploy code that you think matches the model -- but what if it doesn't? The archetypal example of this is SeL4 in 2009 [4]: An OS built for highly resilient systems with formal correctness guaranteed... Via a model that accompanies massive amounts of raw assembly and C code that had no direct proofs. In practice you likely want to use both formal verification as well as property-based testing of invariants that match your theorems. This narrows the translation gap from 'I hope my code matches my model' to 'my invariants must match my theorems'. Not perfect still, but the latter is radically easier to achieve. This is what we did with [email protected]: Simulating ~500 billion (IIRC) different random scenarios against the real code, running checks that ensure all of the properties from the verified model hold in every single situation. For the builders: If you want to create property-based invariants for your devices in HyperBEAM checkout [5]. We tried to make it friendly but the API could probably be improved. PRs welcome! 🙂

vitalik.eth @VitalikButerin

a week ago

It's an increasingly common take that AI hacking means cybersecurity is doomed. I disagree. I think cybersecurity is naturally defense-favoring once people get their shit together. And anyone who continues to hold cryptocurrency (including me, ~90% of my net worth) is implicitly

376 422 3K 798K 1K

Most services ask you to trust the result. AO-Core makes the machine prove it: attest that it ran the computation, got the result, and cryptographically link the two. Verifiable compute, over plain HTTP.

New in Lunar: an #Arweave node explorer. Look up any public node and view its status, confirmed txs, mempool, and view of the network, all in one place. Network stats for the people who keep the Weave running. lunar.arweave.net/#/nodes/

Arweave just mined 2,000,000 blocks. 8 years of storing permanent data. F️orever to go.

Thanks to LapEE, you don’t need expensive hardware to participate. AO is built to run on the devices you already own. Abundant hardware means a decentralized and robust World Computer. permawebos.arweave.net/#/

The third principle of Arweave is "Guarantee the right to listen". In cyberspace, you can only hear if you can actually discover the data. On the permaweb, that’s made possible with GraphQL. GraphQL is now fully decentralized. x.com/aoTheComputer/…

ao @aoTheComputer

3 weeks ago

x.com/i/article/2097…

2 11 55 10K 10

x.com/i/article/2097…

ArLMDB turns Arweave into a decentralized DB so efficient you can run queries directly in the user's browser. Cold start ➡️ 15,000 results in <100ms. In a browser. From cold. Zero setup or infra. All you need is Arweave to serve you chunks. Try it for yourself 👇

Curious about the endowment model? Learn its risk model in-depth and try the simulator: arwiki.arweave.net/#/en/endowment…

Removed from supply in this single upload: 7,538 AR. Network model prediction for full return to supply: 200+ years ➡️ never. Inflation (last 28 days): 3,280 AR. Arweave has been deflationary 89% of days since Jan 2025.

TherealBozzy @Rogerpontare10

3 weeks ago

@samecwilliams @ArweaveEco Daaaamn son!!! I wonder how many AR that went out of circulation just by that single TX?🤯🤯

0 0 10 10K 0

The weave is being uploaded to the weave This database is everything a HyperBEAM node (running on any everyday laptop) needs to power a GraphQL service as performant as today's centralized options Decentralized GraphQL is coming

🐘🔗 sam.arweave.net @samecwilliams

3 weeks ago

621 GB uploaded in a single Arweave TX. Over 70 billion individual, indexed database rows. Onchain data at any scale.

18 29 145 16K 12