Knowledge catalogue
arXiv:2609.31282v1 Announce Type: cross Abstract: This paper proposes a blockchain-backed agentic security framework designed to safeguard the complete software development lifecycle (SDLC) while also
Rocket Software Inc. is expanding its Enterprise Virtual Assistant agentic artificial intelligence platform to help enterprises investigate and eventually automate operational work on mainframe system
Francesca Maglione / Bloomberg: Analysis: tech employers filed layoff notices for 14,500+ Bay Area workers in the 12 months to June; Bay Area software engineer demand is down 42% since 2022 — The enor
Why does the AI industry wants you to believe in “rogue agents” when we are really just talking about irresponsibly developed software? Here’s a good theory: @haydenfield @mmitchell_ai @HeidyKhlaaf @t
Identifying the next phase of software development as always-on agentic artificial intelligence, Atlassian plc today announced a new set of upcoming Jira features to help engineering teams run AI agen
Lightsage, an early-stage startup that’s helping software companies to sell their products to artificial intelligence agents, said today it has raised 4 million to spark a new era of “agent-led growth
arXiv:2609.04681v1 Announce Type: cross Abstract: AI coding systems are moving from autocomplete and chat toward agents that can inspect repositories, edit multiple files, run tools, write tests, open
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-
We’re also launching the OpenAI Daybreak Cyber Partner Program with leading security software and services providers. Participating partners can use GPT‑5.5 with Trusted Access for Cyber in the securi
We’re expanding OpenAI Daybreak to help democratize patching vulnerable software at machine speed: - Codex Security plugin: find, validate, and fix vulnerabilities right inside Codex - The full versio
Most software engineers are facing an identity crisis bordering on depression. As CTOs aggressively evangelize tokenmaxxing, a class divide ensues. The lazy. The lazy push code. They don't write it. T
How do you prove the business value of generative AI to your teams? Technology and finance leaders need to show the clear business value of AI projects to secure ongoing funding. While measuring retur
A French engineer who lives quietly in Paris has spent 30 years writing software that the entire internet now runs on without knowing his name. He wrote the code that streams every YouTube video, ever
Sam Sabin / Axios: Anthropic researchers say Mythos Preview can now turn publicly disclosed software vulnerabilities, or N-days, into working exploits in hours instead of weeks — Anthropic's Mythos Pr
Lucinda Shen / Axios: Infinity Constellation, which builds AI tools and software businesses for the professional services market, raised a 24M Series A; it previously raised 17M — Infinity Constellati