iCreatAI News
Back to main site
Skip to content
Only First party#Coding
Nov 6Fri
  1. Microsoft Research58

    Formally verifying agent-written full-stack web apps with PDD Kit

    GitHub Next describes PDD Kit, a toolkit for Proof-Driven Development that turns a developer's intent into a formal specification in Verus, proves the agent's code meets that spec for every input, and falls back to tests where proofs cannot reach. The team applied it to Pet Store, a roughly 5,000-line Rust full-stack app, formally verifying its login logic while the developer reviewed the intent rather than reading generated code line by line. PDD Kit labels each result as either formal verification or empirical evidence and asks developers to sign off on each trusted component.

Nov 5Thu
  1. Codex Releases10

    0.168.0-alpha.3

    This page is a GitHub changelog entry titled "0.168.0-alpha.3," but the supplied material consists only of site navigation and product menu text (Platform, Copilot, Actions, Codespaces, Advanced Security, Pricing, and similar links). It contains no release notes or details about the version itself.

  2. Baseten Blog58

    Introducing Baseten Router: a Pareto-optimal model router for coding tasks

    Baseten Router routes each coding task between models such as Opus 5.5 and GLM 5.3 Flash based on predicted success rate and cost, and in benchmarks spanning DeepSWE 1.1, SWE Atlas QnA and Terminal-Bench 2.1 it came within 0.8 percentage points of Opus 5.5's pass rate at 72% lower cost. Baseten says it was the only commercial router it evaluated that beat random routing at the same cost by a statistically significant margin, with configurable Cost, Balanced and Intelligence thresholds. It is part of Baseten Grid, now in public preview.

  3. Factory Blog42

    HumanLayer is joining Factory

    HumanLayer is joining Factory to accelerate building autonomous, self-improving software for enterprises and developers. Going forward, Factory will open source HumanLayer and invite all HumanLayer users to Factory, with the current platform remaining up during a transition period for data export, migration to Factory, or self-hosting. Dex Horthy, Kyle Mistele and team will bring features such as multiplayer tasks/workstreams and in-app collaboration on agent-written plans, product specs, and design docs to Factory in the coming weeks.

Nov 4Wed
  3. Codex Releases12

    0.168.0-alpha.1

    This GitHub Changelog entry is titled "0.168.0-alpha.1" and lists the page's navigation sections, including Platform, Copilot, Actions, Codespaces, Secure Code, and Add-ons such as GitHub Advanced Security and Copilot for business. The supplied material contains no details about the release's features, improvements, or fixes.

Nov 3Tue
Nov 2Mon
  1. Trail of Bits Blog64

    Backporting security fixes at scale with Codex

    Trail of Bits describes using Codex with GPT-5.6 to backport security fixes into stable Linux kernel branches and distribution packages, reporting that by October 29 the project had delivered fixes for 149 distinct CVEs into stable kernel releases plus several Fedora and Ubuntu package fixes. The workflow has agents identify missing fixes, adapt patches, assemble validation evidence, run tests and prepare submission packets while engineers review and submit them, cutting preparation and review of a straightforward backport to about 30 minutes and a more involved case to around three hours. The post also presents counts of unfixed CVEs in stable kernel branches and in Debian 13 and Ubuntu 26.04, noting that regression testing and maintainer acceptance remain essential.

    Why it matters: It offers a concrete account of AI-assisted security backporting, including a described workflow, effort estimates and CVE backlog figures for stable Linux software.

  2. Codex Releases10

    0.167.0-alpha.3

    This GitHub Changelog entry is titled "0.167.0-alpha.3" and appears to be a version release note, but the supplied material contains only site navigation and product menu text rather than the release details themselves.

Oct 31Sat
  1. AWS Machine Learning Blog50

    Preview web apps live as your coding agent builds them with Amazon Bedrock AgentCore runtime

    Amazon Bedrock AgentCore runtime Session endpoints give each agent session an authenticated URL that forwards HTTP and WebSocket traffic to the ports you allow via allowedPorts, so a Vite site running in the session can be viewed in a browser as the agent edits it. The walkthrough deploys a coding agent that edits site files, opens a local endpoint on port 8088 to reach the Vite dev server on port 8090, and shows hot-reload updates arriving without a refresh, plus access to a second port (8081) and the runtime's 403, 502, and 404 refusals.

Oct 30Fri
  1. OpenRouter Announcements58

    Claude Opus vs Sonnet vs Haiku: Which Should You Use?

    The article recommends Claude Sonnet 5.5 as the default, Haiku 5.5 for high-volume and sub-agent work, and Opus 5.5 for long, ambiguous tasks where errors are costly. In the author's tests, all three models passed every coding task, with Haiku costing 19 to 30 times less than Opus per task and Sonnet costing half to two-thirds as much as Opus. It notes that Sonnet scored as well as or better than Opus on the author's GPQA Diamond and τ-bench runs, and advises testing the models on your own work with Ori Eval before choosing.

  2. OpenRouter Announcements60

    How Much Does Claude Code Cost? Real Session Costs by Model

    Claude Code is free to install, but users pay for the model it calls, either through a Claude subscription or per token on an API key. Median API-key session costs from OpenRouter data over the 30 days to October 18, 2026 were $0.31 for a 2–9-turn session and $1.39 for a 10–49-turn session on Claude Opus 5.5, versus $0.16 and $0.60 on Claude Sonnet 5.5. Most of the cost comes from Claude Code's own context written to the prompt cache on the first request and read back on later turns, so the article recommends Sonnet as default, Haiku for background jobs and sub-agents, shorter sessions, and a credit limit on the key.

    Why it matters: It gives concrete per-session cost medians by model and length, plus practical levers for controlling Claude Code spend.

  3. Factory Blog78

    Droid 1.0: Building a Frontier Harness

    Factory released Droid 1.0, an agent harness it says outperforms native harnesses built for their models by up to 20% more efficiently on the same tasks, with programmatic tool calling (Script mode) now the default for models including GPT-6.1 Sol, Claude Opus 5.5 and Kimi K3. The post reports that Script mode cuts Droid's cost by 15% on Claude Opus 5.5, that the base prompt shrank 37% between versions 0.170.0 and 0.250.0, and that median time to first paint fell from 1,839 to 488 ms. It also describes the internal Agent Factory loop, in which agents propose harness changes that engineers review before shipping.

    Why it matters: A detailed first-party account of harness design choices, benchmark methodology and latency work that is useful for teams building or evaluating coding agents.

  4. Microsoft Research22

    Microsoft Research Focus – Edition #97

    This edition of Microsoft Research Focus, hosted by Sowbhagya Suresh, highlights recent Microsoft research including ForkPilot, a self-improving agentic framework that reduces AI processing demands by up to 59%, and CABRA, a framework showing that understanding unfamiliar codebases remains a major obstacle for coding agents. It also covers TeleTune for learning agent skills from activity logs, findings that common Copilot uses may mask differences across industries, a Shiksha Copilot study in Indian schools, the Probabilistic Bias Correction framework for extended-range weather forecasting, and the public preview of the BioEmu2 biomolecular model.

  5. AWS Machine Learning Blog55

    Build a repeatable PHP-to-Java migration engine with Kiro

    This AWS post describes a PHP-to-Java migration engine packaged as versioned Kiro skill files (php-model-discovery and php-to-java-migration) that can be run either interactively in Kiro or agentically at portfolio scale via AWS Transform. The engine uses a dependency-free PHP scanner to emit a JSON manifest of models, fields, relationships and review flags, then follows an eight-phase, parity-first workflow in which a parity harness is built before any Java is written and the PHP code serves as the specification. A sample project migrates four Laravel Eloquent models to Spring Boot 3.4.1 on Java 21 with Maven and H2, and the post notes the parity harness was not built for that slice, calling it "the single biggest gap."

  6. Codex Releases22

    0.166.0

    Version 0.166.0 adds keyboard-driven transcript selection with word, line, and page motions plus integrated search, renders Markdown in async questions and transcript replies, and adds GPT-6.1 Terra to the bundled, Vertex AI, and Amazon Bedrock model catalogs. It also introduces `codex queue --resume`, clearer safety-block explanations with safer follow-up prompts, and `codex doctor --network-only` for focused network diagnostics. Bug fixes preserve acknowledged permissions on resume/fork, restore spawned descendant threads when unarchiving a parent, and improve TUI reconnection recovery.

Oct 29Thu
  1. Mistral AI82

    Le Chonk: Built for Coders, Trusted by Defenders.

    Mistral released the open weights of Mistral Large 4 (Le Chonk), a 1-trillion-parameter natively multimodal model trained from scratch in Europe, reporting leading open-weight results on coding benchmarks such as FrontierCode 2.0 (19.7%) and Terminal-Bench 4.0 (41%), plus 51% on the Artificial Analysis Cyber Index. It offers three reasoning modes (Low, Medium, High) and is priced at $0.70 input / $0.07 cached input / $2.10 output per million tokens under a modified MIT license that requires a separate commercial license for Model-as-a-Service offerings.

    Why it matters: The post details benchmark scores, pricing, licensing terms and deployment options for a flagship open-weight model, useful for developers weighing coding performance against cost and control.

  2. Amp Chronicle58

    Visualize This

    Amp can now visualize or build things directly in a thread, including charts, timelines, diagrams, and clickable mockups. The post shares examples from real threads, such as Quinn's request for ways to fit a diff stat into a small button across desktop, mobile, and tablet platforms.

  3. Replit Blog60

    ViBench 2.0: A Benchmark for Long-Horizon Software Building

    Replit releases ViBench 2.0, a long-horizon software development benchmark in which an agent builds a product from an empty project and then adds up to eighteen features on top of its own code, spanning seventeen products, 241 feature requests and 544 test plans. In Fireworks' official runs, GPT-6.1 Sol leads with a pass@1 of 65%, followed by GPT-6 Astra at 60% and Opus 5.5 at 49%, and no open-weight model passes a full build. Eight of the products are public on GitHub in the Harbor format, and results can be rerun from release v2.0.6 on the OpenHands-based harness.

    Why it matters: It offers concrete pass rates, costs and failure modes for frontier models on multi-feature product building, with a public, rerunnable harness.

  4. Google DeepMind82

    Gemini 4 Carbon: Our next frontier model

    Google announced Gemini 4 Carbon, its strongest model with state-of-the-art cybersecurity and long-horizon capabilities, ranking #1 on the Artificial Analysis Intelligence Index v5.0 at 59 and scoring 88.2% on SEC-bench Pro, 54.8% on ExploitGym, and 71.0% on CWE-bench. It launches at Argon's introductory price of $2 per million input tokens and $10 per million output tokens, initially available to a subset of cyber defenders and trusted partners through the Fairwind Program before wider release. Google reports reduced misalignment alerts, a 0.0% prompt-injection attack success rate on Gray Swan's IPI Benchmark, and 0.0% successful cheating on Terminal-Bench 4.0.

    Why it matters: It documents a major frontier model release with concrete benchmark numbers and a staged, safety-focused rollout, useful for tracking competitive and cybersecurity trends.

  5. OpenRouter Announcements58

    Hit Your Claude Code Usage Limit? How to Keep Coding

    Claude plans have a five-hour limit and a weekly limit, and when you hit one you can keep coding by running Claude Code on an OpenRouter API key, which has no such windows and bills per token instead. The setup uses three environment variables (ANTHROPIC_BASE_URL, ANTHROPIC_AUTH_TOKEN, and an empty ANTHROPIC_API_KEY) placed in a shell function so plain `claude` still uses your plan, and you switch back by typing `claude` when the plan resets. The article reports median session costs of $0.305 on Opus 5.5, $0.155 on Sonnet 5.5, and $0.007 on Haiku 5.5, and warns that Claude Code's printed cost is unreliable because it prices OpenRouter models with Anthropic's table.

  6. Artificial Analysis Articles72

    GitHub Copilot Fusion orchestrates Anthropic and OpenAI models to balance performance and cost

    GitHub has released Copilot Fusion in GitHub Copilot, a runtime orchestration system that selects and coordinates models from Anthropic and OpenAI, including Claude Opus 5.5, Claude Sonnet 5.5, GPT-6 Astra and GPT-6 Sol, to optimize performance, cost and latency per task. In Artificial Analysis' Coding Agent Index v2.0, its max setting in GitHub Copilot CLI scored 2 points below Opus 5.5 in Claude Code at half the cost per task ($5.59 versus $11.42), leading Terminal-Bench 4.0 at 71 while ranking third on FrontierCode at 51 and scoring 57 on SWE-Atlas-QnA-AA. It used 7.2M tokens per task, roughly half of Claude Opus 5.5 in Claude Code and 30% less than Devin Fusion with Opus 5.5 (max) + GPT-6 Luna (high).

    Why it matters: Offers concrete benchmark and cost comparisons for a multi-model orchestration approach, useful for readers weighing coding-agent performance against token spend.

Oct 28Wed
  2. Artificial Analysis Articles60

    Announcing Artificial Analysis Intelligence Index v5

    Artificial Analysis released Intelligence Index v5, its biggest upgrade since v4, adding FrontierCode 2.0 and Terminal-Bench-Science and upgrading HLE-Diamond, AA-Omniscience v1.1 and CritPt v2, with 60% of the Index now based on private test sets or held-out answers. Claude Opus 5.5 (max) leads at 58, ahead of GPT-6 Astra (max, 57) and GPT-6.1 Sol (max, 55), while the open weights gap widens from 3 points to 12. It also launched the Progress Index v1, which tracks model capability over time on one continuous scale.

    Why it matters: It details a major benchmark revision and new leaderboard results, useful for readers tracking how frontier and open-weight models are measured.

  5. Meta Engineering36

    Python Typing Survey 2026: AI Tools and the Shifting Checker Landscape

    The 2026 Python Typing Survey, with 1,794 responses, found type hint use stable across three years (85.5% in 2026) while checker selection shifted sharply, with 49.9% of respondents selecting two or more checkers and speed cited by 56.5% as the top reason for choosing one. Missing type information in third-party libraries was the leading difficulty at 65.1%, and AI tools wrote type hints for 42.5% of 1,517 respondents, with 24.4% saying an AI coding tool invoked their checker.

Oct 27Tue
  2. Codex Releases8

    0.165.0-alpha.1.2

    A pre-release tagged rust-v0.165.0-alpha.1.2 was published by github-actions on 27 Oct at 04:57, with 151 commits to main since the previous release. The release is identified by commit 720fec8 and lists 320 assets.

  5. Claude Code Releases18

    v2.1.311

    Claude Code v2.1.311 adds --hold-idle-file and --max-hold-min to self-hosted-runner, fixes startup freezes with long CLAUDE.md list items, and resolves standard-context sessions stopping with "Usage credits required for 1M context" by compacting and continuing. It also fixes Write/Edit stalls on large files, subagent MCP tool access, stale MEMORY.md/CLAUDE.md after compaction, and numerous MCP, rewind, IDE, and cloud session issues, plus changes ultrathink to run at xhigh effort on Opus 5.5, Sonnet 5.5, Haiku 5.5 and Fable 5.1 via Anthropic's API.

Oct 21Wed
  1. GitHub Blog · AI & ML22

    How 3 Java Champions are using GitHub Copilot for increased productivity

    GitHub interviews three Java Champions—Vlad Mihalcea, Patrick Baumgartner, and Frank Delporte—about using GitHub Copilot in production and open source work, including a Hypersistence Optimizer app built in two days, a 900-slide Reveal.js to Marp migration, and diagnosing a Pi4J bug where virtual threads pinned in native poll() calls left a fifth button unresponsive. They emphasize reviewing generated code, defining verification gates, and keeping humans accountable for what ships.

Oct 20Tue
  1. GitHub Blog · AI & ML34

    How to continue a GitHub Copilot app session in VS Code

    This GitHub tutorial explains how to open a GitHub Copilot app session in VS Code so its conversation, diff, and worktree carry over, letting you review changes line by line, edit by hand, run tests locally, and push updates to the session's pull request. It lists prerequisites and walks through each step, including prompting Copilot further from the sidebar and committing with normal Git commands.

Oct 6Tue
  1. Mistral AI83

    Introducing Mistral Large 4

    Mistral launched a public preview of Mistral Large 4, a 1-trillion-parameter natively multimodal model with 52 billion active parameters, trained from scratch on 3,800 NVIDIA Grace Blackwell GPUs in Mistral's own European datacenters, with weights to be released by the end of the month. Mistral reports competitive performance across coding, agentic workflows, multimodal understanding, cybersecurity, science and knowledge work, claiming it outperforms any open-weight model developed in the US or Europe. The preview API is available on Mistral Studio, and the model will serve as the foundation for a new generation of specialized Mistral models.

    Why it matters: Useful for readers tracking open-weight frontier models, European AI sovereignty, and Mistral's claimed benchmarks and release timeline.

Oct 5Mon
  1. GitHub Blog · AI & ML61

    ReviewBench: An open benchmark for AI code review

    GitHub introduces ReviewBench, an open benchmark for AI code review built from analysis of 103.9 million GitHub pull requests, containing 219 public pull requests across 19 languages with a multi-source golden set labeled for severity and category. It reports grounded and augmented precision, recall, and F1 metrics, uses Claude Sonnet 5 as the LLM grader under a published rubric, and had its ground-truth findings independently re-labeled by senior engineers with 96.6% agreement. GitHub says ReviewBench's offline predictions for a Copilot code review multi-model ensemble matched a later A/B test, which showed an 8.0% rise in addressed rate, 13.6% in recall, 61% in comment volume, and an 8.0% drop in cost per review.

    Why it matters: It offers a concrete, reproducible methodology and public dataset for comparing AI code reviewers, plus evidence on how offline scores tracked a production experiment.