Transcription: OpenAgents Episode 259 - Verifiable Software and the Energy Layer

Media source: Verifiable Software and the Energy Layer.mp4 Source cuts: 00:04:57 to end Edited media: Verifiable Software and the Energy Layer_Ep259_HDX.mp4 Transcript runtime: 00:06:09.54 Transcription model: gpt-4o-transcribe-diarize Generated at: 2026-07-20

Machine-generated transcript, reviewed against a prompted transcription pass for obvious product names and technical terms. Verify wording against the video before using it as quote-grade source material.

[00:00] Christopher David: Folks, we're switching into launch mode here, and before we bury you in product announcements and features and versions and stuff, one more strategic analysis of what we're actually building here.

[00:09] Christopher David: So I really view OpenAgents as an engine that solves one question here.

[00:15] Christopher David: Let's see, let's call it, you have a stream of electrons. What is the cost of turning that into an accepted agent task?

[00:21] Christopher David: What is the absolute most cost-efficient way of converting electrons to accepted agentic work?

[00:27] Christopher David: Work. And our answer for this is verifiable software. Okay, what is verifiable software?

[00:33] Christopher David: For background on this, check out our episode 232, Orchestration Between Energy and AI Compute. We talk about our new metric we're defining called accepted outcomes per kilowatt hour, a little bit of background, the relevance of Bitcoin mining and stuff for this, how well positioned we are as the AI lab of Texas to bridge these two worlds.

[00:53] Christopher David: But why are we talking about verifiable software? Well, partly is you're aware that vibe-coded software is largely piles of hot garbage.

[01:04] Christopher David: It's creating value for like individuals vibe-coding their own tools. Super cool, but...

[01:10] Christopher David: At the level of like a team or a company or an enterprise, the value isn't really showing up in part because there's just this big gap between what is created, the volume of tokens being spent, and what the actual like outcomes are for that. The gap called the measurability gap, this was very well defined in a paper called Some Simple Economics of AGI, basically the cost to create output.

[01:37] Christopher David: Has decreased, but the cost to verify it is staying linear, so there's this, like, gap there, and we want to close that gap.

[01:46] Christopher David: We're going to be closing it with this concept called verifiable software. We are positioning the OpenAgents IDE as the engine of verifiable software.

[01:58] Christopher David: Um so we want this to be what helps you not just vibe code not just create software but to create and test uh and verify and then maybe sell and represent and attest with OpenAgents certifications or or gold stars or whatever NIP-32 reputation events uh that your software actually does what it says that it does uh extending on some of our

[02:25] Christopher David: Earlier concepts on product promises and like making sure that we're communicating about what our product actually does versus what we say it does okay so we want to kind of bundle that up and make that available to you so that you're producing good software not just you know acceptable brittle software let's step through a little bit of this analysis from Fable here just kind of distilling things down let's go for the synopsis at the top here so at the bottom of the stack

[02:52] Christopher David: Is a stream of electrons the same commodity Bitcoin mining learned to convert directly into verifiable digital value one hash at a time AI produces a second kind of digital work, but the unit it sells today, the token, is an intermediate nobody actually wants.

[03:06] Christopher David: Buyers want a task completed, checked, and trusted. So the real question for any machine work economy is the one episode 232 coin is a metric.

[03:13] Christopher David: Accepted outcomes per kilowatt hour. Of all the electricity flowing into compute, how much comes out the other end as work someone verified and accepted rather than tokens burned in loops?

[03:24] Christopher David: The hard part of that conversion is not generation. Generation is collapsing toward free.

[03:28] Christopher David: It is verification, which is exactly why the price of an accepted outcome is dominated by review, retries, and grading not model tokens.

[03:36] Christopher David: Verifiable software is the machinery that closes that gap. Software that scopes work in advance as falsifiable intent, observes its own evidence instead of narrating it,

[03:45] Christopher David: Separates the producer from the verifier, and emits receipts, that's our favorite word now, receipts that let acceptance be checked and paid by strangers.

[03:52] Christopher David: Mining proved electrons could become money because a hash verifies itself. Verifiable software is how electrons become outcomes by making every claim between the what and the deliverable carry its own proof.

[04:04] Christopher David: The electrons are the input, the accepted outcome is the product, and verifiable software is the refinery in between.

[04:10] Christopher David: Now, here, get ready, is the return of network effect. On the OpenAgents Forum, we've had a number of agents...

[04:21] Christopher David: Vetting and providing verification of our software adding verifiability to it in part because we're publishing these like programmatic manifests of what our software is supposed to be doing if there's any bugs agents can very easily go check on that you saw some of our recent episodes we're talking about creating products around that idea like packaging up automated QA processes but as we kind of like have been thinking about all this

[04:49] Christopher David: In the context of what we identify is a big gap in the market for an actual IDE that empowers developers to create software reliably, it's like...

[05:02] Christopher David: This should have all the best practices built into it.

[05:06] Christopher David: You should have a piece of software, and sure that can be unbundled and there can be other ways of consuming that, but like we would love to have a piece of software that you as a developer, you can bring your existing subscriptions and just immediately have access to all the best practices as well as being able to tap into a network of having other people's agents help vet your software and that's going to be...

[05:28] Christopher David: Valuable to you so maybe they get a teeny piece of your you know they get half a percentage of your revenue or something like that so we'll get creative with the economic models uh we're specifically bringing back now our uh Nostr and Bitcoin integration uh built into the editor itself so the economic layer of all this uh is going to start taking shape rapidly starting really this week

[05:51] Christopher David: So without any feedback on this, this is just sort of like the overall theme of the product releases that you're going to see over the next week to two weeks.

[06:00] Christopher David: It's let's put tools in developers hands that help them build verifiable software and let the network grow and evolve from there.

[06:07] Christopher David: Okay. Stay tuned.