OpenAI released a 249-page manuscript claiming its internal Astra model solved ten open problems in mathematics and theoretical computer science, with Lean 4 formal proofs published on GitHub under Ap…
OpenAI released a 249-page math manuscript, ten machine-verified Lean 4 proofs, and a GitHub repository under Apache 2.0, introducing its next major model family, Astra, which solved ten decade-old ma…
A developer used an LLM to port the classic open-source puzzle game Crack Attack! to run in a browser, with the LLM rewriting it in TypeScript instead of recompiling with Emscripten. The result is ava…
Alibaba's Qwen team released Qwen3.8-Max, a 2.4-trillion-parameter mixture-of-experts model with 95 billion active parameters and a million-token context window, and demonstrated an autonomous 16-day …
GitHub began using interaction data from Copilot Free, Pro and Pro+ to train its models unless users opt out, effective April 24, 2026, while Business and Enterprise plans are unaffected. The change i…
A developer at an unnamed company migrated a 10,000-line Java codebase for a competitive coding game platform to Rust using AI tools, and documented techniques for ensuring confidence in AI-generated …
A new analysis of five AI coding tools reveals that when usage credits run out mid-task, the outcome varies widely—from hard stops to silent model downgrades to billing for incomplete work—and an aban…
In 60 coding-agent runs across three inference routes, patch footprint—the number of files a change touches—was the strongest predictor of success, beating every model-side variable measured. Local De…
A human-written essay argues that as AI agents improve, tasks increasingly get automated without durable software being written, shifting from 'I write the software' to 'AI writes the software' to 'no…
Conductor 0.79.0, a cloud-focused update to the AI coding agent, introduces simplified onboarding, Vercel AI Gateway API key support, and an experimental Pierre editor for direct file editing in diffs…
The npm package keyv published version 6.0.0 on 4 August 2026 with a preinstall script that executes an obfuscated dropper, compromising any developer who installed it directly or as a transitive depe…
GitHub has released a new feature for its Copilot cloud agent that allows users to customize the reasoning level for supported AI models, controlling how much the model reasons before responding. High…
Apple has introduced a cap and a 30-day cool-off period on bug bounty submissions through its internal security portal, effective June, to manage an industry-wide surge in AI-generated security report…
GitHub announced enterprise team specialization for managed settings, allowing administrators to customize Copilot governance per team via itemized configuration files. The feature, now enforced in VS…
A security analysis of Docker Sandboxes v0.37.1 reveals that the default 'Balanced' network profile allows egress to any subdomain of wildcard domains like *.amazonaws.com, *.githubusercontent.com, an…
A critical care physician in Colombia built OMAXI, an LLM pipeline that converts Spanish clinical documents into structured data and physician-signable notes. During a validation experiment against a …
Codeberg e.V., a German nonprofit open-source software hosting platform, voted to ban projects related to cryptocurrency and those heavily tied to large language models (LLMs), including projects crea…
Robinduckett released Leclaude, a Windows shell extension that displays a robot badge on folders containing Claude Code session history, available for Windows 10 and 11 on x64 and ARM64. The tool, bui…
Glean, the Work AI platform, is hiring a Machine Learning Engineer for Assistant Quality in San Francisco, CA, with a salary of $180k–205k/yr. The role focuses on improving the quality of Glean's AI A…
A GitHub account published 55 security advisories for SQLite, 54 of which were fabricated and one contained a real bug, according to a JFrog audit. The NIST National Vulnerability Database (NVD) regis…