Lovable 2.0 vs Vera

“The primitive here is: natural-language-to-deployed-full-stack-app, with Supabase as the opinionated backend layer — and that's actually a clean, nameable bet. The DX choice they made is right: hardcode the infrastructure opinion (Supabase), so the complexity budget goes into the generation quality, not into letting you pick your ORM. The moment of truth is whether the generated Supabase schema is sane — not just 'does it run' but 'would a developer not be embarrassed by it.' From the demos, it's passable but not clean; you'll still want to audit RLS policies. The weekend-alternative test is where this earns its keep: wiring Supabase auth + storage + a React frontend from scratch is a half-day of boilerplate even for experienced engineers. Lovable 2.0 ships that in minutes. Skip if you're an engineer building for production; ship if you're building an MVP that needs to not embarrass you at a demo.”

“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.”

“Category is AI app builder; direct competitors are Bolt.new, Replit Agent, and GitHub Copilot Workspace. Lovable's specific bet is the Supabase lock-in — unlike Bolt, they've committed to one backend provider and built the integration deep enough that auth and RLS actually wire up automatically. That's a real differentiation, not a bullet point. Where this breaks: any app that outgrows the generated schema. The moment a real engineer inherits a Lovable-generated codebase and needs to do a non-trivial migration, they're staring at spaghetti. The 12-month kill scenario is Supabase shipping their own AI builder natively — they have the distribution, the docs, and the relationship with the same user. What saves Lovable is if they build enough workflow stickiness before that happens, which is plausible but not guaranteed.”

“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.”

“The buyer is a non-technical founder or a designer who wants to ship an MVP — they're spending personal money or early pre-seed budget, and the ceiling on that contract is low. The pricing architecture is fine at $25-50/mo but the expansion story is weak: power users outgrow Lovable and export to raw code, taking zero revenue with them. The moat question is where this gets uncomfortable — Supabase integration is a partnership, not a proprietary advantage, and Bolt.new or Replit can replicate it in a sprint. The business survives if the brand becomes synonymous with 'non-technical founder's first app' the way Squarespace owns 'small business website,' but that brand-as-moat is extremely expensive to build and defend. Until I see evidence of meaningful retention past the first shipped project, the unit economics don't convince me.”

“The job-to-be-done is crisp: 'I have an idea for a web app and I want it live with real auth and a real database before I talk to investors.' That's one job, it's real, and the Supabase integration makes it complete in a way v1 wasn't — you no longer need to leave the tool to wire up your backend. Onboarding reaches value fast: prompt in, app preview out, Supabase project auto-provisioned. The gap is the visual editor — it exists, but the editing surface for non-UI things (like schema changes after the fact) is underdeveloped, so users hit a wall the moment requirements evolve. This is a ship because it can replace the 'prototype in Figma, then hire a dev' workflow for early-stage products — that's a real substitution, not just a supplement. The opinion is strong: one stack, one backend, ship it.”

“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.”