AX·NEWS
Sign in

Software Engineering

Software Engineering news — Thursday 15 October 2026

108 stories from 5 sources, every one in English. Each links to its publisher.

Open in the live feedRSS feedOn a TV

  1. Business accounts will consent to Meta scraping their websites Starting Oct. 30
    USHacker News Front Page

    Article URL: https://www.niemanlab.org/2026/10/metas-new-commercial-terms-will-allow-the-scraping-of-news-sites-legal-experts-say/ Comments URL: https://news.ycombinator.com/item?id=50111852 Points: 427 # Comments: 153

  2. Announcing Rust 1.99.1
    USlobste.rs

    Comments

  3. Laptop Based on 6502 CPU
    USHacker News Front Page

    Article URL: https://www.maddox.pro/?p=448 Comments URL: https://news.ycombinator.com/item?id=50111537 Points: 180 # Comments: 92

  4. Epic's EAC2 v2 seems fairly easily bypassable
    USlobste.rs

    Comments

  5. MCP standardized tools. Now we need the infrastructure around them.
    USStack Overflow Blog
  6. What I Self-Host
    USHacker News Front Page

    Article URL: https://viceconsole.fyi/blog/2026/10/10/what-i-self-host/ Comments URL: https://news.ycombinator.com/item?id=50109715 Points: 537 # Comments: 343

  7. Why are we even doing all this?
    USHacker News Front Page

    Article URL: https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/ Comments URL: https://news.ycombinator.com/item?id=50109707 Points: 101 # Comments: 42

  8. About time
    USlobste.rs

    No more leap seconds . Sorry, about the title, but I couldn‘t resist. Comments

  9. New Withings Users Must Pay $99/Year for Apple Health Syncing
    USHacker News Front Page

    Article URL: https://support.withings.com/hc/en-us/community/posts/51887047154577-Unacceptable-Apple-Health-Sync-is-now-behind-a-99-year-paywall-for-new-accounts Comments URL: https://news.ycombinator.com/item?id=50109375 Points: 342 #…

  10. Forgejo v17.0 is available
    USlobste.rs

    Comments

  11. Gleam case exhaustiveness, as a fan
    USlobste.rs

    Comments

  12. Someone on Torrent Sites Kept Fucking with My Sonarr
    USHacker News Front Page

    Article URL: https://thereallo.dev/blog/someone-on-torrent-sites-kept-fucking-with-my-sonarr-setup Comments URL: https://news.ycombinator.com/item?id=50108872 Points: 369 # Comments: 171

  13. SlopCodeBench 10/2026 – Opus 5.5, Astra wins overall, xhigh considered harmful
    USHacker News Front Page

    Quick update here since a lot of folks asked about what slopcodebench is / where it fits in Slop code bench is unique among benchmarks in that it makes a model work against a progressively disclosed list of features (checkpoints) that it…

  14. E Ink Kaleido 4
    USHacker News Front Page

    https://web.archive.org/web/20261015180401/https://www.eink.... Comments URL: https://news.ycombinator.com/item?id=50108229 Points: 161 # Comments: 92

  15. Why We're Banning AI
    USHacker News Front Page

    Article URL: https://www.currentaffairs.org/news/why-were-banning-ai Comments URL: https://news.ycombinator.com/item?id=50108131 Points: 175 # Comments: 128

  16. Muse Spark Open
    USHacker News Front Page

    https://dev.meta.ai/resources/blog/build-with-muse-spark-ope... https://huggingface.co/meta-models/Muse-Spark-Open-816B-A42B https://9to5mac.com/2026/10/15/meta-launches-new-muse-spark-... Comments URL…

  17. Religious Studies In Software Engineering
    USlobste.rs

    Comments

  18. Ultramarine 1 Flash
    USHacker News Front Page

    https://www.paperinstruments.com/blog/ultramarine https://twitter.com/bertgodel/status/2110400987622265232 Comments URL: https://news.ycombinator.com/item?id=50106747 Points: 353 # Comments: 103

  19. More on Anthropic's Scion ripping off Mononoke
    USHacker News Front Page

    Redesigning source control at Anthropic - https://news.ycombinator.com/item?id=50073633 (996 comments) Anthropic's Scion is heavily inspired by Mononoke - https://news.ycombinator.com/item?id=50094694 (149 comments) Comments URL…

  20. An Israeli firm is sending zero-click spyware through online ads
    USHacker News Front Page

    Article URL: https://www.theverge.com/tech/1011956/discover-tech-zero-click-ads-spyware Comments URL: https://news.ycombinator.com/item?id=50106676 Points: 215 # Comments: 92

  21. Why your platform team shouldn't build an AI context layer (even though they probably could)
    USStack Overflow Blog

    Most engineering teams capable of building an internal AI knowledge system think they should. But six months later, it's a platform team's full-time job. Building an in-house AI context layer costs more money and energy than you think.

  22. Jev Meets the Trolley Problem
    USHacker News Front Page

    Article URL: https://zachlandes.com/trolley-problem/ Comments URL: https://news.ycombinator.com/item?id=50106023 Points: 580 # Comments: 231

  23. BIPM decides to stop adding leap seconds to UTC
    USHacker News Front Page

    Article URL: https://www.bipm.org/en/cgpm-2026/resolution-5 Comments URL: https://news.ycombinator.com/item?id=50105777 Points: 209 # Comments: 101

  24. Krea 3 – An image model built for editing at scale
    USHacker News Front Page

    Article URL: https://www.krea.ai/krea-3 Comments URL: https://news.ycombinator.com/item?id=50105648 Points: 317 # Comments: 102

  25. Neural networks are clean
    USHacker News Front Page

    https://twitter.com/nickcammarata/status/2110757819427574056 Comments URL: https://news.ycombinator.com/item?id=50105647 Points: 764 # Comments: 298

  26. Steam Client Is Now Faster Than Epic's New Vibe Coded Launcher
    USHacker News Front Page

    Article URL: https://respawnfirst.com/steam-client-is-now-faster-than-epics-new-vibe-coded-launcher/ Comments URL: https://news.ycombinator.com/item?id=50105635 Points: 254 # Comments: 261

  27. I designed a nose guard for my dog and gave it away. Now 500 dogs wear one
    USHacker News Front Page

    Article URL: https://snoutcover.com/one-year Comments URL: https://news.ycombinator.com/item?id=50105344 Points: 172 # Comments: 93

  28. rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did)
    USlobste.rs

    Comments

  29. My C23 Conventions
    USlobste.rs

    Comments

  30. How to Train Your Robot
    USHacker News Front Page

    Article URL: https://www.construction-physics.com/p/how-to-train-your-robot Comments URL: https://news.ycombinator.com/item?id=50104874 Points: 100 # Comments: 32

  31. Celebrating 70 Years of Fortran
    USHacker News Front Page

    Article URL: https://fortran-lang.org/news/2026/09-15-Fortran-birthday/ Comments URL: https://news.ycombinator.com/item?id=50104726 Points: 284 # Comments: 126

  32. Simons Foundation launches $15M effort to help mathematicians navigate AI era
    USHacker News Front Page

    Article URL: https://www.simonsfoundation.org/news/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/ Comments URL: https://news.ycombinator.com/item?id=50104654 Points: 214 # Comments: 175

  33. JPEG XL vs AVIF for web use-cases
    USlobste.rs

    Comments

  34. End-to-end encrypted relays for OCapN
    USlobste.rs

    Comments

  35. Using AI to reverse engineer hardware
    USHacker News Front Page

    Article URL: https://blogs.gnome.org/uraeus/2026/10/15/aiandreverseengineerhardware/ Comments URL: https://news.ycombinator.com/item?id=50104299 Points: 212 # Comments: 190

  36. Libreboot 26.10 “Ominous Olive” released with full UEFI support
    USlobste.rs

    Comments

  37. Remote Attestation Should Not Be Tolerated
    USlobste.rs

    Comments

  38. I know why Mathematicians weep
    USHacker News Front Page

    Article URL: https://www.derekthompson.org/p/i-know-why-the-mathematicians-weep Comments URL: https://news.ycombinator.com/item?id=50103630 Points: 325 # Comments: 529

  39. Sunsetting decomp.dev
    USlobste.rs

    Comments

  40. Wayland desktop for Linux with skeuomorphic design
    USHacker News Front Page

    Article URL: https://github.com/fyzugx/DEsk Comments URL: https://news.ycombinator.com/item?id=50103338 Points: 667 # Comments: 272

  41. Intuitive concurrent programming in any language
    USHacker News Front Page

    Article URL: https://www.lf-lang.org/ Comments URL: https://news.ycombinator.com/item?id=50103255 Points: 120 # Comments: 29

  42. C++26 Contracts: Introduction to Preconditions and Postconditions
    USHacker News Front Page

    Article URL: https://www.cppstories.com/2026/cpp26_contracts/ Comments URL: https://news.ycombinator.com/item?id=50103164 Points: 120 # Comments: 110

  43. Israeli firm's digital ads enabling installation of 'zero-click' spyware
    USHacker News Front Page

    Article URL: https://www.theguardian.com/technology/2026/oct/15/israeli-firm-digital-ads-enabling-installation-of-zero-click-spyware-researchers-say Comments URL: https://news.ycombinator.com/item?id=50103000 Points: 130 # Comments: 35

  44. Libreboot 26.10 "Ominous Olive" released with UEFI, Chromebook support
    USHacker News Front Page

    Article URL: https://libreboot.org/news/libreboot2610.html Comments URL: https://news.ycombinator.com/item?id=50102923 Points: 293 # Comments: 182

  45. The Costa GUI
    USlobste.rs

    Comments

  46. This Month in Ladybird - September 2026
    USlobste.rs

    Comments

  47. Show HN: Unfenced – Land for sale that borders public land
    USHacker News Front Page

    Article URL: https://unfenced.land/ Comments URL: https://news.ycombinator.com/item?id=50102247 Points: 291 # Comments: 191

  48. HOL Light Tutorial
    USlobste.rs

    Comments

  49. The geometric model of maintenance
    USlobste.rs

    Comments

  50. Zero-Click Spyware Delivered via Targeted Ads: AdFection
    USHacker News Front Page

    https://www.theguardian.com/technology/2026/oct/15/israeli-f... https://www.theverge.com/tech/1011956/discover-tech-zero-cli... Comments URL: https://news.ycombinator.com/item?id=50101813 Points: 440 # Comments: 590

  51. Microsoft Defender for Linux
    USlobste.rs

    Comments

  52. sslx: A fast, modern alternative to OpenSSL's CLI
    USlobste.rs

    Comments

  53. Everyone is doing Git on S3 wrong
    USlobste.rs

    Comments

  54. Furifont, a Japanese font that shows furigana
    USHacker News Front Page

    Article URL: https://furifont.antfu.me/ Comments URL: https://news.ycombinator.com/item?id=50100994 Points: 383 # Comments: 81

  55. ArenaAllocators don't play nicely with ArrayLists
    USlobste.rs

    Comments

  56. Haxy on Haxy
    USlobste.rs

    Comments

  57. Haxy.net is live! — HAXY (git forge) devlog
    USlobste.rs

    Comments

  58. The Commodore 64 hardware simulator: break chips and pins, see the results
    USHacker News Front Page

    Article URL: https://github.com/antirez/c64-hw-simulator Comments URL: https://news.ycombinator.com/item?id=50100366 Points: 219 # Comments: 34

  59. An Emulator Writer's HOWTO for Static Binary Translation
    USlobste.rs

    Comments

  60. Furifont: furigana built into the font
    USlobste.rs

    Comments

  61. Show HN: Flipflop – Iroh-powered persistent tunnels for filesharing
    USHacker News Front Page

    This is a project that spun from my frustrations of using LocalSend and DashBeam to transfer stuff between devices, and with the extra goal of being fast, trying out the Slint framework and, most importantly, establishing a communication…

  62. Open-Source AI-Powered Optimization in Scalene: Advancing Python Performance Profiling with DeepSeek-R1 and LLaMA 3.2
    USarXiv cs.PL (Programming)

    arXiv:2502.10299v2 Announce Type: replace Abstract: Python's flexibility and ease of use come at the cost of performance inefficiencies, requiring developers to rely on profilers to optimize execution. SCALENE, a high-performance CPU, GPU…

  63. Terminal Agents Suffice for Enterprise Automation
    USarXiv cs.SE (Software)

    arXiv:2604.00073v4 Announce Type: replace Abstract: There has been growing interest in building agents that can interact with digital platforms to execute meaningful enterprise tasks autonomously. Among the approaches explored are…

  64. Securing High-Concurrency Ticket Sales: A Framework Based on Microservice
    USarXiv cs.SE (Software)

    arXiv:2512.24941v3 Announce Type: replace Abstract: The railway ticketing system is one of the most important public service infrastructure. In peak periods such as holidays, it is often faced with the challenge of high concurrency…

  65. Temporal Adaptive Fine-Tuning for Code Comprehension
    USarXiv cs.SE (Software)

    arXiv:2610.19970v1 Announce Type: new Abstract: Repository-level code comprehension question answering (QA) supports developer reasoning over functionality and usage distributed across codebases. However, repository-specialized large…

  66. MolLean: A Process-Verifiable Language for Chemical Reasoning
    USarXiv cs.PL (Programming)

    arXiv:2610.20459v1 Announce Type: cross Abstract: Chemical chain-of-thought can contain hallucinated structural and property claims. We thereby introduce MolLean, a process-verifiable language that grounds chemical reasoning in an explicit…

  67. BenchChecker: Assessing the Credibility of Bug-Fixing Benchmarks for LLMs
    USarXiv cs.SE (Software)

    arXiv:2610.19447v1 Announce Type: new Abstract: While Large Language Models (LLMs) show promise for Automatic Program Repair (APR), existing benchmarks suffer from data contamination, in which test samples appear in training sets…

  68. MOCHA: Multi-Objective Chebyshev Annealing for Agent Skill Optimization
    USarXiv cs.SE (Software)

    arXiv:2605.19330v2 Announce Type: replace-cross Abstract: LLM agents organize behavior through skills -- structured natural-language specifications that govern how an agent reasons, retrieves, and responds. Unlike monolithic prompts…

  69. P2Patch: Exploit-Guided Vulnerability Repair
    USarXiv cs.SE (Software)

    arXiv:2610.20245v1 Announce Type: cross Abstract: Large language models are increasingly deployed as autonomous agents for automated program repair, patching software vulnerabilities through multi-step reasoning and tool use. Yet these…

  70. Formalizing Flag Algebras in Lean
    USarXiv cs.PL (Programming)

    arXiv:2607.23500v2 Announce Type: replace-cross Abstract: Razborov's flag algebra method is one of the most successful tools for proving asymptotic density inequalities in extremal graph theory. It reduces an inequality about all large…

  71. When Does the Dependency Graph Help Code-to-Architecture Mapping?
    USarXiv cs.SE (Software)

    arXiv:2610.19769v1 Announce Type: new Abstract: Architectural technical debt arises when a system's implementation drifts from its inten ded modular decomposition, while the mapping between source files and architectural modu les is…

  72. PrismaCoder: Pushing the Boundaries of Open Multimodal Code Intelligence through Decomposed Rubric Synthesis
    USarXiv cs.SE (Software)

    arXiv:2610.20538v1 Announce Type: cross Abstract: Multimodal code intelligence connects the symbolic world of programs with the visual world their execution creates. Interest in this capability is burgeoning, as models are increasingly…

  73. T2J-BENCH: Benchmarking Coding Agents on Execution-Grounded PyTorch-to-JAX Repository Migration
    USarXiv cs.SE (Software)

    arXiv:2605.29054v3 Announce Type: replace Abstract: Migrating a machine-learning codebase across frameworks--for example from PyTorch to JAX--is a routine but costly engineering task that is fundamentally cross-paradigm: eager, stateful…

  74. SWE-Spot: Building Small Repo-Experts with Repository-Centric Learning
    USarXiv cs.SE (Software)

    arXiv:2601.21649v2 Announce Type: replace-cross Abstract: The deployment of coding agents in privacy-sensitive and resource-constrained environments drives the demand for capable open-weight Small Language Models (SLMs). However, they…

  75. X.js: A Live Benchmark for Node.js Taint-Style Vulnerabilities
    USarXiv cs.SE (Software)

    arXiv:2610.18585v2 Announce Type: replace-cross Abstract: JavaScript vulnerabilities in npm packages pose a significant risk to the Node$.$js ecosystem, and a growing body of work aims to detect, exploit, and mitigate them. Studying and…

  76. Interaction-as-a-Judge
    USarXiv cs.SE (Software)

    arXiv:2610.17895v2 Announce Type: replace-cross Abstract: Coding agents are tasked with producing sophisticated interactive applications such as websites, desktop applications, and games. While humans assess these applications…

  77. LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface
    USarXiv cs.SE (Software)

    arXiv:2603.22519v3 Announce Type: replace Abstract: Textual Large Language Models (LLMs) provide a simple and familiar interface: a string of text is used for both input and output. However, the information conveyed to an LLM often has a…

  78. LLMs program using Reusable and Composable Abstract Representations
    USarXiv cs.PL (Programming)

    arXiv:2610.19238v1 Announce Type: cross Abstract: When writing code, the same computation can be expressed in different programming languages and through different implementation strategies. We show that the activations of LLMs capture…

  79. Explorable Proofs: Making Written Proofs Explorable by Grounding Them in Formal Representations
    USarXiv cs.PL (Programming)

    arXiv:2604.02598v3 Announce Type: replace-cross Abstract: LLM-generated explanations can make technical content more accessible, but there is a ceiling on what they can support interactively. Because LLM outputs are static text, they…

  80. Recursive Formation and First-Class Reuse of Compositional Capabilities
    USarXiv cs.PL (Programming)

    arXiv:2610.19414v1 Announce Type: new Abstract: We introduce FormCraft, a framework for representing acquired operations as first-class capabilities that can be recursively composed, directly invoked, and selectively retained in a…

  81. SecReason: Vulnerability Detection and In-Stream Self-Repair for LLM Code Generation
    USarXiv cs.SE (Software)

    arXiv:2610.14453v2 Announce Type: replace-cross Abstract: Large language models (LLMs) may introduce security vulnerabilities into generated code, which can persist into production when verification focuses on functional correctness…

  82. Scaling Human-AI Coding Collaboration Requires a Governable Consensus Layer
    USarXiv cs.SE (Software)

    arXiv:2604.17883v2 Announce Type: replace Abstract: Vibe coding turns natural-language intent into working software, but code generation alone does not give humans and agents a shared account of what they are building. As collaboration…

  83. DivAlgo: A systematic evaluation of algorithmic diversity for code generation models
    USarXiv cs.SE (Software)

    arXiv:2610.19157v1 Announce Type: new Abstract: Code generation models are actively being used in professional and educational settings. However, the competence of large language models (LLMs) to generate algorithmically diverse code…

  84. Systematic Detection of Energy Regressions in Software Version Histories
    USarXiv cs.SE (Software)

    arXiv:2610.19895v1 Announce Type: new Abstract: Context: Green software engineering is emerging as a crucial response to the rising energy impact of information technology, especially in continuous development. However, challenges remain…

  85. OS-Bench: Evaluating SWE Agents on Cross-OS Code Migration
    USarXiv cs.SE (Software)

    arXiv:2610.19368v1 Announce Type: new Abstract: Language-model (LM) agents are increasingly evaluated on repository-level software engineering (SWE) benchmarks derived from GitHub issues and pull requests. Although these benchmarks cover a…

  86. SWE-Nexus: Automated Composition of Software Engineering Tasks from Test Execution
    USarXiv cs.SE (Software)

    arXiv:2610.20038v1 Announce Type: new Abstract: Historical code changes provide convenient task boundaries, but do not identify which production functions selected tests exercise or support composing validated behaviors beyond a single…

  87. Doc2Harness: Benchmarking LLMs on Long-Horizon Harness Engineering of Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.20344v1 Announce Type: new Abstract: Agents driven by large language models are increasingly deployed on long-horizon tasks, where they use tools and modify real workspaces. How well they perform depends as much on the harness…

  88. Refining LLM-based Directed Test Input Generation via Runtime Value Feedback
    USarXiv cs.SE (Software)

    arXiv:2608.07926v2 Announce Type: replace Abstract: Despite their remarkable capabilities, LLM-based directed input generation produces off-target test inputs when their underlying hypotheses on the target program's behaviors are…

  89. Taming the Online Software Engineering Tongue: Detecting and Reducing Offensive Language in Software Communities
    USarXiv cs.SE (Software)

    arXiv:2610.19961v1 Announce Type: new Abstract: Online Software Engineering (SE) communities such as Stack Overflow have become unwelcoming and hostile spaces, as evidenced by the presence of rude and offensive comments that are…

  90. JevCoder: When Does Decision Delegation Pay Off in Code Repair?
    USarXiv cs.SE (Software)

    arXiv:2610.19596v1 Announce Type: new Abstract: A coding agent repeatedly makes decisions as it repairs code. These decisions shape repair trajectories and affect the token cost of successive model requests. We ask which repair decisions…

  91. SWE-Stream: Scaling Executable Training Data for SWE Agents via Progressive Construction and Elastic Streaming
    USarXiv cs.SE (Software)

    arXiv:2610.20193v1 Announce Type: new Abstract: Software engineering agents have advanced rapidly, but scaling their training remains constrained by the limited availability of high-quality executable tasks. Development histories contain…

  92. Mission (Im)Possible: Towards Autonomous Discovery of Autopilot Logic Flaws in Open-Source Drone Frameworks
    USarXiv cs.SE (Software)

    arXiv:2610.19566v1 Announce Type: cross Abstract: Autonomous drones are increasingly deployed in safety-critical tasks, yet their autopilot software can still contain subtle logic flaws that lead to unsafe behaviors. These flaws are…

  93. sGLP: Simulating People with Stochastic Agents
    USarXiv cs.PL (Programming)

    arXiv:2610.14738v2 Announce Type: replace-cross Abstract: Grassroots platforms are designed to be owned, operated and governed by their participants, and thus are constituted from person-to-person smartphone apps that are run by the…

  94. The Code of Theseus: Can Agents Rebuild Software from Recovered Design Documents?
    USarXiv cs.SE (Software)

    arXiv:2610.20068v1 Announce Type: new Abstract: LLM agents increasingly design a system before implementing it, yet the data to train and evaluate them centres on implementation and testing: requirements and design artefacts are often…

  95. A2ABreak: Systematic Security Analysis of the A2A Protocol
    USarXiv cs.SE (Software)

    arXiv:2609.10871v2 Announce Type: replace-cross Abstract: The Agent2Agent (A2A) protocol, now governed by the Linux Foundation, is an open standard that enables autonomous AI agents to discover, authenticate with, and delegate tasks to one…

  96. A Systematic Study of Deprecated Android API Usage Updates
    USarXiv cs.SE (Software)

    arXiv:2610.19150v1 Announce Type: new Abstract: Android Application Programming Interfaces (APIs) continuously evolve, causing existing APIs to become deprecated and requiring developers to migrate their usages to recommended replacements…

  97. LintEval: Benchmarking LLMs on Linter-Guided File Refactoring
    USarXiv cs.SE (Software)

    arXiv:2610.20027v1 Announce Type: new Abstract: Linters are widely used in code maintenance and real-time IDE editing to surface lint alerts related to performance, style, error-prone, and other patterns in source files. However, existing…

  98. Shortcutting the Fix: Identifying and Categorizing Agentic Exploits in Software Engineering Benchmarks
    USarXiv cs.SE (Software)

    arXiv:2609.06780v2 Announce Type: replace Abstract: High software engineering benchmark scores often mask exploitative shortcuts, such as retrieving upstream solutions, exploiting local Git histories, or recalling memorized code. We…

  99. What Should a Software Team Spend on Agents? Simulation-Based Cost Optimization of Mixed AI-Human Teams
    USarXiv cs.SE (Software)

    arXiv:2610.20394v1 Announce Type: new Abstract: Context: AI agents are rapidly adopted in software development, but their token costs are rising and it is unclear how much a team should spend on agents, and on which tasks. Objective: We…

  100. LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface
    USarXiv cs.PL (Programming)

    arXiv:2603.22519v3 Announce Type: replace-cross Abstract: Textual Large Language Models (LLMs) provide a simple and familiar interface: a string of text is used for both input and output. However, the information conveyed to an LLM often…

  101. BTS-AgentBench: A Deterministic, Replayable Pipeline from Read-Only Telemetry Logs to Agent Benchmarks
    USarXiv cs.SE (Software)

    arXiv:2608.27334v2 Announce Type: replace-cross Abstract: Operational facilities accumulate extensive local telemetry, but agent-ready interactive evaluations with source-verifiable answers are costly to construct from such archives…

  102. SoftwareGym: Scaling Computer-Use Agent Training with Diverse Synthesized Software Environments
    USarXiv cs.SE (Software)

    arXiv:2610.12611v2 Announce Type: replace-cross Abstract: Computer-use agents (CUAs) are rapidly improving, yet synthesizing diverse and reliable software environments at scale remains challenging. Native application environments require…

  103. An Empirical Study of Gemini 3 for Detecting Natural Language Test Smells in Manual Test Cases
    USarXiv cs.SE (Software)

    arXiv:2606.13804v3 Announce Type: replace Abstract: Manual testing, in which testers follow natural language instructions to validate system behavior, remains essential for uncovering issues that are difficult to capture with automation…

  104. Typechecking without Minimum Types: Finite Bases and Backward Checking for $F_{＜:}^{\top}$
    USarXiv cs.PL (Programming)

    arXiv:2610.20356v1 Announce Type: new Abstract: System $F_{<:}^{\top}$ has decidable subtyping but lacks minimum types. We prove that typechecking is decidable for arbitrary explicitly annotated terms with unrestricted subsumption. The…

  105. Verifying deployed bytecode against executable EVM semantics, with exact gas and no added axioms
    USarXiv cs.PL (Programming)

    arXiv:2610.19764v1 Announce Type: new Abstract: Much of Ethereum's most consequential code is immutable bytecode: old output of unverified compilers, and protocol logic run as contract code. We show that such bytecode can be verified as it…

  106. Cover Semantics for Intuitionistic Modalities
    USarXiv cs.PL (Programming)

    arXiv:2607.11352v2 Announce Type: replace-cross Abstract: Intuitionistic modal logic (IML) has inspired several developments in programming languages including modal type systems for staging, computational effects and language-based…

  107. Beyond Functional Correctness: Static Code Quality Profiling of LLM-Generated Code
    USarXiv cs.SE (Software)

    arXiv:2610.19167v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used for code generation, yet most evaluations still focus on whether generated code passes benchmark test suites. Functional correctness alone…

  108. The Ferranti files: 40 years of Sinclair secrets unearthed
    USlobste.rs

    Comments