Knowledge catalogue
FinTech Global: NYC-based Reserv, which provides software and AI-powered claims processing tech for property and casualty insurers, raised a 125M Series C led by KKR — Reserv, an AI-native third-party
Shane Snider / Data Center Knowledge: Sydney-based AI data center operator IREN agrees to acquire Mirantis, which offers Kubernetes management and cloud infrastructure software, for 625M in stock — Th
Idea: Business owners should crowdsource a list of Most Hated Software and then indiehackers should pick thru and make new clones of them are just 'simple' - rewind 10 years of enshittification on the
integrating good system design and thinking, not just into software, but into all agentic ai interactions is a massive design space/opportunity right now @mattpocockuk with @swyx, @latentspacepod Medi
arXiv:2505.19629v3 Announce Type: replace-cross Abstract: Self-adaptive robotic systems operate autonomously in dynamic and uncertain environments, requiring robust real-time monitoring and adaptive b
Sam Altman argues that AI tools should be designed to augment and enhance software developers' capabilities rather than replace them, emphasizing that exceptional individual developers become extraord
arXiv:2605.02244v1 Announce Type: cross Abstract: Frontier software engineering agents have saturated short-horizon benchmarks while regressing on the work that constitutes senior engineering: long-ho
Jonathan Greig / The Record: A bug in popular cPanel, WHM, and WP Squared software has reportedly been exploited since Feb.; CISA it gives a 9.8 CVSS score, tells agencies to patch by May 3 — Federal
Mike Stone / Reuters: The US Navy awards Domino Data Lab a contract worth up to $100M for AI software that teaches underwater drones to identify new mines in the Strait of Hormuz — The U.S. Navy is ra
Evinova, a separate health tech company within the AstraZeneca group, builds software that modern clinical trials run on. They put Devin to work on regulatory documentation, bug triage, tech stack mig
Introducing Silico: the platform for building AI models with the precision of written software. Silico lets researchers and engineers see inside their models, debug failures, and intentionally design
Brock E.W. Turner / Axios: Aidoc, which provides AI medical imaging software to flag incidental findings on CT scans and X-rays, raised a 150M Series E, taking its total funding to 520M — Aidoc, a cli
arXiv:2604.24831v1 Announce Type: cross Abstract: Deep Learning methods are becoming prominent in automated software bug detection; however, they lack the global understanding of the given code. Conse
Just received new reach minis for the Miami office! This is the first robot that goes out to people with agentic software meaning anyone can build any apps with their agents so excited to see what peo
arXiv:2411.07378v3 Announce Type: replace Abstract: Artificial intelligence (AI) in medical device software (MDSW) represents a transformative clinical technology, attracting increasing attention with
this is probably the most important piece of software of the decade next to vllm and sglang. i'm not joking. llama.cpp at 100k stars now that 90% of the code worldwide is being written by AI agents, I
All of the AI models have preferred names. If you asked Claude 4.5 for a software developer, you are going to get Marcus Chen. Wizards are mostly named Aldric. Space pilots are Kira from Claude, Mara
Rivian and Volkswagen Group's joint venture put Devin to work on testing and ticket triage across a software platform that will power up to 30M vehicles. Devin handles autonomous ticket triage in Slac
Mason Boycott-Owen / Politico: The UK's GCHQ believes ~100 countries have procured cyber intrusion software, such as Pegasus, suggesting the barrier to get access to the tech is dropping — GLASGOW — M
Kai Nicol-Schwarz / CNBC: Vast Data, which makes software infrastructure for managing large amounts of data with a focus on AI applications, raised a 1B Series F at a 30B valuation — Vast Data announc
This Reddit post from r/ollama asks the community about AI agent orchestration software for managing multiple Hermes agents, posted by a retired individual with available hardware resources. The post
arXiv:2604.13120v1 Announce Type: cross Abstract: Large language models generate plausible code but cannot verify correctness. Existing multi-agent systems simulate execution or leave verification opt
🆕 Harness Engineering: How to Build Software When Humans Steer, Agents Execute https://www.youtube.com/watch?v=am_oeAoUhew @_lopopolo is one of the emerging class of token billionaires at @OpenAI, and
just dropped my first video in a 5 part series where we build a full travel planner app on Replit and i am so excited 🌍✈️ as a software engineer, design has always felt a little out of reach for me. l
Joel Khalili / Wired: The UK unveils Sovereign AI, a £500M fund to invest in domestic AI startups, starting with Callosum, which builds software to help different chips work together — In a bid to min
Danish agentic artificial intelligence startup Leapwork ApS has announced the launch of its fully automated Continuous Validation Platform, aiming to help enterprises keep up with the velocity of gene
arXiv:2604.12994v1 Announce Type: cross Abstract: Logical vulnerabilities in software stem from flaws in program logic rather than memory safety, which can lead to critical security failures. Although
Replit has launched an AI Supplier Research tool designed to streamline the process of finding suppliers for physical goods or software. The tool aims to replace manual research methods like sifting t
Simon Last and Sarah Sachs from Notion discuss their extensive experimentation with AI-native product development, including rebuilding core Notion features five times as capabilities evolved and inte
@pumfleet @calcom Did you see this piece by @dbreunig? He argues that the cost of locking down software through LLM analysis makes open source MORE valuable now: https://www.dbreunig.com/2026/04/14/cy
arXiv:2604.09866v1 Announce Type: cross Abstract: Recent advances in large language models (LLMs) have shown the promise to significantly accelerate the workflow by automating structural modeling and
arXiv:2604.10875v1 Announce Type: cross Abstract: AI governance efforts increasingly rely on audit standards: agreed-upon practices for conducting audits. However, poorly designed standards can hide a
Elon Musk’s AI software, Grok, continues to generate sexualized images of people without their consent, despite his company’s pledge months ago to halt abusive deepfakes after a public backlash and go
I just updated our license. For personal use, you’re free to run the software on your own servers for coding, building applications, agents, tools, or integrations, as well as for research, experiment
arXiv:2604.11184v1 Announce Type: cross Abstract: Context: Software engineering (SE) researchers increasingly study Generative AI (GenAI) while also incorporating it into their own research practices.
We've been developing a multi-agent system that builds and maintains complex software autonomously. Recently, we partnered with NVIDIA to apply it to optimizing CUDA kernels. In 3 weeks, it delivered
arXiv:2603.05744v2 Announce Type: replace Abstract: Current AI-powered code assistance tools often struggle with poorly-defined problem statements that lack sufficient task context and requirements sp
Got a doodle for your next project laying around? Turn it into working software using @GoogleAIStudio and Nano Banana. Watch us vibe code a weather-responsive outfit selector app from a single, hand-d
if you've read software history everything in your bone tells you open models have to win we are just in a weird anthropic fanboy moment we're seeing that open source models are getting good at file o
We've been tricked, again. Many of the thousands of bugs and vulnerabilities Mythos found are in older software are impossible to exploit. And the severe zero-day reports rely on just 198 manual revie
arXiv:2604.06342v1 Announce Type: cross Abstract: Although tension between university curricula and industry expectations has existed in some form for decades, the rapid integration of generative AI (
This is a great discussion. We've spent 2 years building a solution that's working well for us -- co-writing software side by side the AI in an notebook-ish environment. We call it the 'solveit method
arXiv:2610.02376v1 Announce Type: cross Abstract: Co-designing ML models and the accelerators that run them is an unusual reasoning task: architects must draw confident, high-stakes conclusions about
arXiv:2609.21887v1 Announce Type: new Abstract: The gold standard datasets for mapping connectomes are electron microscopy volumes of densely labeled neural tissue at nanometer resolution. Yet reconst
arXiv:2609.19906v1 Announce Type: cross Abstract: Closed-loop robot policies require observation processing, state management, and situation-dependent branching, making them costly to design and tune
TypeSafe AI Inc., a startup founded by a former OpenAI Group PBC researcher who helped develop ChatGPT, emerged yesterday with 40 million in seed funding and a model designed to put artificial intelli
arXiv:2609.03320v1 Announce Type: cross Abstract: Remote voice studies often retain a final audio file with limited evidence about how it was captured, transferred, processed, and accepted. This paper
arXiv:2608.30756v1 Announce Type: cross Abstract: Large language models (LLMs) have become an essential tool for assisting developers, yet we still lack knowledge on ways to effectively support their
arXiv:2608.21449v1 Announce Type: new Abstract: Time series arise in a wide range of application domains and are analyzed using machine learning in decision-critical settings. Time series classificati
arXiv:2608.18280v1 Announce Type: cross Abstract: Background. Advances in agentic systems are simultaneously, and rapidly, saturating benchmarks. Despite this often discussed phenomena, benchmark scor
arXiv:2607.25032v1 Announce Type: cross Abstract: Agent Skills are an emerging way to extend large language model agents with reusable procedural knowledge that the agent loads on demand. Anthropic in
Race control displayed a 'Safety Car in this lap' message during the 2026 British Grand Prix at Silverstone, raising expectations for a final lap restart that never materialized, as the message was er
arXiv:2606.18293v2 Announce Type: replace-cross Abstract: Thanks to rapid developments in generative AI, we are in the midst of a paradigm shift that may change how we interact with computers forever.
arXiv:2408.02153v2 Announce Type: replace-cross Abstract: Achieving reproducibility, quantity, and diversity in vulnerability datasets has long been viewed as an inherent three-way trade-off, where im
arXiv:2510.09801v3 Announce Type: replace Abstract: While benchmarks measure the accuracy of LLM-powered agents, they mostly assume full automation, failing to represent the collaborative nature of re
arXiv:2606.09090v1 Announce Type: cross Abstract: Developers increasingly provide AI coding assistants with persistent context through configuration files such as CLAUDE.md, AGENTS.md, and .cursorrule
arXiv:2602.04894v4 Announce Type: replace-cross Abstract: LLMs are increasingly used for code generation, but their outputs often follow recurring templates that can induce predictable vulnerabilities
arXiv:2606.03951v1 Announce Type: new Abstract: Human experience in digital environments offers a vast, underexplored resource of authentic, untrimmed interactions that contain rich procedural knowled
arXiv:2505.19489v2 Announce Type: replace Abstract: The Linux kernel is a critical system, serving as the foundation for numerous systems. Bugs in the Linux kernel can cause serious consequences, affe
Shares of the database company MongoDB Inc. shot up both before and after the close of the regular trading session today following a solid first-quarter financial report that saw it blow past analysts