
Bad theory labs
222 posts

Bad theory labs
@Badtheorylabs
infrastructure for AI native computing https://t.co/dYotWXnaqn maker of @retaindb. E54u2LpWSNZ5LqLitetfw7Ajc7t4phCPHCJuJVRPpump











The BTL Runtime Hackathon is decided. 42 projects. 72 hours. 40M tokens burned. We did not judge on vibes. Every repo was code-audited. Every live app was tested. Every runtime call was verified against the usage ledger. Not vibes. Receipts. Here are your winners. 1st place: DOCENT ($500) A six-engineer AI swarm that reads your repo, argues about what it finds, and remembers what changed the next time you ask. 900+ verified runtime calls across chat, embeddings, and streaming, all load-bearing. Code: github.com/IamHarrie-Labs… Try it: trydocent-production.up.railway.app Demo: youtu.be/bXbu2HVZuh8 2nd place: TRIBUNAL ($300) Six model roles (panelists, judge, claim extractor, verifier, skeptic) debate live through the Runtime, with failover when a route dies and every cost header on-screen. The highest verified score of the event. Code: github.com/knockknock1456… Try it: tribunal-z2jl.onrender.com Demo: youtu.be/-LYkG-QIzMc 3rd place: CRITCACHE ($200) Code review built on cache economics. Cold run vs warm run, with the receipts to prove the savings. The cleanest build we audited: every commit inside the window, zero red flags. Code: github.com/DiverseXL/crit… Site: critcache.vercel.app Demo: youtu.be/Pem0BKjkL4Y Best Use of Runtime: VERIFI ($100) An autonomous QA agent that browses your app and finds real bugs. Per-stage cost ledgers built from our headers, cache-aware retries, and a real browser vision loop. 6M+ tokens of verified workload. The Runtime was not decoration, it was the engine. Code: github.com/torpadeka/veri… Demo: youtu.be/wze8sQ3KGCw Honorable mentions, all code-audited, all real: readIQ, student RAG with vision OCR: github.com/muhaj-dev/Read… Vintage, verified-computation investing agent: github.com/AIINSTARAJ/Vin… Dispatch, cache headers as product data: github.com/Xconmax245/Dis… Crosscheck, extraction you can trust: github.com/PugarHuda/cros… flex, multi-model contract audit swarm: github.com/Techkeyy/flex HIVE, scoped memory with auditor veto: github.com/Kaypoops/hive Icaruz, cache-economics knowledge market: github.com/arko05roy/Icar… BtlRadar, cost-tiered security cascade: github.com/TheWeirdDee/bt… Helena Labs, incident copilot: github.com/Pavan-personal… How we judged: 30 points Runtime use, 25 usefulness, 20 execution, 15 creativity, 10 presentation. Then we verified everything. Cloned every repo. Probed every live app. Matched every claim against the ledger. Congratulations to every team that shipped. The next event is coming.

If you're reading this, stop scrolling. I might have just reinvented computer use. Might. That word is doing a lot of work here and I'll explain why at the end, because the craziest part of this isn't even the claim. Ok so from the top. Every computer use agent today works the exact same way. Take a screenshot. Feed it to a huge vision model. Act once. Sleep for some guessed amount of time. Screenshot again. Over and over till the task is done or the agent falls apart. Think about what that loop actually costs you. A 20 step task pays for 20 full perceptions of a screen that barely changed. The page structure gets rebuilt from pixels every single step, and rebuilt slightly differently each time, so agents literally lose track of buttons they already clicked. And between screenshots the agent is fully blind. It clicks a button and finds out if the click worked one whole screenshot later. If it finds out at all. The entire field's answer to this? Bigger vision models. Denser screenshots. Capture more often. Bigger eyes basically. I'm going the opposite direction. Here's the thing everything rests on: a screen is not a photograph. It's the output of a layout engine. It's mostly empty rectangles. The structure is a handful of regions that matter. The meaning is carried by text. And change is sparse, one progress bar ticks while everything else sits still. Every one of those four properties has a classical, decades old, basically free sensor. Quadtrees. Hit testing and hover response. OCR inside known rectangles. And my personal favorite, dirty rectangle tracking, which VNC and RDP have been transmitting as their literal wire format since the 90s. The exact change stream agents are dying for has been getting computed for free on every remote desktop session on the planet for 30 years. Nobody ever handed it to a model as a sense organ. So I did. It's called ESP. Echo-Skeleton Perception. And yes the pun is deliberate. It gives a model with no eyes something like extrasensory perception. A bat flying through a cave in the dark. It perceives in three passes: Skeleton. One framebuffer grab gets carved into an adaptive region tree. Big lazy cells over empty space, tiny dense ones hugging content. Then it probes the screen like a bat pinging a cave. Hit tests, hover sweeps, cursor changes. When the cursor flips from arrow to hand, the OS just told you something is clickable. Free. No neural network anywhere. Populate. OCR runs only inside the cells the skeleton already found. Faster and more accurate than reading a whole page, and every word lands already attached to a node. Icons get hovered once, the tooltip names them, name gets cached forever. The skeleton learns to read. Echo. The screen gets diffed at millisecond scale and changes arrive as tiny events against a skeleton the model already holds: changed(node 51, text: "47%" -> "100%") appeared(node 60, banner "Upload complete") no_change(after=click(node 14), window=600ms) Look at that last one again. no_change is a first class percept. The silently failed click, the number one killer of agent runs, currently discovered a full screenshot later or never, becomes something the agent feels instantly and just retries. The failure is a sensation, not a deduction from a later photo. And waiting stops being sleep(3000) and a prayer. The agent subscribes to quiet(node) and the world wakes it up. End result: a small local text only model, 4B to 14B, the kind that runs on your laptop, holds a labeled skeleton as world state, receives tiny deltas, and acts through strict tool calls. It never sees an image. Not once. The whole perception layer is a few thousand lines of ordinary code. No GPU anywhere in the loop. Every token the model spends goes to actual thinking instead of re-photographing the same static form for the 8th time. The whole field is racing toward bigger eyes. ESP is my bet that for most of the work people actually automate, you don't need eyes at all. You need a skeleton and echoes. Now the part I said I'd explain. I published this paper before writing the prototype. On purpose. The paper has four falsifiable hypotheses, each with a hard number attached. Within 10 points of an accessibility tree agent. At least 5x cheaper in perception tokens. At least 15 points of recovery on silently failing controls. At least 70% of success retained on canvas pages where DOM agents drop to zero. Those numbers are locked in print right now, before a single line of code exists. Same with the decision rule for every possible outcome, including the branch where everything fails and I publish the negative result with the full trace corpus. There is no version of this where I quietly move the goalposts to fit whatever the experiments say. A bat doesn't decide where the cave wall is after it hears the echo. Neither will I. If you've been following Bad Theory Labs you already know the shape of this bet. Prism externalizes the reasoning scaffolding of frontier models into inspectable modules. ESP does the same thing to perception. Two halves of one thesis: mechanical scaffolding around small local models, everywhere the field assumes you need a giant one. The paper is live. Architecture, an honest accounting of which pieces are old (most of them) and what's actually new, a worked session, the pre-registered experimental plan, and six named failure modes where I expect this to get attacked. Prototyping started. The experiments cost a weekend and zero GPU hours, which is exactly why the claims are locked before they run. Read it. and Scrutinize it Paper in comments

For the past two years the entire AI industry has been running one play: make the model bigger. Bigger weights, bigger clusters, bigger API bills. And it works — if you're one of five labs on earth. We've been building the other play. Here's the thing nobody says clearly: a frontier model is not just big weights. It's big weights plus an enormous amount of invisible work the model does silently in its head. It holds an entire repo in attention. It plans ten steps ahead. It checks its own output before you see it. It recalls facts. It orchestrates tools without fumbling. That silent scaffolding IS most of what makes frontier feel frontier. Small models can't do that scaffolding internally. So everyone concluded small models are toys. Wrong conclusion. If the scaffolding is the magic —rip the scaffolding OUT of the weights. Make every piece of it an explicit, deterministic, inspectable module that lives outside the model. Then run a small model through the modules. That's Prism. An inference-time capability layer for open models: ▸ CONTEXT — a code graph + hybrid retrieval that gives an 8B model whole-repo awareness. It doesn't guess which files matter. It knows, from the dependency structure. ▸ PLAN — the harness holds the plan as explicit external state and feeds the model one bounded step at a time. The model reasons locally; the harness reasons globally. Prism can derive a real multi-step plan from the code graph with ZERO model calls. Planning as infrastructure, literally. ▸ TOOLS — typed schemas, validation, retry. A small model physically can't fumble the mechanics. ▸ VERIFY — this is the one I'm most proud of. Prism doesn't ask the model to judge itself (the research is brutal on self-critique — models flip their own correct answers to wrong). It compiles. It runs your tests. It reads the diagnostics. Nothing ships until execution says so. The compiler is a free frontier-grade verifier and almost nobody treats it that way. Every layer is deterministic where it can be. Every decision is inspectable you can see exactly which files were retrieved, why, what the plan was, what failed, what got repaired. Try inspecting what a frontier model did in its head. You can't. That opacity is a product decision you've been paying for. And here's what makes this different from every wrapper you've seen: we researched our own idea adversarially before shipping it. Pulled the 2024–2026 literature DeepSeek-R1, process supervision, test-time compute scaling, the harness-engineering papers extracted the falsifiable claims, and put them through adversarial verification votes. Some of our own design assumptions got killed. We rebuilt around what survived. The receipts are public. What runs today, on a laptop, no API key, no rent: An open 8B model reads a repo it has never seen → Prism maps it → derives a plan → executes it step by bounded step → runs the tests → catches its own failure → repairs → ships only when everything is green. The model is swappable. Any open checkpoint inherits the whole suit. The weights are a commodity. The harness is the moat. Every lab is betting test-time compute beats bigger models. We're making that bet a product you can run tonight, for free, offline, and read every line of. A laptop-sized model behaving frontier-level not because it is one, but because it's wearing the exoskeleton of one. Context was the first plate. This is the suit. Prism, by Bad Theory Labs. github.com/Badtheorylabs/…
















