Coding

AIAmazon CTO Werner Vogels argues that the verification bottleneck matters more than ever. The post is a short reply to Yaron Minsky's remarks on Jane Street's ambition to make formal methods as pervasively useful for building software as sophisticated type systems are today.

AIMoonshot AI published Kimi-K2.7-Code, a coding-focused agentic model built on Kimi K2.6, with a 1T-parameter MoE architecture and 32B activated parameters. The model card reports about 30% fewer thinking tokens than K2.6 and benchmark results against GPT-5.5 and Claude Opus 4.8, with weights and code released under a Modified MIT License.

Why it matters: The model card gives benchmark comparisons against GPT-5.5 and Claude Opus 4.8 on coding and agentic tasks, useful for judging its position among current coding models.

AIThe essay argues that AI compresses the execution layer of software work while decision-making and accountability remain human, so AI is not yet replacing software engineers. It cites AI-attributed layoffs at Block, Snap, and Intuit that the authors say were not driven by AI, and WARN Act filings in which only one company checked an AI box. A Federal Reserve analysis is cited as finding software engineer employment growing about 3 percentage points per year more slowly after ChatGPT than a no-AI counterfactual.

AIFactory is rolling out automated security review in Droid, running a STRIDE-based check on every non-draft PR alongside standard code review. Findings include severity, a CWE reference, an explanation, and a suggested fix, posted as inline diff comments. The feature is available today on all plans, and a deeper multi-agent /security-review deep audit is available for full-repository scans.

AIZed is building DeltaDB, a version control system that records every operation as a fine-grained delta, linking agent conversations to the code they produce. The company says a beta will arrive in a few weeks, and it invites users to join a waitlist. The system is designed so teammates can collaborate on work in progress without waiting for commits, pull requests, or pushes.

AIXiaomi's MiMo team released MiMo Code, an MIT-licensed terminal coding agent built on OpenCode for long-horizon programming tasks. The design centers on three areas: Max Mode parallel sampling that generates five candidates per turn, Goal-based completion verification, and a memory system that checkpoints session state and rebuilds context. The article reports offline benchmark results and a double-blind A/B test with 1,213 pairs in which MiMo Code's win rate exceeded 65% beyond 200 execution steps.

Why it matters: The article explains how MiMo Code handles long-horizon coding through computation, checkpointed memory, and cross-session evolution, useful for judging design tradeoffs in coding agents.

AIEthan Mollick, who had early access to Claude 5 Fable, reports that it outperformed other public models in his tests, including an isochrone travel-time map and a nine-and-a-half-hour software build called Concord. He says the model delegated work to other agents and made many design choices he could not see or weigh in on, leaving him closer to a client than a hands-on operator. He also notes high token usage, frequent fallback to Claude 4.8 Opus under security guardrails, and persistent quirks in its writing style.

AICognition introduced FrontierCode, a coding benchmark built with open-source maintainers that measures whether models produce code a maintainer would merge. On FrontierCode Diamond, the hardest 50 tasks, Claude Opus 4.8 scored 13.4%, GPT-5.5 scored 6.3%, and Gemini 3.1 Pro scored 4.7%. The authors report 81% fewer misclassification errors than SWE-Bench Pro, though this figure comes from their own analysis of agent trajectories.

Why it matters: The benchmark's blocker and rubric design shows how code quality can be measured beyond unit-test correctness, which matters for judging coding agents.

AIXiaomi MiMo has released MiMo-V2.5-Pro-FP4-DFlash, the FP4 backbone behind MiMo-V2.5-Pro-UltraSpeed, with MXFP4 quantization applied only to the MoE experts and a BF16 DFlash drafter for block-diffusion speculative decoding. The backbone has 1.02T total and 42B active parameters, and the drafter proposes blocks of up to 8 tokens per forward pass. The release is supported in SGLang, with example launch commands provided.

AICohere and Cohere Labs released North Mini Code 1.0, an open-weights 30B-A3B mixture-of-experts model for code generation and agentic terminal tasks, under Apache 2.0. The model has 256K context and 64K max output, and is trained for tool use. Its benchmark table lists Terminal-Bench v2 at 36.0, SWE-Bench Verified at 67.6, and LiveCodeBench v6 at 70.3, below Qwen3.6 on several tasks.

Why it matters: The card lists benchmark results against Qwen3.6, Gemma4, and other models, showing where North Mini Code trails on some coding and agentic tasks.

AIEthan Mollick is releasing Co-Existence on October 20, a new book about working with AI systems that are sometimes, but not always, better than humans. The book follows his 2024 title Co-Intelligence, which he says was written about an era of chatbots rather than autonomous agents. Mollick also reports writing every chapter draft himself while using AI readers and fact-checkers, and building the book's website with Claude Code using Opus 4.8.

AIBaidu CoBuddy is now available for free on Novita AI, a code-focused model aimed at developers and AI agents. It offers a 131K context window, up to 65K output tokens, and native tool calling. The model is served through Novita's serverless API for high-throughput, low-latency inference.

AICognition introduced the AI Productivity Guarantee, under which it will issue credits up to $10M if Devin delivers less engineering value than enterprise customers pay for. The company uses an AI estimator to measure hours of productive output, validated against engineers' own estimates of how long the same work would have taken by hand. Value is converted to dollars at a standard global rate and compared against each customer's consumption near the end of the annual contract.

Why it matters: The post explains how Cognition estimates Devin's output in hours and backs the estimate with a $10M credit commitment, a concrete model for measuring AI vendor value.

AICognition built an automated agent that classifies Devin sessions as productive and estimates the human engineering hours each one would have taken. On 233 held-out sessions the estimator reached an rlog of 0.74, with individual errors often 2 to 3 times in either direction but roughly unbiased in aggregate. The system is calibrated to underestimate and is currently running with Devin customers.

Why it matters: The post shows how the measurement design, from hours-based metrics to conservative calibration, determines whether agent productivity estimates can be trusted in aggregate.

AIEugene Yan says stronger models have made finding software vulnerabilities easier, so the bottleneck has moved to verification, triage, and patching. He shares lessons from working with security teams on these new bottlenecks and links to a Claude blog post on using LLMs to secure source code.

AIGoogle has released a new version of Gemini 3.5 Flash in Antigravity that reportedly shows less drift and greater endurance on harder tasks. The company also reset Gemini rate limits for all users so they can start using the updated model immediately.

AIMiniMax has released MiniMax-M3, a native multimodal model with a 1M-token context window, roughly 428B total parameters, and about 23B activated parameters. The model introduces MiniMax Sparse Attention, which the source says delivers 9× prefill and 15× decode speedups over M2 at 1M context. M3 supports enabled, adaptive, and disabled reasoning modes through the thinking parameter, and weights are available on Hugging Face.

Why it matters: The source gives concrete attention-efficiency figures and three reasoning modes, which helps readers judge long-context cost against deployment choices.

AICognition has announced Devin Desktop, the next generation of Windsurf, which makes the Agent Command Center the default IDE surface for managing local and cloud agents, PRs, and context. Spaces let related agents share context, and Agent Client Protocol (ACP) support lets any ACP-compatible agent run alongside Devin. The IDE remains fully backwards-compatible with Windsurf, including editor extensions, keybindings, LSPs, and terminal workflows.

AIMiniMax released M3, an open-weight model with a 1M-token context window, native image and video input, and desktop operation support. The post credits a new sparse attention architecture, MSA, for long-context gains, reporting over 9x prefilling and over 15x decoding speedups and 59.0% on SWE-Bench Pro. The API and MiniMax Code are available now, with the technical report and open weights promised within 10 days.

Why it matters: The post pairs a new sparse attention design with benchmark figures and a 1M-token context window, letting readers judge the architecture's practical effect on long-context work.

AIJeremy Howard reports that Opus 4.8 is more cooperative and less over-agentic than Opus 4.7 while coding. He says it pauses to ask for input where Opus 4.7 and GPT 5.5 would push ahead, but he calls it far too expensive.

AICognition describes autonomous testing in Devin, where the agent writes a source-grounded test plan, operates the app through computer use, and returns labeled screenshots and an annotated video. Login steps are handled by a deterministic testing skill, and the company says test runs approved per day more than doubled in recent months. Known limits include timing errors with transient UI elements and models sometimes triggering states through JavaScript instead of clicking the interface.

Why it matters: The post explains how computer use, test plans, deterministic login scripts, and annotated recordings let Devin verify its own code changes end to end.

AICognition raised over $1B at a $26B valuation, led by Lux Capital, General Catalyst, and 8VC. Enterprise Devin usage grew more than 10x since the start of this year, and run-rate revenue reached $492M. The company also said it launched SWE-1.6, which reaches up to 950 tok/s and has become the most used model in Devin Desktop.

AIGoogle claimed a team of agents built an operating system from a single prompt for about $916 in API fees, using Gemini 3.5 Flash and Antigravity 2.0. The authors argue the prompt was many thousands of lines, the scaffold and human intervention are undefined, and no code, logs, or similarity analysis were released to verify the claim. They still see value in such open-world evaluations, which need stronger methodological norms and independent scrutiny.

AITri Dao says that after a mathematical rewrite, all transformer operations can be expressed as a series of GEMMs with epilogues. Given a few optimized primitives, LLMs and novice humans can write near speed-of-light kernels for transformer ops. The related CODA work fuses memory-bound surrounding ops into the matmul epilogue, and LLMs can also write CODA kernels approaching speed-of-light.

AICursor is doubling usage for new users invited on the Teams plan for the next month. The offer applies only to users invited by a Teams plan member during that period.

AICognition's Devin AI software engineer can now build, run, and test code natively in its own Windows virtual machine, including migrating .NET Framework apps to .NET Core. The Windows capability is in beta for Enterprise Cloud and Dedicated Deployment customers, with the same SOC 2 Type II and ISO 27001 controls as the Linux version. Citi and Mercedes-Benz are named as existing Devin users.

AICursor has added Gemini Flash 3.5 to CursorBench, its main coding agent evaluation. The company says the leaderboard will be updated as new models are released, with results available at

AIComposer 2.5 is now the most-chosen model in Cursor, according to Cursor co-founder Michael Truell. To celebrate, Cursor is giving users 10x usage for the rest of the day.

AIMichael Truell of Cursor says Composer 2.5 is a significant step up from Composer 2. He adds that this is only the start of work with SpaceXAI, with more improvements expected soon. Cursor's announcement describes the model as more intelligent, better at long-running tasks, and more reliable at complex instructions, with doubled included usage for the next week.

AICognition's Devin can now spin up an Android Virtual Device, letting it build, run, and test Android applications directly on its own machine. The new emulator support gives Devin an Android equivalent of computer and browser use, so it can open apps, inspect behavior, reproduce issues, and verify changes. The feature is available now for teams using Devin.

AIAwni Hannun says Claude Code's new agent view is where he starts and manages much of his work, calling it an exceedingly useful feature. Anthropic's Claude account introduced agent view as a single list of all sessions, available now as a research preview.

AIAnthropic's Claude Security is now in public beta for Claude Enterprise customers, scanning codebases for vulnerabilities. It validates each finding to reduce false positives and suggests patches that users can review and approve. The main post from Eugene Yan simply shares the launch and expresses hope it helps people improve cybersecurity.

AIOpenAI released Auto-review in Codex, which replaces user approval at the sandbox boundary with a separate agent that approves or denies boundary-crossing actions. In internal deployment, Codex sessions stopped for human approval about 200x less often than in manual mode, and Auto-review approved around 99% of escalated actions. The post also states that Auto-review is not a guarantee of security and cannot protect against model scheming.

Why it matters: The post explains how Auto-review replaces human approval at the sandbox boundary, with internal deployment figures and stated limits that help readers judge the tradeoff for coding agents.

AIAndrej Karpathy describes a December 2025 shift in which coding agents began producing larger, more reliable chunks of work, changing programming toward orchestrating agents. He argues that models automate what can be verified and that their capability is jagged, depending on verifiability and what labs emphasize in training, so users need to stay in the loop. He also says hiring, founder opportunities, and agent-native infrastructure should adapt to this shift.

AIMercedes-Benz is deploying Cognition's Devin and Windsurf across its global engineering teams, from the United States to Europe and Asia. In a four-week pilot, Devin analyzed over 200,000 lines of COBOL code and cut modernization time from an estimated eight months to eight days. The company is now rolling out the full suite, with Windsurf for development, Devin as an autonomous cloud agent, and Devin for Terminal for the most complex tasks.

AIXiaomi released and open-sourced MiMo-V2.5-Pro, a 1.02T-parameter Mixture-of-Experts model with 42B active parameters and a 1M-token context window. The company reports gains in agentic tasks, software engineering, and long-horizon work, including a Rust SysY compiler task finished in 4.3 hours across 672 tool calls. Weights and tokenizer are on Hugging Face, and API pricing is unchanged.

Why it matters: The release pairs a 1.02T-parameter open-weight model with long-horizon agent results and token-efficiency claims, useful for judging its fit in coding and agent workflows.