Search: “software”

arXiv:2609.01271v1 Announce Type: cross Abstract: Agentic software engineering benchmarks are typically summarized by nominal category labels such as 'bug fix' or 'feature implementation,' yet benchma

Raffaele Huang / Wall Street Journal: Industry insiders say Chinese robot makers currently rely on Nvidia silicon and software; Nvidia's physical AI business generates ~$10B in annual revenue — Busine

arXiv:2510.22775v2 Announce Type: replace Abstract: While language model agents have advanced software engineering, existing test-based supervision is limiting its scalability on real-world issues. Th

arXiv:2608.19201v1 Announce Type: cross Abstract: Bioinformatics software and databases are essential components of modern life science research, yet their mentions in the scientific literature are of

Bloomberg: London-based Callosum, whose software matches AI tasks with different models and chips, raised a $100M seed from Atomico, UK Sovereign AI Fund, and others — Callosum, a startup that makes s

arXiv:2608.13450v1 Announce Type: cross Abstract: Autonomous vehicles depend on large safety-critical software stacks, where weaknesses reachable from adversarial inputs may affect steering, braking,

arXiv:2608.13522v1 Announce Type: cross Abstract: AI agents are increasingly used for programming, but do not provide any guarantee on the correctness of generated code. Verified code generation, in w

arXiv:2606.21597v2 Announce Type: replace-cross Abstract: The open-source ecosystem on GitHub lacks a systematic hierarchical taxonomy of software repositories. GitHub Topics, the dominant organizatio

My conversation with @ericvishria of Benchmark. Eric has spent a decade investing across software and hardware, backing companies like Fireworks, Sierra, Sunday Robotics, and Cerebras. This one is abo

arXiv:2608.05594v1 Announce Type: cross Abstract: Validation adequacy in safety-critical software depends on more than the system under test. Critical scenarios must be constructed under controlled co

We analyzed DeepSeek-V4 Flash-0731 vs. GPT-5.6 Luna on software engineering tasks using DeepSWE. DeepSeek-V4 Flash-0731 delivers 80% of Luna’s performance at roughly 1/6 the cost. More insights in the

Aleph, one of Israel’s top funds, is backing a new artificial intelligence-native venture studio with 6 million in pre-seed funding so it can build and launch dozens of new software startups by the en

June.ai Technologies Inc., a startup that uses artificial intelligence to modernize enterprise software environments, launched today with 20 million in funding. The pre-seed round was led by Time Vent

arXiv:2607.20933v1 Announce Type: cross Abstract: Neural Source Code Summarisation (NSCS) aims to generate natural language summaries of source code to improve developers' and maintainers' understandi

For years, we’ve built with a clear priority: putting the practical needs of the enterprise first. Long before generative AI dominated the headlines, we were focused on building the global infrastruct

Grok places second after Fable on real-world software engineering Grok 4.5 from @SpaceXAI places #2 on the APEX-SWE leaderboard at 51.2% Pass@1 (±6.0), behind Fable 5 (65.5% ±6.2) on our benchmark for

Bloomberg: Sources: activist investor Elliott has built a large stake in car insurance software maker CCC, which is exploring a potential sale and has a ~$3.5B market cap — Elliott Investment Manageme

A self-improving agent is conceptualized as a software factory—a system capable of generating and modifying code—that is directed toward improving its own codebase and capabilities. This framing sugge

arXiv:2603.21489v2 Announce Type: replace-cross Abstract: AI agents have become increasingly capable at isolated software engineering (SWE) tasks such as resolving issues on Github. Yet long-horizon t

arXiv:2607.06101v1 Announce Type: cross Abstract: AI coding agents are rapidly reshaping how software is built, with developers increasingly delegating substantial coding tasks to autonomous agents in

arXiv:2607.06341v1 Announce Type: cross Abstract: Formal verification offers the strongest guarantee of software correctness, but it does not scale: the proofs demanded by interactive theorem provers

arXiv:2607.03887v1 Announce Type: cross Abstract: The increasing complexity and frequency of software vulnerabilities demand efficient methods to analyze and prioritize threats. Traditional approaches

Microsoft's fifth wave of Xbox layoffs in July 2026 resulted in approximately 3,200 job losses, with Bethesda Game Studios losing at least 35 employees and id Software being hit particularly hard, rep

arXiv:2607.02703v1 Announce Type: cross Abstract: In this paper, we describe LLMoxie, an institutional AI platform whose three-tiered architecture supports multi-cloud and on-premise inference, a Lite

Puyaan Singh / Reuters: Sleep apnea device maker ResMed agrees to sell its software business MatrixCare to PE firm Frazier for 490M in cash; ResMed bought MatrixCare for 750M in 2018 — ResMed (RMD.N)

Yann LeCun shared details about an early AI prototype project developed over 9 months by a small team in Paris at UMA_Rob, covering artificial intelligence, software, and hardware components. The proj

Andrew Qu from Vercel discusses how AI agents represent a fundamentally different category of software compared to traditional applications, exploring their unique characteristics and implications for

Jim Tankersley / New York Times: German software giant SAP says it is encouraging workers to invent new, more valuable jobs aided by AI, in a bid to avoid layoffs; SAP cut ~10K staff in 2024 — The Ger

Belgian cybersecurity company Aikido Security NV today announced that it has acquired Root.io Inc., a company that offers patching for vulnerable open-source software at the exact versions organizatio

arXiv:2606.28403v1 Announce Type: cross Abstract: Vulnerability detection in C/C++ software remains a major security challenge due to code complexity, manual memory management, and the limitations of

Frank Connelly / Bloomberg: Schneider Electric agrees to buy industrial AI company Cognite in a 3.1B all-cash deal, and plans to combine Cognite with its industrial software company Aveva — Schneider

Israeli startup Arato Software Ltd. is developing tools for developers to test and evaluate their artificial intelligence applications, and it has just gotten 10 million in seed funding to pursue that

Software development automation startup 8090 Solutions Inc. today announced that it has raised 135 million in funding. Salesforce Ventures led the Series A round. It was joined by Palo Alto Networks I

Agreed with this. There's a lot of value in both agents and software (i don't think SaaS is dead), but the product interfaces are different: 1. An agent is like a human. There are a core set of interf

This is the first episode of 'The Next Token' podcast featuring hosts Rhys, Sunil, and Dillon Mulroy discussing artificial intelligence and software engineering topics. The episode serves as an introd

Talked with a few folks inside of AI labs (OpenAI, Anthropic) about what they think of the future of software engineering. The “closer” to shipping production code engineers are, the less they believe

arXiv:2606.25277v1 Announce Type: cross Abstract: To address data overload and inefficient shape-level annotation in robotic visual inspection, this paper proposes a hardware-software integrated optoe

Ana Maria Constantin / The Next Web: Paris-based Tsuga, whose observability software runs in customers' own clouds to help them skip per-byte ingestion costs, raised a 35M Series A led by Singular — T

arXiv:2606.25525v1 Announce Type: cross Abstract: Artificial Intelligence (AI) is rapidly reshaping the nature of work in software development, transforming user roles, workflows, and collaboration pa

Francois Chollet argues that a software engineer's true value lies not in writing complex or clever code, but in their ability to protect the codebase from degradation, technical debt, and poor practi

This post discusses the significant infrastructure changes necessary to support the emerging 'Software Factories' paradigm, suggesting that substantial rebuilding of development and deployment systems

Jagmeet Singh / TechCrunch: Hang Ten Systems, led by former Infosys CEO Vishal Sikka, launches with a $32M seed led by Mayfield to help enterprises use AI to run software at a lower cost — For decades

Lauren Goode / Wired: Qualcomm says it will acquire Modular, which builds a chip software platform and has a proprietary coding language, in a nearly $4B deal set to close in H2 2026 — Modular, one of

Vultr has integrated AMD Enterprise AI Software into its VKE (Vultr Kubernetes Engine) marketplace, enabling customers to deploy AI solutions more easily on Vultr's cloud infrastructure. This integrat

Artificial intelligence-powered software testing and quality assurance platform Momentic Inc. today announced a major update to its service focused on verification in the AI coding era, enabling teams

Adobe has integrated AI capabilities into its software to improve user accessibility for novices, which has significantly boosted adoption of its freemium offerings. This approach demonstrates how AI-