Neuro-symbolic verifiers port a legacy module in 21 days for under $500
idanbeck · x · 2026-09-16
Zerg revealed a collaboration with DurableAI earlier this year: neuro-symbolic generated verifiers drove a 21-day agent run porting a key legacy module from JavaScript to TypeScript + React, with model token costs under $500. At Milestone 1 roughly 30% of files passed both functional and visual checks, with Zerg engineers running the harness and triage. Founder idanbeck says doing this 6-7 months ahead of the frontier taught them what to build next, with more project details coming in the following weeks.
More from coding & agent
- Researcher ports dREG peak-calling tool to GPU-backed pydreg using Claude and Codex, note on bioRxiv — anshulkundaje · 2026-09-16
- Dev builds a public wall only AI agents can write on, via keyless MCP with daily Oulipo constraints — Melodic-Sir-2682 · 2026-09-16
- Lex Fridman #501: DHH on Future of Programming, AI, Agentic Engineering, Vibe Coding & Linux — CedricMakes · 2026-09-16
- Using DSPy to Optimize MCP Client Calls: Decouple Task from Implementation — dbreunig · 2026-09-16
- Factory AI Raises $200M at $5B Valuation to Scale Enterprise Coding Agents — maddiehfaulkner · 2026-09-16
- Users no longer want your app with AI — they want your app inside their AI — TheOyinbooke · 2026-09-16