Linear AI Project Manager vs Vera

“The primitive here is clear: a backlog-aware scheduling heuristic that ingests velocity history, skill tags, and cross-tool signals from GitHub and Figma to produce sprint proposals. That's a real problem — sprint planning is one of those meetings where half the room is mentally running the same query the AI is now running. The DX bet is that Linear already owns the data model, so there's no ETL tax, no webhook hell, no 6 env vars before hello-world. The first 10 minutes survive the test only if your backlog has clean metadata — garbage tags, no skill annotations, and stale cycle data will produce garbage plans, and Linear doesn't seem to surface that dependency prominently. The weekend-script alternative (a GPT call over your Linear export) exists but misses the real-time GitHub diff and Figma status signals, which is the actual moat here. Ships because the integration depth is genuine, not just claimed.”

“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 direct competitor is Notion AI plus any of the five AI sprint-planning wrappers that shipped in 2024, and the honest competitor is a senior eng lead who's been doing this for six months and knows who's overloaded. The specific scenario where this breaks: mid-sprint re-planning when priorities shift — the AI's velocity model is backward-looking and will confidently propose a sprint that reflects last quarter's team, not the one where two engineers are on PTO and a P0 just landed. What kills this in 12 months is Linear itself realizing the real value is autonomous re-planning on disruption, not just sprint kickoff proposals, and shipping that instead — at which point this version looks like a half-measure. To earn a ship, it needs to show it can handle dynamic replanning mid-sprint and surface its own confidence intervals so teams know when to override it.”

“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 job-to-be-done is crisp: eliminate the prep work before sprint planning so the meeting starts with a proposal on the table instead of a blank backlog. That's one job, no 'and.' Onboarding path is the best part of this — because it lives inside Linear, there's no new product to adopt; the first output appears in a context where the user already has authority to act on it. The completeness problem is that sprint planning is only half the job — retrospectives, mid-sprint triage, and stakeholder reporting are untouched, meaning this is a wedge, not a replacement. The opinion baked in is that velocity-plus-skill-tags is the right signal set for assignment, which is a real point of view, not a settings screen. Ships as a strong wedge feature that will either expand into a full planning suite or quietly become table stakes for any PM tool.”

“The thesis is falsifiable: by 2028, sprint planning as a human-run synchronous meeting will be a legacy practice at software teams under 50 people, replaced by async AI proposals with human override. Linear is betting that the tool with the richest cross-workflow data model — commits, design status, past velocity — wins that transition, and that's a dependency that actually maps to their existing moat. The second-order effect that matters isn't faster sprints, it's that the planning artifact becomes a machine-readable contract that downstream tools (incident response, capacity planning, hiring forecasts) can consume without a human translation layer. The trend line is the collapse of the planning ceremony as a coordination mechanism, and Linear is early rather than on-time — most teams aren't ready to trust this yet, which is a timing risk. The future state where this is infrastructure: Linear becomes the system of record not just for issues but for team capability, and every other tool in the dev stack queries it rather than the reverse.”

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