SAM 3 (Segment Anything Model 3) vs Vera

“The primitive is clean: prompted zero-shot segmentation extended across time and 3D space via a unified encoder-decoder with memory attention for frame propagation. The DX bet Meta made is that releasing weights under a research license with a working inference API beats a hosted-only offering for adoption — and they're right. First 10 minutes with SAM 2 was already survivable; SAM 3 adds 3D point-cloud input without blowing up the interface, which shows someone actually thought about backward compatibility. The weekend alternative here is not viable — you cannot replicate temporal-consistent video segmentation with a Lambda and a CLIP call. The specific decision that earns the ship: keeping the prompt interface stable across modalities so existing integrations don't break.”

“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 foundation-model segmentation; direct competitors are Grounded SAM pipelines, Mask2Former, and increasingly Google's own video segmentation work. SAM 3 wins the open-weights race right now, but the research license is the fragile point — production commercial use is still gated, which means the actual deployment story for companies depends on Meta's licensing appetite. The scenario where this breaks is real-time mobile edge inference: SAM 3 is GPU-hungry and the latency profile at video frame rates on consumer hardware is not going to be pretty without distillation work others will have to do. What kills this in 12 months is not a competitor but a platform move: if Meta ships a hosted inference API with commercial terms, the current DIY-weights story gets replaced and half these integrations get rebuilt. Still a ship because open weights at this quality level genuinely raise the floor for the whole field.”

“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 thesis SAM 3 bets on: within 3 years, segmentation becomes infrastructure-level — something every vision pipeline calls the way it calls an embedding model today, not something you train per task. For that to pay off, zero-shot generalization has to hold across the long tail of real-world domains (medical imaging, autonomous vehicles, AR), and inference costs have to fall enough that per-frame video processing is economically viable at scale. The second-order effect that matters most is not better video editing — it's that 3D point-cloud support puts a universal object-understanding primitive into the hands of robotics and spatial computing developers who previously had no open baseline worth building on. SAM 3 is on-time to the spatial-AI trend line; the robotics and AR application wave is just starting to need exactly this. The future state where this is infrastructure: every real-time AR scene graph runs a SAM 3 derivative as its perceptual backbone.”

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

“The job-to-be-done is singular: give any vision application a prompted segmentation capability without domain-specific training. SAM 3 nails it for image and now meaningfully extends it to video and 3D, which are the two modalities where the original SAM left users building brittle frame-by-frame hacks. The onboarding is a research repo — there's no 2-minute value moment unless you already know how to run a PyTorch inference script, which means the addressable user is builders, not end-users, and that's the right call given the research license. The completeness gap is real for 3D: point-cloud support is there but the tooling ecosystem around it (loaders, visualizers, export pipelines) is not Meta's problem to solve, so teams will spend non-trivial time on glue. Ships because the core job is done better than any open alternative, but the product opinion here is 'give developers a primitive' — teams that need a finished product are not the customer.”

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