Abstract: Software vulnerabilities pose critical risks to the security and reliability of modern systems, requiring effective detection, repair, and explanation techniques. Large Language Models (LLMs ...

Abstract: Our research focuses on the intersection of artificial intelligence (AI) and software development, particularly the role of AI models in automating code generation. With advancements in ...

A11yShape lets blind coders design and verify models on their own ...

And then there's agentic AI coding. When a tool can help you do four years of product development in four days, the impact is world-changing. While vibe coding has its detractors (for good reason), AI ...

Oh, sure, I can “code.” That is, I can flail my way through a block of (relatively simple) pseudocode and follow the flow. I ...

Part of traveling the world as an Anglophone involves the uncomfortable realization that everyone else is better at learning ...

OpenAI has launched a new Codex desktop app for macOS that lets developers run multiple AI coding agents in parallel, shifting software development from writing code to managing autonomous tasks and ...

Fara-7B is Microsoft's first agentic small language model (SLM) designed specifically for computer use. With only 7 billion parameters, Fara-7B is an ultra-compact Computer Use Agent (CUA) that ...

The project is in an experimental, pre-alpha, exploratory phase with the intention to be productionized. We move fast, break things, and explore various aspects of the seamless developer experience ...

In the United States, the share of new code written with AI assistance has skyrocketed from a mere 5% in 2022 to a staggering 29% by early 2025. This is a massive structural shift in how our digital ...

Anthropic has released a new AI tool, Cowork, that allows users to collaborate with the AI model Claude directly in their computer files. Not just via text chat. The tool is based on the same ...