Vera vs Weave 2.0 by Weights & Biases

“The contracts-first approach is genuinely compelling — I've spent too many hours debugging AI-generated code that violated implicit invariants. Having the compiler enforce preconditions at every call site is the kind of guardrail I'd actually trust. The WASM compilation target means you can run this anywhere, and 3,638 tests suggests this isn't vaporware.”

“The primitive here is a structured span collector with a schema opinionated enough to understand LLM-specific concepts — token counts, model versions, prompt templates — without requiring you to define them yourself. The DX bet is auto-instrumentation: you decorate or import and the traces appear, which is the right call because manual span annotation is where observability projects go to die. The moment of truth is `pip install weave` followed by two lines, and it actually survives — the LangChain integration in particular requires zero configuration if you're already using that framework. W&B is not a weekend project: the cost attribution rollups, the eval harness that ties back to traces, and the prompt versioning with diff views are genuinely non-trivial to replicate, and they've earned credibility in MLOps for years. Shipping this because the primitive is named cleanly, the right thing is the easy thing, and the LLM-specific schema choices show the team has actually debugged production LLM apps.”

“A language with no variable names sounds like an academic exercise, not something that'll ship real software. Even if LLMs do great on VeraBench, the ecosystem is zero — no libraries, no community, no integrations. You'd be asking your team to maintain code written in a language nobody else on Earth can read. That's a hard sell even if the AI loves it.”

“Category is LLM observability, direct competitors are Langfuse, Helicone, and Arize Phoenix — and W&B is not winning on feature count, they're winning on distribution. The scenario where this breaks is the team that runs 100% open-source stack with self-hosted models and no W&B account: the free tier trace limits hit fast, and suddenly you're paying for observability on a budget that doesn't include it. What kills this in 12 months is not a competitor — it's that OpenAI and Anthropic ship first-party observability dashboards with cost attribution natively baked into the API console, which both have signaled repeatedly. The thing that keeps W&B alive is that their eval harness and prompt versioning are genuinely cross-provider and cross-framework, which a single model provider cannot replicate. Shipping, but only because the existing W&B user base gives them a distribution moat that pure-play LLM observability startups don't have.”

“Vera represents a fundamental rethink: what if programming languages were designed for their actual authors in 2026 — which are predominantly AI systems? The formal verification backbone means AI-generated code carries a proof of correctness, not just a vibe. This is early, but the trajectory points to a world where AI writes formally verified software by default.”

“I love the philosophical angle — a language where the 'author' is the machine. But until there's a visual toolchain, a debugger humans can read, and something I can demo to a client, this lives in research territory. The JSON error messages designed for AI systems are clever but leave human reviewers completely out of the loop.”

“The buyer is an ML engineering team that already has a W&B contract — this is an expansion play inside existing accounts, not a new-logo motion, and that's a smart wedge because the sales cycle is already closed. The pricing architecture has a problem though: the free tier is generous enough that small teams have no forcing function to upgrade, and the jump to Enterprise for volume traces creates a gap where mid-size teams churn to Langfuse's self-hosted option. The moat is real and it's data: W&B has years of experiment metadata for the same models and teams, which means Weave can eventually correlate training runs with production trace degradation — nobody else can do that, and that's genuinely defensible. What kills the unit economics is if LLM inference costs drop another 10x and teams stop caring about per-trace cost attribution because the cost is negligible; the eval and versioning story needs to carry the product by then. Shipping because the expansion revenue thesis is credible and the cross-product data moat is the right long-term bet.”

“The job-to-be-done is 'understand why my LLM app is behaving badly in production,' but Weave 2.0 is trying to do that job AND run evals AND version prompts AND attribute costs, which means it's four products with one dashboard and no clear opinion about which one you should use first. Onboarding gets you to a trace view in under two minutes if you're already on LangChain, which is genuinely good — but the moment you want to set up an eval, you're reading docs for 20 minutes and writing Python fixtures, and the handoff between 'observability user' and 'eval author' is a UX cliff. The completeness problem is that you can't fully replace your current eval framework (pytest, RAGAS, whatever) with Weave today without rebuilding non-trivial infrastructure, so it's a dual-wield product for most teams. Skipping because the product tries to own too many jobs at once and the result is that none of them feel finished — the trace view is strong, cut the rest to v2 and ship a coherent v1.”