Vera vs Windsurf Wave 12 (Codeium)

“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 an issue-to-PR pipeline where the agent owns the full loop: reads the GitHub issue, writes the code, opens the PR. That's a real problem — not a demo problem. The DX bet is embedding this inside the editor rather than running it as an external CI job, which means the developer can inspect, intervene, and redirect mid-task without switching contexts. The memory layer is the detail that earns the ship: persistent project context across sessions means the agent isn't starting cold every time, which is the actual pain point with every other agentic coding tool I've used. My concern is whether the agent's PR quality holds on non-trivial issues — the blog post shows a clean example, no repo link for the eval harness, no pass@k numbers. I'm shipping this because the architecture is right, but I'll be watching the first real-world PR quality reports closely.”

“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 autonomous coding agents, and the direct competitors are Devin, GitHub Copilot Workspace, and Cursor's background agents — all of which are making the same issue-to-PR bet right now. The specific scenario where this breaks is any issue requiring understanding of implicit organizational conventions: naming patterns, PR review norms, test coverage expectations that aren't written down anywhere. The memory layer helps with explicit project context but can't capture what the team hasn't said out loud. What kills this in 12 months: GitHub ships Copilot Workspace with deeper native integration into the issue tracker, cutting out the IDE middleman entirely. What would make me wrong: Codeium's memory layer becomes genuinely richer than anything GitHub can bolt on in a year, creating real switching costs through accumulated project knowledge rather than just feature parity.”

“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 thesis here is falsifiable: by 2028, the unit of developer contribution shifts from 'lines of code committed' to 'issues closed per agent-hour,' and the IDE that owns the issue-resolution loop owns the developer's identity on the team. The memory layer is the load-bearing piece — if project context compounds across sessions and agents, the switching cost grows every week the team uses it, and that's a moat that isn't just 'we shipped first.' The second-order effect nobody is talking about: if agents are opening PRs autonomously, code review becomes the primary human leverage point, which restructures team hierarchy away from who writes the most toward who reviews the best. Windsurf is riding the trend of async, agent-mediated software development that's been accelerating since late 2024 — they're on-time, not early, but the memory layer might be the differentiator that makes 'on-time' good enough.”

“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 job-to-be-done here is ambiguous in a way that matters: is the user hiring this to close GitHub issues faster, or to write code faster, or to reduce context-switching between GitHub and the editor? Those are three different jobs with three different success metrics, and Wave 12 tries to serve all of them without fully completing any one. Onboarding to the SWE-agent feature specifically requires a connected GitHub repo, configured issue access, and enough project history for the memory layer to be useful — that's not a 2-minute path to value, that's a 2-hour setup for a team that's already bought in. The specific gap: there's no visible feedback loop that tells the developer when the agent is confident versus guessing, which means the user still has to review every PR as if they wrote it themselves, undermining the core time-savings promise of autonomous resolution.”