Search: “software”

Why? - Risk comes from capability asymmetry between attackers and defenders. Open source is what every frontier lab already trains on so defenders get the same AI firepower as attackers. With propriet

arXiv:2604.13114v1 Announce Type: cross Abstract: Code smells and software vulnerabilities both increase maintenance cost, yet they are often handled by separate tools that miss structural context and

arXiv:2603.29088v2 Announce Type: replace-cross Abstract: Recent progress in large language models (LLMs) has substantially advanced automatic code generation and formal theorem proving, yet software

arXiv:2604.13107v1 Announce Type: cross Abstract: As coding agents have seen rapid capability and adoption gains, users are applying them to general tasks beyond software engineering. In this post, we

arXiv:2504.21751v4 Announce Type: replace-cross Abstract: Modern software development demands code that is maintainable, testable, and scalable by organizing the implementation into modular components

arXiv:2604.02709v2 Announce Type: replace Abstract: The formal reasoning capabilities of LLMs are crucial for advancing automated software engineering. However, existing benchmarks for LLMs lack syste

Cognition AI published a blog post explaining how their AI software engineer Devin differs from and compares to Windsurf, likely addressing competitive positioning as AI coding assistants become an in

Auto-generated index of all tools mentioned across the wiki.

arXiv:2604.07041v1 Announce Type: cross Abstract: Text-to-SQL is the task of translating natural language queries into executable SQL for a given database, enabling non-expert users to access structur

arXiv:2604.06723v1 Announce Type: cross Abstract: In today's AI-assisted software engineering landscape, developers increasingly depend on LLMs that are highly capable, yet inherently imperfect. The t

Axios, a widely used third-party JavaScript developer library with approximately 100 million weekly downloads, was compromised on March 31, 2026, as part of a broader software supply chain attack a...

Claude Mythos is Delusional Media Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software. It’s powered by our newest frontier model, Claude Mythos Previe

Anthropic didn't release their latest model, Claude Mythos (system card PDF), today. They have instead made it available to a very restricted set of preview partners under their newly announced Projec

Atlassian reports 30.8% lower median PR cycle time in an internal evaluation of Claude-backed Rovo Dev Code Reviewer.

Thank you to @AnthropicAI for sending FFmpeg patches Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software. It’s powered by our newest frontier model, C

arXiv:2610.21218v1 Announce Type: new Abstract: Agentic large language models have been documented to lose reasoning capability when placed inside a harness, the software that mediates their observati

arXiv:2610.21412v1 Announce Type: new Abstract: Large language model (LLM) agents now fix software, operate computers and serve customers, but their harnesses, the programs that run them, call a large

arXiv:2610.22039v1 Announce Type: cross Abstract: Real-world software engineering rarely consists of isolated changes. Features, migrations, and systematic fixes often unfold across multiple pull requ

arXiv:2610.14823v1 Announce Type: cross Abstract: Artificial intelligence is increasingly used to support product management tasks. At the same time, AI-native research and development (R&D) may incre

arXiv:2610.17020v1 Announce Type: cross Abstract: Cybersecurity evaluations of AI agents have focused largely on offense, yet a working exploit does not show that an agent can make software safe. An a

arXiv:2610.15221v1 Announce Type: new Abstract: AI agents can evolve by using environment feedback to revise their harnesses, the software managing model inputs, tool use, memory, and execution, while

Hey r/LocalLlama - Today we’re excited to release Muse Spark Open, the most capable US open-weight model to date. Built for coding and agentic work, it excels at long-horizon tasks, complex software e

Meta’s Muse Spark Open, a high‑capacity US open‑weight model for agentic software engineering, is now live on Together AI as a Day 0 launch partner. The model supports a 1‑million‑token context window

arXiv:2610.18612v1 Announce Type: cross Abstract: System One models such as Jev change how software makes decisions by mapping open-ended semantic contexts into structured judgments that directly driv

arXiv:2610.17436v1 Announce Type: new Abstract: Large language models (LLMs) on mobile devices can act as agents that call external software tools to complete complex tasks, but the major challenge of

arXiv:2610.15482v1 Announce Type: cross Abstract: Large Language Models accelerate software development but introduce severe security vulnerabilities. This systematic review investigates security risk

arXiv:2610.18813v1 Announce Type: new Abstract: Harness self-evolution revises an agent's software scaffolding, including prompts, memory, workflows, and executable components, while keeping model wei

arXiv:2607.27964v3 Announce Type: replace-cross Abstract: Ensuring behavioural correctness in communication protocols is a central challenge in distributed software systems, as subtle inconsistencies

arXiv:2601.07239v2 Announce Type: replace Abstract: Deterministic inference is a comforting ideal in classical software: the same program on the same input should always produce the same output. As la

The open-source Temporal execution platform is rapidly becoming a foundational layer of modern software infrastructure — especially for orchestration in distributed systems and AI agent workloads. How

arXiv:2609.35557v2 Announce Type: replace-cross Abstract: The compiler must read modules a physics-based solver cannot build without; the coding agent must not read that intellectual property. The har

arXiv:2610.18445v1 Announce Type: new Abstract: Automating AI research creates a positive feedback loop between software capability and research effort. We study a stochastic realisation of this loop

Today we’re releasing Muse Spark Open, the most capable US open-weight model to date. Built for coding and agentic work, it excels at long-horizon tasks, complex software engineering, and multi-step r

Secure software supply chain solution provider Chainguard Inc. today unveiled a vulnerability-hunting service that uses frontier artificial intelligence models such as Anthropic PBC’s Claude Mythos 5.

arXiv:2610.17224v1 Announce Type: new Abstract: The pass-all-test binary reward has become a standard recipe for training software engineering agents, but its sparsity eliminates difference of partial

Keeping a city running means making decisions that affect residents every day — from when to repair a road to how to use energy more efficiently. Across the EMEA region, cities and local software, inf

arXiv:2610.18457v1 Announce Type: cross Abstract: Large language model (LLM) agents are becoming an integral part of the software development lifecycle, and the capabilities granted to them allow an a

Pluto Security Inc., a provider of artificial intelligence security software, today announced that it has raised 42 million in funding. The company raised about a fifth of the sum through a seed round

arXiv:2610.15494v1 Announce Type: cross Abstract: Radio frequency fingerprinting aims to identify transmitters by exploiting small differences in the emitted signal waveform. Common approaches exploit

Scaling code generation without scaling review risks turning coding gains into a larger “review” backlog (whether during PR review or later, when dealing with technical debt, incidents, or bugs). The

Observability and information technology management software company SolarWinds Worldwide LLC today unveiled Avior, a standalone agentic artificial intelligence system built to take on first-line oper

I've been reading about all these modders using AI to reverse-engineer games and software. I've been trying out photocraft and gridcraft and have just watched a GTA5 mod featuring Sonic. It's pretty d

Enterprise management software company Workday Inc. today announced that it wants to turn its existing knowledge of people, money and business rules into an operational foundation for agentic artifici

A decade ago, Google released Site Reliability Engineering: How Google Runs Production Systems with O'Reilly Media. What began as a collection of our practices for managing large-scale infrastructure

Python 3.15 is here! Here's the essential What's new in Python 3.15 guide, this year curated by 3.14 and 3.15 release manager Hugo van Kemenade. As someone who builds open source software that works i

Coding agents have changed how fast teams ship, and more of the software they ship now includes agents. A production agent spans model calls, routing decisions, tools, and the infrastructure underneat