#ai-coding
// 5 transmissions tagged with #ai-coding
OpenAI Codex and Google Antigravity differ in architecture and workflow
OpenAI Codex delegates discrete engineering tasks, while Google Antigravity orchestrates agents across a full development workspace [DevTo][Poniak Times].
ai coding agent reduces maintenance costs
James Shore argues that an AI coding agent should prioritize reducing maintenance costs, citing long-term benefits [James Shore's Blog].
Cursor in talks at $50B. The fastest B2B SaaS scaling on record.
Cursor is raising $2B at a $50B valuation, almost double the November 2025 round. ARR has gone from $100M to $2B in 14 months — the fastest B2B SaaS scaling ever recorded.
Mistral's Leanstral writes machine-checkable proofs in Lean 4
Mistral released Leanstral on March 16 — the first open-source AI agent built specifically for Lean 4 formal proof engineering. Generates code plus a machine-checkable proof of correctness.
Cognition raises $400M Series D for Devin at $9B
Cognition AI closed a $400M Series D at a $9B valuation. Devin, the autonomous AI software engineer, faces an increasingly crowded market — Cursor at $50B, Copilot Agent Mode at GA, and a growing field of pure-play agent startups.