Knowledge catalogue
The Information: Nvidia acquired Kumo, which sells predictive AI software to enterprises, a source says for 400M+; PitchBook: Kumo raised 37M at a 250M valuation in 2022 — Nvidia has bought Kumo AI, a
arXiv:2605.30677v1 Announce Type: cross Abstract: Agentic software reverse engineering systems are vulnerable to prompt injection attacks placed into the source code of executable binary files. This r
NVIDIA DSX OS is an open source, modular software platform designed for operating and scaling multi-tenant AI factories. It provides foundational technologies for building and operating AI factories,
Barratt Dewey / Tectonic Defense: Picogrid, which is building a hardware and software integration layer for military systems, raised a $45M Series A led by Bessemer — Picogrid is proving that teamwork
Cognition AI announced details about their Series D funding round, focusing on developments in autonomous software engineering capabilities. The post likely discusses their business progress, product
arXiv:2605.26548v1 Announce Type: cross Abstract: Large language models (LLMs) now support automated software security tasks, including vulnerability discovery and proof-of-concept (PoC) generation. E
Grok Build is pretty amazing. Not just for enterprise software. My son loves the Chicago Cubs. We built a Cubs app, with a live API feed, scores, standings, news, users, and ability for users to post.
People keep asking if AI will replace software engineers. I believe the exact opposite. Thanks to the Jevons paradox, AI tools are making great engineers 10x more productive, allowing us to tackle muc
Wired: Socket: TeamPCP, the gang claiming GitHub's repositories breach, also executed 20 “waves” of supply chain attacks recently, compromising 500+ pieces of software — GitHub is just the latest vict
arXiv:2605.19769v1 Announce Type: new Abstract: We present OpenComputer, a verifier-grounded framework for constructing verifiable software worlds for computer-use agents. OpenComputer integrates four
Alexander Martin / The Record: Sources: an attack exploiting a previously unknown vulnerability in Huawei router software caused a three-hour nationwide telecoms outage in Luxembourg in 2025 — An atta
arXiv:2605.18284v1 Announce Type: cross Abstract: Software repositories accumulate large amounts of unstructured knowledge in commit messages, pull-request discussions, and issue threads, but develope
This post from Brex's X account presents data on the 25 fastest-growing software vendors as of Spring 2026, likely ranking companies by metrics such as revenue growth, user adoption, or market momentu
arXiv:2605.15846v1 Announce Type: cross Abstract: Coding agents are increasingly deployed in real software development, where a single version iteration requires months of coordinated work across many
Jason Nelson / Decrypt: Vitalik Buterin says AI-assisted “formal verification” could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws — Ethereum co-fo
Apparently at @AIEMiami geoff complained about @SAPConcur being dead software and a SAP guy was in the audience and invited him to SAP to advise on how to do AI transformation for 6800 employees TLDR
Bloomberg: California Gov. Gavin Newsom proposes a new 7.25% tax on web-based software sales, targeting $1.1B in state and local tax revenue in the upcoming budget year — California Governor Gavin New
Rivian released its new Rivian Assistant AI feature as part of software update 2026.15, enabling owners to interact more naturally with their vehicles through voice commands. Unlike phone-mirroring vo
Amazon Web Services Inc. is trying to get rid of the bottleneck between architectural planning and code execution with a number of upgrades to its artificial intelligence software development tool Kir
Reuters: The US DOD says it is deploying Mythos to find and patch software vulnerabilities across the US government, even as it works on a transition away from Anthropic — WASHINGTON, May 12 (Reuters)
Lora Kolodny / CNBC: Waymo recalls ~3,800 robotaxis in the US to fix software issues that may cause them to drive onto flooded roads, after some were seen stalled on flooded streets — Waymo is recalli
arXiv:2605.08380v1 Announce Type: cross Abstract: AI agents are increasingly framed as software-engineering teammates, yet most research studies them inside human-centered workflows. Little is known a
arXiv:2605.07422v1 Announce Type: cross Abstract: Qualitative analysis plays a pivotal role in understanding the human and social aspects of software engineering. However, it remains a demanding proce
Michael Kan / PCMag: The FCC says foreign-made routers and drones can now receive software updates at least until 2029, extending its earlier 2027 cutoff — The FCC's bans on foreign-made Wi-Fi routers
Anhata Rooprai / Reuters: CRM software company Freshworks said it plans to cut 11% of its workforce, or ~500 jobs, as it deals with AI's impact; FRSH has dropped ~26% in 2026 — Freshworks (FRSH.O) sai
Dyna Software Inc., a company that provides platform governance and health provider for ServiceNow Inc., today announced the launch of Platform Copilot, an agentic artificial intelligence tool the com
Meta Platforms Inc. has acquired Assured Robot Intelligence Inc., a provider of artificial intelligence software for robots. The social media giant announced the deal today without disclosing the fina
Ben Shimkus / Business Insider: Pushing back on AI job loss fears, AWS CEO Matt Garman says Amazon plans to hire 11,000 software engineering interns in 2026, a figure in line with recent years — - AWS
arXiv:2604.27209v1 Announce Type: cross Abstract: Large language models can now generate substantial code and draft research text, but research-software projects require more than either artifact alon
Chloe Meley / Bloomberg: European software companies, including SAP, Capgemini, Nemetschek, Hexagon, and Dassault, report better-than-expected earnings despite AI fears and the Iran war — Europe's sof
In this informal poll, only a fifth of all coders and software engineers have gone over full time to vibe coding. Most use vibe coding; few use it exclusively. Most still do some hand coding. Amateurs
On #tokenmaxxing: Are walking miles like tokens in software? Easy to measure. Feels like progress. Doesn’t guarantee outcomes. — Back from @GoogCloudNext Announcements and everything was super. Person
arXiv:2511.08484v2 Announce Type: replace Abstract: We propose patching for large language models (LLMs) like software versions, a lightweight and modular approach for addressing safety vulnerabilitie
The Information: Analysis: as of late 2025, 79 of 500 tracked software companies including HubSpot, Adobe, and Salesforce adopted usage-based AI fees, more than doubling on 2024 — Dozens of enterprise
arXiv:2604.21952v1 Announce Type: cross Abstract: This work presents a multi-layered methodology for efficiently accelerating multimodal foundation models (MFMs). It combines hardware and software co-
Gary Marcus argues that software engineers will remain in high demand for years into the future, countering claims that artificial intelligence or other technological developments will eliminate the n
Shares of the European enterprise software maker SAP SE registered solid gains in late trading today after the company delivered earnings results that beat expectations. The company’s American deposit
arXiv:2604.20934v1 Announce Type: cross Abstract: Software-Defined Networking (SDN) is another technology that has been developing in the last few years as a relevant technique to improve network prog
Cloudsmith Inc., a startup that helps software teams manage application components, has secured 72 million in new funding. The Series C round was led by TCV, which was also the biggest backer of the c
Natalie Breymeyer / Axios: Cloudsmith, which is building a cloud-native system to manage software artifacts, raised a 72M Series C, following a 23M Series B in 2025 — Cloudsmith, a platform that prote
Jordan Novet / CNBC: IBM reports Q1 revenue up 9% YoY to 15.92B, vs. 15.62B est., software revenue up 11% to $7.05B, and maintains FY 2026 guidance; IBM drops 7%+ after hours — IBM shares slipped 6% i
Reuters: Meta is installing tracking software on US staffers' computers to capture mouse movements, clicks, and keystrokes in work-related apps for use in AI training — Meta (META.O) is installing new
Human cognitive friction has long been acting as a regularizer for a lot of digital infrastructure. It made software APIs less terrible and codebases less complex. Now LLM disintermediation is causing
Sean O'Kane / TechCrunch: Filings: Caterpillar acquires self-driving electric tractor startup Monarch Tractor's assets, after it raised $200M+ and struggled to pivot to software services — Monarch Tra
Madison Mills / Axios: Hilbert, whose AI software connects data across teams to help companies make decisions from a single system, raised a 28M Series A led by a16z — Hilbert, an AI startup rethinkin
Learn how to use coding agents in 30 minutes! This course teaches you how to build software with agents: plan new features, fix bugs, review and test code, and more. It's 100% free and these concepts
Quantum-HPC integration may still be in its earliest chapters, but the race to build the software infrastructure it will need is already underway. As the quantum technology market matures toward a pro
Rashi Shrivastava / Forbes: Mintlify, which uses AI to help companies generate software documentation, raised a 45M Series B led by a16z and Salesforce Ventures at a 500M valuation — It's just one of
arXiv:2604.06742v1 Announce Type: cross Abstract: Large Language Models (LLMs) are driving a shift towards intent-driven development, where agents build complete software from scratch. However, existi
For what it's worth. I'm a mechanical engineer by education and software engineer in practice over the past ~20 years. Playing around with local models has been a recent hobby. Today I decided to do a
arXiv:2610.10628v1 Announce Type: cross Abstract: Existing LLM-based approaches for software Requirements Engineering (RE) typically rely on basic prompting strategies or rudimentary agent collaborati
Jeff John Roberts / Fortune: Warehouse robotics startup Ultra raised a 12M seed and a 50M Series A, and expands its deal with Physical Intelligence to supply AI software for its robots — Finance edito
It is very cool to see llama.cpp on the big stage in todays Windows event! The software and hardware stacks are finally coming together. Our community has put a lot of hard work in the past years and
For their Mistral Large 4 release, @MistralAI ran a blind Surge human eval, with our expert software engineers evaluating five frontier models on coding quality. Le Chonk ranked #1 among open-weight m
arXiv:2610.06575v1 Announce Type: new Abstract: FrontVeg V2 is an open-source, training-free software framework for foregroundaware zero-shot segmentation of plant traits in high-resolution images of
Sarah Perez / TechCrunch: OpenAI's DevDay 2026 announcements to turn ChatGPT into a place to discover, launch, and use software could potentially disrupt the traditional app store model — The focus of
arXiv:2610.00885v1 Announce Type: cross Abstract: Coding agents increasingly automate Lean proof development, but successful compilation alone does not establish that a candidate proves the intended s
arXiv:2609.36371v1 Announce Type: cross Abstract: Test-time scaling improves software engineering agents by generating multiple candidate trajectories and selecting the best one. Verifying and selecti
arXiv:2609.36323v1 Announce Type: new Abstract: AI-assisted coding tools deliver significant acceleration of coding, but only limited impact across the end-to-end software development lifecycle (SDLC)
arXiv:2609.33875v1 Announce Type: cross Abstract: Outcome-only reinforcement learning gives software engineering (SWE) agents a terminal success signal but little direct guidance about intermediate de