Search: “software”

Is the AMD Instinct Mi50 still worth buying?

Hi, I just started with Ollama and local LLMs. Looking for a GPU I found the Mi50 could be a sweet spot to start, because it costs half of the Mi100. But as for the software support the Mi50 got dropp

14 Aug 2026

Tools

Human

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

🎙️ New Talking Postgres podcast Ep42 is out! With guest Simon Willison (@simonw), open source developer & creator of Datasette, on how AI i…

DGX agent

🎙️ New Talking Postgres podcast Ep42 is out! With guest Simon Willison (@simonw), open source developer & creator of Datasette, on how AI is changing software development. We covered a LOT of fun terr

toolssimon-willison--x

14 Aug 2026

ggml-cpu/ops: vectorize flash-attention V-cache F16 to F32 conversion by jinzihao · Pull Request #26947 · ggml-org/llama.cpp

model-releasesr-localllama

Overview ggml_cpu_fp16_to_fp32 leverages hardware F16C intrinsics (AVX-512, AVX2, etc.), faster than the software-only ggml_fp16_to_fp32_row, bringing 17-31% gain in prompt processing rate for a small

Instruction Alignment for Binary Code Representation Learning

arXiv:2608.11766v1 Announce Type: cross Abstract: Binary code representation learning is a fundamental problem in software security and reverse engineering. Existing methods mainly learn function-leve

Towards Model-based Run-time Cybersecurity: On Control-Flow Anomaly Detection, Attack Identification, and Hardware Monitoring

arXiv:2608.11802v1 Announce Type: cross Abstract: Methods to increase the resilience of systems to cyber-attacks become increasingly important. Control-flow monitoring provides a principled basis to e

researcharxiv-cs-ai

You don't stand up an agent. You upload a folder. Claude Code is a harness for your laptop. Managed Deep Agents is a harness for production.…

model-releasesharrison-chase--x

You don't stand up an agent. You upload a folder. Claude Code is a harness for your laptop. Managed Deep Agents is a harness for production. Want Slack? Add a file. Want a daily run? Add a file. Want

How OneAdvanced deployed over 50 AI agents on UK-sovereign AWS

model-releasesaws-ml-blog

Learn how OneAdvanced, a UK enterprise software provider, built a UK-sovereign AI platform by self-hosting Llama 4 Maverick and Llama Guard 4 on Amazon SageMaker AI, with a RAG pipeline on pgvector an

12 Aug 2026

SkillLens: Visual Skill Cards for Retrieval-Augmented GUI Action Prediction and On-Policy Distillation

arXiv:2608.10775v1 Announce Type: new Abstract: Computer-using agents can perceive rich software interfaces, yet their decisions often lack visual procedural memory: they may recognize individual cont

12 Aug 2026

Contamination Means Overestimation? A Fine-Grained Empirical Study in Code Intelligence

arXiv:2506.02791v4 Announce Type: replace-cross Abstract: In recent years, code intelligence has gained increasing importance in the field of automated software engineering. Meanwhile, the widespread

Effect of Abstractions and Prompting Strategies on LLM-Guided High-Performance Optimizations

arXiv:2608.08085v1 Announce Type: cross Abstract: Code performance optimization is a vital aspect of modern software development, as it enables faster response times and reduced resource usage. These

FailForge: Distilling Procedural Competence from Persistent Failures into Code Agents

arXiv:2608.08570v1 Announce Type: new Abstract: Rejection sampling fine-tuning (RFT) is widely used to train code agents by generating trajectories on verifiable software engineering tasks, retaining

agentsarxiv-cs-ai

Nvidia releases Nemotron 3.5 Lightning and NeMo Switchyard to give enterprise AI capability options

model-releasessiliconangle

Artificial intelligence silicon and software giant Nvidia Corp. today announced two new services: a highly customizable Nemotron model and an agentic AI model router named NeMo Switchyard. As enterpri

QuArch: A Benchmark for Evaluating LLM Reasoning in Computer Architecture

arXiv:2510.22087v3 Announce Type: replace-cross Abstract: The field of computer architecture, which bridges high-level software abstractions and low-level hardware implementations, remains absent from

STAIR: Effective Incident Response Using an End-to-End Agentic Planning Framework

arXiv:2608.09524v1 Announce Type: cross Abstract: Incident response planning is critical for restoring compromised software systems after cyberattacks. Common practice relies on expert-driven playbook

agentsarxiv-cs-ai

SWE-Bench ProMax: Benchmarking Agents on Large-Scale Multilingual Code Refactoring

model-releasesarxiv-cs-cl

arXiv:2608.09802v1 Announce Type: new Abstract: As AI coding agents take on increasingly complex, long-horizon software engineering tasks, existing benchmarks are rapidly saturating and their evaluati

Time Present and Time Past: Benchmarking Large Language Models on Temporally Evolving Document Understanding

arXiv:2608.08512v1 Announce Type: new Abstract: Evolving documents, such as laws, tax codes, and software documentation, are amended, replaced, and sometimes reverted over time, so a question has diff

You Don't Need To Stay in The Loop: An Agentic Robotics Loop for Robot-Policy Improvement

model-releasesarxiv-cs-ro

arXiv:2608.07555v1 Announce Type: new Abstract: Coding agents such as Claude Code and Codex close the software loop: a main agent manages the loop, subagents analyze and execute, tools do the work. We

CREBench: Evaluating Large Language Models in Cryptographic Binary Reverse Engineering

arXiv:2604.03750v2 Announce Type: replace-cross Abstract: Reverse engineering (RE) is central to software security, particularly for cryptographic programs that handle sensitive data and are highly pr

7 Aug 2026

Applications

Legal AI startup Harvey reportedly raising 500M at 15.5B valuation

Harvey AI Corp., a provider of artificial intelligence software for attorneys, is reportedly seeking at least 500 million in new funding. The Information today cited sources as saying that the round c

applicationssiliconangle

7 Aug 2026

Industry

Twilio’s stock jumps on solid earnings and revenue beat and strong momentum in voice AI

A solid earnings and revenue beat helped to reignite investor enthusiasm for the communications software maker Twilio Inc. today, and its stock jumped more than 17% in after-hours trading. The company

industrysiliconangle

7 Aug 2026

Active-SWE: Benchmarking Coding Agents for Proactive Bug Fixing without Issue Reports

arXiv:2608.04682v1 Announce Type: cross Abstract: Coding agents powered by large language models (LLMs) are increasingly adopted in software engineering (SWE) scenarios, capable of fixing a specific b

LLM-based Vulnerability Discovery in Business Process Documentation

arXiv:2608.04271v1 Announce Type: cross Abstract: Just like software and hardware, business processes are susceptible to vulnerabilities that can lead to product quality issues, delays, and increased

researcharxiv-cs-cl

Local Violation Certification for Linear Predict-Then-Optimize Pipelines

arXiv:2608.04474v1 Announce Type: new Abstract: Data-driven decision pipelines combining predictive machine learning models with downstream optimization software are increasingly used to make high-sta

safetyarxiv-cs-lg

Locking Pretrained Weights via Deep Low-Rank Residual Distillation

researchapple-ml-research

The quality of open-weight language models has dramatically improved in recent years. Sharing weights greatly facilitates model adoption by enabling their use across diverse hardware and software plat

Miglior modello per cyber Security purple team(da valutare se uncensored o no)

Salve a tutti. Sto valutando di mettere dei modelli locali, magari su LM studio o altro software se mi spiegate il perché da utilizzare sia come PT sia per Soc L2/L3. Ho un PC con 128 GB RAM ddr5 8gb

RepairFormer: Automated Repair of Structured Inputs Using Transformers

arXiv:2608.05060v1 Announce Type: cross Abstract: Structured input files such as JSON, DOT, OBJ, INI, S-expression, and TinyC are widely used in software systems, but small corruptions can cause parse

RepoProbe: Benchmarking Architecture-Aware Repository Comprehension with Checklists

arXiv:2608.04783v1 Announce Type: cross Abstract: The integration of Large Language Models (LLMs) into software engineering has shifted the focus from function-level generation to repository-scale ass

Scrouting: Cost-Aware Routing of Coding Agents by Scouting the Repository First

arXiv:2608.04804v1 Announce Type: cross Abstract: Frontier language models can resolve repository-level software issues, but each attempt is expensive, and existing routers select a model from the iss

Fail-Fast, Restart-Smart: Early Failure Prediction and Restart for SWE Agentic Tasks

arXiv:2608.03222v1 Announce Type: cross Abstract: Software engineering (SWE) agents resolve repository-level issues through long trajectories that grow increasingly expensive as context accumulates. F

From Social Coding to Agentic Coding: Productivity and Relational Reconfiguration in Open-Source Communities

arXiv:2608.03585v1 Announce Type: new Abstract: Open-source software communities are a form of digital public infrastructure that not only produces code, but also generates public knowledge and interp

Applications

Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification

arXiv:2608.03489v1 Announce Type: cross Abstract: Combining Bayesian learning and quantitative verification is a powerful toolset for analysing key quantitative properties of software systems, like re

applicationsarxiv-cs-ai

Ollama on mac mini/studio?

I don't own a mac Right now, i want to buy one but its main job will be to host a Ollama or similar software to give me usable AI models in my network, since I don't want to pay for Cloude, GitHub cop

Studying, Identifying, and Fixing Hidden Technical Debt in AI-Intensive Cyber-Physical Systems

arXiv:2608.02638v1 Announce Type: cross Abstract: Artificial Intelligence (AI) components are increasingly pervasive in several software systems, including Cyber-Physical Systems (CPSs). AI-CPS are us

agentsarxiv-cs-ai

Unexpected Crash-Looping of Multi-GPU Box: Caught by Hand-Scrutinized Logs - A Tale of Overridden Keep-Alive Policy and Eviction Thrashing

I've been freelancing for over a decade now, and I can't stress enough the importance of thorough investigation when dealing with strange software behaviors. Recently, I ran into an issue where my mul

Applications

RAG Strategies for Natural Language-Based SQL Query and REST API Call Generation

arXiv:2602.07086v2 Announce Type: replace-cross Abstract: Enterprise software systems commonly expose business functionality through both relational databases and REST APIs. Accessing these interfaces

applicationsarxiv-cs-cl

Statistical comparisons of time-series feature sets on classification tasks

arXiv:2608.01586v1 Announce Type: cross Abstract: In recent years, numerous open-source software libraries have been developed for computing sets of features from univariate time series. The type and

researcharxiv-cs-lg

SWE-Touch: Benchmarking Coding Agents When Users Touch the Code

arXiv:2608.02499v1 Announce Type: cross Abstract: Real-world software development requires coding agents to operate in shared workspaces where users may inspect and modify code during an ongoing task,

agentsarxiv-cs-cl

TELLER: Non-intrusive Cross-Layer Root-Cause Analysis for LLM Inference

arXiv:2608.01975v1 Announce Type: cross Abstract: Large language model (LLM) inference has evolved from an offline workload into a continuously operated software service, yet root-cause analysis remai

local-aiarxiv-cs-cl

Who Is Responsible? Self-Adaptation Under Multiple Concurrent Uncertainties With Unknown Sources in Complex ROS-Based Systems

arXiv:2504.20477v4 Announce Type: replace Abstract: Robotic systems increasingly operate in dynamic, unpredictable environments, where tightly coupled sensors and software modules increase the probabi

researcharxiv-cs-ro

A Model-Driven Approach for Developing Families of Reinforcement Learning Environments

arXiv:2606.20324v2 Announce Type: replace-cross Abstract: Virtual training environments are software-intensive systems in which reinforcement learning (RL) agents learn, adapt, and demonstrate meaning

local-aiarxiv-cs-lg

Analysing User Reviews to Identify User Concerns Around Permissions in AI Apps

arXiv:2607.29343v1 Announce Type: new Abstract: Artificial intelligence is increasingly embedded in everyday software, making its integration into mobile apps inevitable. However, AI mobile app develo

researcharxiv-cs-lg

Tools

Quoting David Crawshaw's prompt

Set up a nightly cron job that executes the prompt: fetch upstream changes to the <software> and rebase all local changes on top of upstream. Check that the software works as intended and replace the

toolssimon-willison

RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment

arXiv:2507.22580v2 Announce Type: replace-cross Abstract: Automated Program Repair (APR) seeks to automatically correct software bugs without requiring human intervention. However, existing tools tend

Sensitivity Analysis of GRU, LSTM and Transformer Encoder in Classification of Automated Driving Systems

arXiv:2607.28665v1 Announce Type: cross Abstract: Automated driving systems (ADSs) are becoming ubiquitous. Future Software Defined Vehicles (SDVs) may be able to run multiple ADSs, both native and af

Unanticipated Effects of Generative AI on Expertise Pathways and Performance Perception in System Administration

arXiv:2607.28650v1 Announce Type: cross Abstract: While industry discourse often emphasizes immediate productivity gains and frames GenAI primarily as a tool for automation, the integration of GenAI i

Cloud CISO Perspectives: Why AI Threat Defense is the new boardroom baseline

Welcome to the second Cloud CISO Perspectives for July 2026. Today, Chris Betz, CISO, Google Cloud, and Alicja Cade, Senior Director, Office of the CISO, Google Cloud, explain what boards of directors

local-aigoogle-cloud-ai

31 Jul 2026

Fewer Clarifications, Better Code: Benchmarking Cross-Session Personalized Ambiguity Adaptation in Coding Assistants

arXiv:2607.26611v1 Announce Type: new Abstract: AI-assisted coding increasingly translates informal user intent into executable software, yet coding requests often contain ambiguities that recur in us

31 Jul 2026

Hardware

Security at the foundation requires openness at the foundation. As open-weight models become critical infrastructure for the next generation…