AX·NEWS
Sign in

Software Engineering

Software Engineering news — Friday 16 October 2026

126 stories from 6 sources, every one in English. Each links to its publisher.

Open in the live feedRSS feedOn a TV

  1. Do you let LLMs write both your tests and your code?
    USlobste.rs

    I'm curious what stance others have taken? Or what they've experienced with this? I'm toying with adding a rule to our values.md that the LLM can only significantly generate one or the other. I'm reviewing a merge request at the moment…

  2. Dam removals are bringing fish back across the northeastern United States
    USHacker News Front Page

    Article URL: https://www.smithsonianmag.com/science-nature/dam-removals-are-bringing-fish-back-across-the-northeastern-united-states-striking-down-one-tiny-barrier-at-a-time-180989679/ Comments URL…

  3. Bleached corals thrive within days when touching healthy neighbour
    USHacker News Front Page

    https://archive.ph/zIPG4 Comments URL: https://news.ycombinator.com/item?id=50126253 Points: 527 # Comments: 113

  4. The DNS Museum
    USHacker News Front Page

    Article URL: https://dns.museum Comments URL: https://news.ycombinator.com/item?id=50125551 Points: 119 # Comments: 15

  5. Nine-Inch Snails
    USHacker News Front Page

    Article URL: https://www.theatlantic.com/science/2026/10/giant-african-snails-florida-invasion/688850/ Comments URL: https://news.ycombinator.com/item?id=50125545 Points: 103 # Comments: 52

  6. Gdynia and the Dream of a Maritime Poland
    USHacker News Front Page

    Article URL: https://engelsbergideas.com/notebook/gdynia-and-the-dream-of-a-maritime-poland/ Comments URL: https://news.ycombinator.com/item?id=50124811 Points: 100 # Comments: 29

  7. Teal – A statically-typed dialect of Lua
    USHacker News Front Page

    Article URL: https://teal-language.org/ Comments URL: https://news.ycombinator.com/item?id=50124730 Points: 158 # Comments: 63

  8. There's never been a better time to go into math
    USlobste.rs

    Comments

  9. Someone on Torrent Sites Kept Fucking With My Sonarr
    USlobste.rs

    Comments

  10. I never authorized an integration that scans my secrets
    USHacker News Front Page

    Article URL: https://github.com/home-assistant/home-assistant.io/issues/49314 Comments URL: https://news.ycombinator.com/item?id=50124251 Points: 115 # Comments: 68

  11. The NIST Elliptic Curves Seeds Bounty Has Been Claimed
    USlobste.rs

    Comments

  12. FLUX 3 Image Klein
    USHacker News Front Page

    Article URL: https://bfl.ai/blog/flux-3-image-klein Comments URL: https://news.ycombinator.com/item?id=50123580 Points: 198 # Comments: 57

  13. How the Claude Code team does code review
    USHacker News Front Page

    Article URL: https://claude.dev/blog/solving-code-review-at-anthropic/ Comments URL: https://news.ycombinator.com/item?id=50122951 Points: 351 # Comments: 332

  14. You could have invented transformers from memory
    USHacker News Front Page

    https://twitter.com/heyyalexwang/status/2111158818730397932 Comments URL: https://news.ycombinator.com/item?id=50122878 Points: 561 # Comments: 127

  15. Claude reveals ECDSA curve origins
    USHacker News Front Page

    https://words.filippo.io/seeds-solved/ Comments URL: https://news.ycombinator.com/item?id=50122800 Points: 985 # Comments: 361

  16. Getting Canceled
    USlobste.rs

    Comments

  17. C++26: the new debugging header
    USlobste.rs

    Comments

  18. Llama.cpp on a jailbroken PS5: run any GGUF model natively on the console
    USHacker News Front Page

    Article URL: https://github.com/cobanov/PS5LM Comments URL: https://news.ycombinator.com/item?id=50122431 Points: 349 # Comments: 84

  19. Introducing GNOME OS Preview
    USlobste.rs

    Comments

  20. Anthropic assigned highest junk credit rating in June
    USHacker News Front Page

    https://finance.yahoo.com/technology/ai/articles/anthropic-s... Comments URL: https://news.ycombinator.com/item?id=50122112 Points: 172 # Comments: 48

  21. eBay Restricts Listings of Radio Equipment, but Exempts Ham-Band-Only Gear
    USHacker News Front Page

    Article URL: https://www.arrl.org/arrlletterissue?issue=2026-10-15#eBay-Restricts-Listings-of-Radio-Equipment_-But-Exempts-Ham-Band-Only-Gear Comments URL: https://news.ycombinator.com/item?id=50122034 Points: 260 # Comments: 231

  22. We're sunsetting Codeberg Pages v2
    USlobste.rs

    Comments

  23. Ubuntu 26.10 (Stonking Stingray) released
    USlobste.rs

    Comments

  24. Designing more efficient quantum circuits with Claude
    USHacker News Front Page

    Article URL: https://www.anthropic.com/research/designing-efficient-quantum-circuits Comments URL: https://news.ycombinator.com/item?id=50121939 Points: 159 # Comments: 34

  25. 90% of US working hours are spent on tasks not covered well by AI benchmarks
    USHacker News Front Page

    Article URL: https://www.mercor.com/research/labor-index/benchmark-map/ Comments URL: https://news.ycombinator.com/item?id=50121179 Points: 509 # Comments: 432

  26. /dev/null: social network for developers
    USHacker News Front Page

    Article URL: https://dev-null.sh Comments URL: https://news.ycombinator.com/item?id=50121004 Points: 101 # Comments: 95

  27. Thirty Years of KDE
    USlobste.rs

    Comments

  28. Desire to Move Permanently to U.S. at New Low
    USHacker News Front Page

    Article URL: https://news.gallup.com/poll/708614/desire-migrate-drops-new-low.aspx Comments URL: https://news.ycombinator.com/item?id=50120664 Points: 111 # Comments: 82

  29. The Decoherence Trap: When AI slop drowns out the signal in an endless sea of noise
    USlobste.rs

    Comments

  30. JPEG XL vs. AVIF for web use-cases
    USHacker News Front Page

    Article URL: https://jakearchibald.com/2026/jpeg-xl-vs-avif/ Comments URL: https://news.ycombinator.com/item?id=50120224 Points: 295 # Comments: 194

  31. US Rep Announces Congressional Legislation to Protect Video Game Ownership
    USHacker News Front Page

    Article URL: https://ritchietorres.house.gov/posts/rep-torres-announces-power-to-the-players-act-legislation-to-ensure-gamers-own-their-games Comments URL: https://news.ycombinator.com/item?id=50120101 Points: 150 # Comments: 81

  32. Postgres 19 delayed after AI reviewers find more bugs than humans can fix
    USHacker News Front Page

    Article URL: https://www.theregister.com/databases/2026/10/16/postgres-19-delayed-after-ai-reviewers-find-more-bugs-than-humans-can-fix/5303471 Comments URL: https://news.ycombinator.com/item?id=50119991 Points: 110 # Comments: 34

  33. Big Fish: Exploiting a 37-Year-Old Kernel Bug in OpenBSD
    USlobste.rs

    Comments

  34. Rendering pretty sky in Around The World game
    USHacker News Front Page

    Article URL: https://frozenfractal.com/blog/2026/10/12/around-the-world-34-a-pretty-sky/ Comments URL: https://news.ycombinator.com/item?id=50119315 Points: 134 # Comments: 9

  35. Hello Toronto – Waymo Is En Route
    USHacker News Front Page

    Article URL: https://waymo.com/blog/2026/10/waymo-in-toronto/ Comments URL: https://news.ycombinator.com/item?id=50118981 Points: 294 # Comments: 398

  36. Big Fish: Exploiting a 37-Year-Old Kernel Bug in OpenBSD
    USHacker News Front Page

    Article URL: https://calif.io/research/big-fish Comments URL: https://news.ycombinator.com/item?id=50118977 Points: 172 # Comments: 48

  37. What on Earth Is Dekton?
    USHacker News Front Page

    Article URL: https://www.worksinprogress.news/p/porcelain Comments URL: https://news.ycombinator.com/item?id=50118828 Points: 135 # Comments: 46

  38. Show HN: Gemini 4 Argon plays StarCraft
    USHacker News Front Page

    I've refreshed StarSkirmish Bench, a benchmark where LLMs play StarCraft BW by writing code, with results from the flagship models of OpenAI, Anthropic, Google, and Muse Comments URL: https://news.ycombinator.com/item?id=50118688 Points…

  39. Apple ML Research: Muse Spark Open with MLX on Mac Studio
    USHacker News Front Page

    Article URL: https://machinelearning.apple.com/research/mlx-distributed-inference Comments URL: https://news.ycombinator.com/item?id=50118320 Points: 354 # Comments: 188

  40. "I'm on a war footing": Terry Tao and the crisis in math
    USHacker News Front Page

    https://archive.ph/bid95 Comments URL: https://news.ycombinator.com/item?id=50118165 Points: 157 # Comments: 289

  41. Mull: note-taking with a language server / vscode extension
    USlobste.rs

    I've been writing notes as plain text files since forever, and it occurred to me that note-taking could benefit from the typical features that a language server provides: clickable links, autocomplete, hover previews, formatting…

  42. I Love Software Rendering
    USHacker News Front Page

    Article URL: https://www.jamesfmackenzie.com/2026/10/13/i-love-software-rendering/ Comments URL: https://news.ycombinator.com/item?id=50117746 Points: 326 # Comments: 205

  43. The road to iroh 1.0
    USlobste.rs

    Comments

  44. What agents mean for Rust (and vice versa)
    USlobste.rs

    Comments

  45. Making a 88x31 button book using ImageMagick
    USlobste.rs

    Comments

  46. Is Your Organization Messing Up AI Adoption?
    DESmashing Magazine

    The way I see most organizations roll out AI feels more like a farce than a strategy. If it were turned into a movie, reviewers would say it was unbelievable. Nobody could be that stupid. Yet here we are. And what makes it all the more…

  47. Writing stateful effect handlers in EYG
    USlobste.rs

    Comments

  48. Folders Esoteric Language
    USlobste.rs

    Comments

  49. What are you doing this weekend?
    USlobste.rs

    Feel free to tell what you plan on doing this weekend and even ask for help or feedback. Please keep in mind it’s more than OK to do nothing at all too!

  50. AI says you’re right, formal methods say you’re wrong
    USStack Overflow Blog

    Ryan is joined by Gabriela Moreira, CEO at Quint, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer-friendly syntax and executability to formal…

  51. Matt Mullenweg Orders Accessibility Revert
    USlobste.rs

    Comments

  52. Lean now ships with verified kernels
    USHacker News Front Page

    Article URL: https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/ Comments URL: https://news.ycombinator.com/item?id=50114758 Points: 182 # Comments: 64

  53. coopiano: A physically modelled piano synthesizer in C++17
    USlobste.rs

    Comments

  54. Why are we even doing all this?
    USlobste.rs

    Comments

  55. The Folders Programming Language
    USHacker News Front Page

    Article URL: https://danieltemkin.com/esolangs/folders Comments URL: https://news.ycombinator.com/item?id=50114342 Points: 169 # Comments: 30

  56. Beyond Confidence: Rethinking Uncertainty Calibration in Deep Code Models
    USarXiv cs.SE (Software)

    arXiv:2610.21248v1 Announce Type: new Abstract: Deep learning models have shown significant promise in code-related tasks. While confidence calibration techniques have been proposed to improve model reliability, their effectiveness in…

  57. Testing and Verification of Quantum Compilers through Assurance Contracts and Evidence
    USarXiv cs.SE (Software)

    arXiv:2610.00255v2 Announce Type: replace Abstract: Quantum compiler assurance requires a semantic relation that matches the intended use and observations that can expose violations at the delivered interface. This critical integrative…

  58. FAOPs: Normal Forms and an Algebra for AI Agent Workflows
    USarXiv cs.PL (Programming)

    arXiv:2610.22061v1 Announce Type: cross Abstract: Organizations increasingly encode operational procedures as multi-step agent skills, here called Agent Operating Procedures (AOPs), that must be traceable, auditable, reproducible…

  59. HPCAgent-Bench: A Framework for Sound Benchmarking of Code-Optimizing Agents, Harnesses, and Skills
    USarXiv cs.SE (Software)

    arXiv:2610.20673v1 Announce Type: new Abstract: Coding agents are increasingly used to optimize code, but existing benchmarks fix one accelerator, programming model or harness, so they cannot isolate what each component contributes or show…

  60. Plausible Is Not Enough: Trust and Evidence in AI-Authored Pull Request Review
    USarXiv cs.SE (Software)

    arXiv:2610.21144v1 Announce Type: new Abstract: Code review is where AI-authored pull requests (AIPRs) must earn reviewer trust before integration, yet it is unclear whether reviewers apply the same criteria used for human-authored pull…

  61. CodeHealth Predicts the Token Cost of Agentic Code Review: A Pre-Registered Study of 465 Agent-Authored Pull Requests
    USarXiv cs.SE (Software)

    arXiv:2610.21914v1 Announce Type: new Abstract: Context: Organizations increasingly delegate code review to multi-agent large language model (LLM) pipelines billed per token. Low code quality raises human maintenance effort, but its effect…

  62. Don't Regenerate, Debug: A Domain-Specific Agent for Repairing Near-Miss Accelerator Kernels
    USarXiv cs.SE (Software)

    arXiv:2608.02712v2 Announce Type: replace Abstract: Kernel generation for hardware accelerators such as GPUs and NPUs has become a proving ground for large language models (LLMs), and state-of-the-art systems raise correctness through…

  63. Praxist: From Experimental Artifacts to Solution Lineages
    USarXiv cs.SE (Software)

    arXiv:2608.25955v2 Announce Type: replace-cross Abstract: Autonomous R&D agents now write, run, and improve executable artifacts under automated evaluation-but largely as laboratory instruments: shown on curated benchmarks, with gains that…

  64. Realization Divergence in Multi-Provider Quantum Computing: A Pre-Registered Study of What Survives Measurement
    USarXiv cs.SE (Software)

    arXiv:2610.21714v1 Announce Type: new Abstract: Quantum programs pass through compilers, transpilers and vendor services before execution. However, the distance between what was written and what runs is rarely measured. We call this…

  65. From Migration to Calibration: Aligning Agents with Deployment Requirements
    USarXiv cs.SE (Software)

    arXiv:2609.35149v3 Announce Type: replace-cross Abstract: Deploying, migrating, or scaling an agent changes its model, support system, application, and users. Calibration should align the agent with destination requirements without…

  66. A Gradual Probabilistic Lambda Calculus
    USarXiv cs.PL (Programming)

    arXiv:2604.05246v2 Announce Type: replace Abstract: Probabilistic programming languages extend ordinary programming languages with the ability to sample values from probability distributions. Type systems can establish invariants of such…

  67. GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
    USarXiv cs.SE (Software)

    arXiv:2505.11016v2 Announce Type: replace-cross Abstract: Modern software supply chain attacks consist of introducing new, malicious capabilities into trusted third-party software components, in order to propagate to a victim through a…

  68. Evaluating and Improving Static Application Security Testing Tools for Rust
    USarXiv cs.SE (Software)

    arXiv:2610.21373v1 Announce Type: cross Abstract: Rust has become a popular systems programming language in recent years because of its strong guarantees on memory and concurrency safety. Many types of system software have been…

  69. SWE-PolyVision: Benchmarking Cross-Image Abductive Reasoning for Repository-Level Software Engineering
    USarXiv cs.SE (Software)

    arXiv:2609.29754v3 Announce Type: replace Abstract: Current multimodal software-engineering benchmarks expose images as additional context, but do not test whether an agent can integrate evidence distributed across images into a verified…

  70. Isolating Recurring Backend-Dependent Abnormal Patterns on NISQ Quantum Devices
    USarXiv cs.SE (Software)

    arXiv:2604.17519v3 Announce Type: replace Abstract: Quantum hardware remains highly susceptible to noise, making compilation a critical step for obtaining reliable execution on existing devices. Today's quantum compilers approximate…

  71. Poison Valleys: Diagnosing Path-Dependent Failure in LLM Code Repair
    USarXiv cs.SE (Software)

    arXiv:2610.21514v1 Announce Type: new Abstract: When code-repair agents fail, final tests reveal that a patch is wrong but not which earlier commitment caused it or which software obligation failed. Poison Valleys traces this path in 1,844…

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

    arXiv:2610.20068v2 Announce Type: replace 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…

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

    arXiv:2610.20038v2 Announce Type: replace 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…

  74. DataKernelBench: Can LLMs Optimize Database Queries on GPUs?
    USarXiv cs.PL (Programming)

    arXiv:2608.25061v3 Announce Type: replace-cross Abstract: GPUs increasingly accelerate database systems, but query-specific peak performance still often relies on hand-written kernels. Existing LLM kernel benchmarks focus on machine…

  75. Normalization by Evaluation with Substitutions as Operations
    USarXiv cs.PL (Programming)

    arXiv:2610.21131v1 Announce Type: new Abstract: In previous works on normalization by evaluation (NbE) with an untyped domain model, explicit substitutions are a major decision choice, which, in retrospect, is taken to simplify subsequent…

  76. Causal Syntax Circuits in CodeLMs: Budget and Probe Decide What Looks Localised
    USarXiv cs.SE (Software)

    arXiv:2610.20683v1 Announce Type: cross Abstract: Code models write Python when the prompt does not say which language to use. We ask a mechanistic question about that habit: is it produced by a small, findable group of components inside…

  77. Combining LLM and Dynamic Analysis for Universal Testing of Static Application Security Testing Tools
    USarXiv cs.SE (Software)

    arXiv:2610.21309v1 Announce Type: cross Abstract: Static application security testing (SAST) tools help detect potential software vulnerabilities, but they themselves contain faults undermining reliability and usability. Automated testing…

  78. Negative and Fractional Types in the Fidelity Framework
    USarXiv cs.PL (Programming)

    arXiv:2606.04352v4 Announce Type: replace Abstract: Programs routinely create temporary data, retain state and revisit earlier results. Negative and fractional types benefit those activities in a type-resolved account of computation…

  79. When CONTRIBUTING Files Fall Short: Revising OSS Contribution Guidelines with Repository Evidence
    USarXiv cs.SE (Software)

    arXiv:2610.21316v1 Announce Type: new Abstract: Contribution guidelines help newcomers participate in open-source software projects, yet often contain incomplete or outdated information. Existing studies characterize newcomers' information…

  80. Enhancing Knowledge Density via Hierarchical Context Pruning for Retrieval-Augmented Repository-Level Code Completion
    USarXiv cs.SE (Software)

    arXiv:2508.10068v3 Announce Type: replace Abstract: Retrieval-Augmented Generation (RAG) has advanced repository-level code completion by retrieving external code snippets, API documentation, or type definitions to expand the model's…

  81. ToolBottleneckBench: Measuring Tool-Agent Performance under Controlled Pressures and Fixed Harness Budgets
    USarXiv cs.SE (Software)

    arXiv:2610.21098v1 Announce Type: cross Abstract: The success score of a tool agent reflects both its model and the budgets of the harness that runs it. We present ToolBottleneckBench, a benchmark that measures tool-agent performance under…

  82. Independent Data-Integrity Verification for LLM-Driven Functional Coverage Closure in Hardware Design
    USarXiv cs.SE (Software)

    arXiv:2610.21570v1 Announce Type: cross Abstract: LLM agents can write directed tests that close functional coverage, but coverage only shows that a state was reached, not that the data on the way there was correct. This is a long-known…

  83. A Model-Centric DevOps Architecture for DEVS-Based Digital Twin Simulation Services
    USarXiv cs.SE (Software)

    arXiv:2609.11122v2 Announce Type: replace Abstract: Digital twin simulation models evolve and are redeployed like software. Engines based on the Discrete Event System Specification (DEVS) have a sound formal basis but offer little support…

  84. SEVerA: Verified Synthesis of Self-Evolving Agents
    USarXiv cs.PL (Programming)

    arXiv:2603.25111v3 Announce Type: replace-cross Abstract: Recent advances have shown the effectiveness of self-evolving LLM agents on tasks such as program repair and scientific discovery. In this paradigm, a planner LLM synthesizes an…

  85. SWE-at-Scale: Scalable Issue Synthesis from Historical Bug Fixes
    USarXiv cs.SE (Software)

    arXiv:2610.21359v1 Announce Type: new Abstract: As coding agents become increasingly capable, robust evaluation requires a broader and more diverse supply of verifiable software engineering (SWE) tasks. However, real-world tasks are…

  86. Harnessing MPI mutations for AI error detection
    USarXiv cs.SE (Software)

    arXiv:2610.20616v1 Announce Type: new Abstract: MPI errors are challenging to identify despite the significant number of expert verification tools. Dynamic tools (i.e., requiring profiling) are computationally expensive and accurate in…

  87. Benchmarking and Enhancing Design-Aware Code Review in the Linux Kernel
    USarXiv cs.SE (Software)

    arXiv:2610.21925v1 Announce Type: new Abstract: Code review often requires reasoning beyond local correctness. In mature software systems, reviewers must recognize design trade-offs introduced by a proposed change, compare alternative…

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

    arXiv:2603.22519v4 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…

  89. SEVerA: Verified Synthesis of Self-Evolving Agents
    USarXiv cs.SE (Software)

    arXiv:2603.25111v3 Announce Type: replace-cross Abstract: Recent advances have shown the effectiveness of self-evolving LLM agents on tasks such as program repair and scientific discovery. In this paradigm, a planner LLM synthesizes an…

  90. Multi-LLM Orchestration for High-Quality Code Generation: Exploiting Complementary Model Strengths
    USarXiv cs.SE (Software)

    arXiv:2510.01379v3 Announce Type: replace Abstract: Large Language Models (LLMs) are central to automated code generation, yet most approaches use one model at every stage, from writing code to repairing and optimizing it. LLMs have…

  91. Volition Elicitation: Operational Semantics for People and Their Machines
    USarXiv cs.PL (Programming)

    arXiv:2607.14138v2 Announce Type: replace Abstract: The most prevalent distributed systems today include people and their personal machines (smartphones), and computations in them are driven by people's volitions. Volition-guarded…

  92. Stateful Testing for Deep Learning Compilers
    USarXiv cs.SE (Software)

    arXiv:2610.22003v1 Announce Type: new Abstract: Modern deep learning compilers compile models lazily and cache artifacts across invocations. Retained compiler state can make a later invocation incorrect even when it is correct in…

  93. ORACLE-SWE: Quantifying the Contribution of Critical Information Signals on SWE Agents
    USarXiv cs.SE (Software)

    arXiv:2604.07789v3 Announce Type: replace-cross Abstract: Recent advances in Language Model (LM) agents have increasingly focused on repository-level software engineering (SWE) tasks, leading to various agentic workflows, training methods…

  94. ParanoiaEval: Benchmarking Unnecessary Defensive Work in Agentic Coding
    USarXiv cs.SE (Software)

    arXiv:2610.08662v3 Announce Type: replace-cross Abstract: As coding agents increasingly undertake real-world work autonomously, judging whether their risk treatments are warranted has become important. Existing work evaluates related agent…

  95. RAG4Tickets: AI-Powered Ticket Resolution via Retrieval-Augmented Generation on JIRA and GitHub Data
    USarXiv cs.SE (Software)

    arXiv:2510.08667v3 Announce Type: replace Abstract: Modern software teams frequently encounter delays in resolving recurring or related issues due to fragmented knowledge scattered across JIRA tickets, developer discussions, and GitHub…

  96. The Role of Agentic Instruction Categories for Code Generation: A Study of Five Python Libraries
    USarXiv cs.SE (Software)

    arXiv:2610.21421v1 Announce Type: new Abstract: Agentic coding systems increasingly rely on repository-level agent files, such as AGENTS.md, to communicate project knowledge and developer intent. However, it remains unclear which…

  97. FDE-Gym: The Last Mile of AI Delivery
    USarXiv cs.SE (Software)

    arXiv:2610.22350v1 Announce Type: cross Abstract: Existing agent benchmarks typically evaluate agents on well-specified tasks defined by issue reports, specifications, or task tickets. Real-world customer delivery is different…

  98. Where the SRAM Goes: Per-Symbol Attribution of Static Memory in FreeRTOS-C and Embassy-Rust IoT Firmware on a 64 KB RISC-V Microcontroller
    USarXiv cs.SE (Software)

    arXiv:2610.21064v1 Announce Type: cross Abstract: Selecting a firmware stack for a memory-constrained microcontroller is usually guided by aggregate binary sizes, which report how much SRAM a build consumes but not where it goes or why. We…

  99. WEAVE: Weaving Real-World Code Evolution into Dependency-Structured Tasks for Benchmarking and Training Code Agents
    USarXiv cs.SE (Software)

    arXiv:2610.22039v1 Announce Type: new Abstract: Real-world software engineering rarely consists of isolated changes. Features, migrations, and systematic fixes often unfold across multiple pull requests (PRs), requiring coordinated…

  100. ReTerm: Recovery Training for Self-Improving Terminal Agents
    USarXiv cs.SE (Software)

    arXiv:2610.18484v2 Announce Type: replace-cross Abstract: Terminal agents have shown strong abilities in complex coding tasks. However, they often struggle to recover from errors during long-running execution (e.g., command errors, faulty…

  101. Agentic Dependency Transformations: Lessons from an Exploratory Case Study of Flask
    USarXiv cs.SE (Software)

    arXiv:2610.21372v1 Announce Type: new Abstract: Modern software relies heavily on third-party libraries, requiring maintainers to balance the benefits of reuse against dependency-related maintenance and risk. We define dependency…

  102. Are We Testing the Wrong Quantum Bugs? A Study of Fault Representation Gaps in Quantum Software Testing
    USarXiv cs.SE (Software)

    arXiv:2610.22089v1 Announce Type: new Abstract: Quantum software relies on compilers, intermediate representations, and execution frameworks that transform programs before execution. Faults in these components can change the behavior of…

  103. An Empirical Analysis of EOS Blockchain: Architecture, Contract, and Security
    USarXiv cs.SE (Software)

    arXiv:2505.15051v2 Announce Type: replace-cross Abstract: With the rapid development of blockchain technology, various blockchain systems are exhibiting vitality and potential. As a representative of Blockchain 3.0, the EOS blockchain has…

  104. Are We Testing the Wrong Quantum Bugs? A Study of Fault Representation Gaps in Quantum Software Testing
    USarXiv cs.PL (Programming)

    arXiv:2610.22089v1 Announce Type: cross Abstract: Quantum software relies on compilers, intermediate representations, and execution frameworks that transform programs before execution. Faults in these components can change the behavior of…

  105. ANEForge: Python for direct computation on the Apple Neural Engine
    USarXiv cs.PL (Programming)

    arXiv:2606.17090v2 Announce Type: replace Abstract: ANEForge is a Python package that programs the Apple Neural Engine (ANE), the fixed-function neural accelerator on every recent Apple device, directly and without CoreML. In production…

  106. Coexponential Exploration in the Clef Programming Language
    USarXiv cs.PL (Programming)

    arXiv:2610.12911v2 Announce Type: replace Abstract: Clef was created as a concurrent programming language whose compiler tracks state ownership, waiting computations and request dependencies. We develop a coexponential account of stateful…

  107. Benchmarking Code LLM-as-a-Judge via Constrained Perturbation and Calibration
    USarXiv cs.SE (Software)

    arXiv:2512.20159v2 Announce Type: replace Abstract: Code from LLM-assisted development may contain defects like API hallucinations, motivating the development of code evaluation metrics to assess such code before deployment. As…

  108. Bidirectional Elaborators \`a la Carte
    USarXiv cs.PL (Programming)

    arXiv:2607.09564v4 Announce Type: replace Abstract: Surface syntax in proof assistants like Rocq, Lean, Agda, and Idris is highly implicit, lacking many details that are needed for user-written code to denote precisely defined mathematical…

  109. Fixed-Point Scaffolding in the Clef Programming Language
    USarXiv cs.PL (Programming)

    arXiv:2606.02854v4 Announce Type: replace Abstract: Native compilation changes how a program represents values and performs operations from processor to processor. In our view, proofs that justify source-level decisions must remain…

  110. Robotic-supported Data Loss Detection in Android Applications
    USarXiv cs.SE (Software)

    arXiv:2610.20807v1 Announce Type: new Abstract: Smartphones have become integral to modern life due to their diverse applications. However, the development of applications for these devices faces significant challenges, primarily due to…

  111. Language-Based Agent Control
    USarXiv cs.PL (Programming)

    arXiv:2605.12863v2 Announce Type: replace Abstract: This paper introduces language-based agent control (LBAC), a new programming model for agentic applications that brings techniques from programming languages and language-based security…

  112. Identifier-Free Code Embedding Models for Scalable Search
    USarXiv cs.SE (Software)

    arXiv:2605.05251v2 Announce Type: replace-cross Abstract: Function association is a useful process for binary reverse engineers. Search tools exist to perform association at scale, but they do not utilize the full range of capabilities…

  113. NosRacer: Dynamic Detection of Race Conditions in On-Device Network Operating Systems
    USarXiv cs.SE (Software)

    arXiv:2610.11875v2 Announce Type: replace-cross Abstract: Commercial on-device network operating systems (NOSes) run the complex control planes of production routers and switches, where configuration update tasks are executed by multiple…

  114. Smart Hiring Redefined: An Intelligent Recruitment Management Platform
    USarXiv cs.SE (Software)

    arXiv:2510.04437v5 Announce Type: replace Abstract: Against the backdrop of deepening digital and intelligent transformation in human resource management, traditional recruitment models struggle to fully meet enterprises' growing demand…

  115. Spec-Driven Development as Prescribed and as Practiced
    USarXiv cs.SE (Software)

    arXiv:2608.25202v4 Announce Type: replace Abstract: AI coding agents implement software from naturallanguage instructions, but the intent behind that work is lost when stated only in chat sessions. Spec-driven development (SDD) addresses…

  116. Enhancing Knowledge Density via Hierarchical Context Pruning for Retrieval-Augmented Repository-Level Code Completion
    USarXiv cs.PL (Programming)

    arXiv:2508.10068v3 Announce Type: replace-cross Abstract: Retrieval-Augmented Generation (RAG) has advanced repository-level code completion by retrieving external code snippets, API documentation, or type definitions to expand the model's…

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

    arXiv:2603.22519v4 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…

  118. Developer Experiences with Cursor AI-native IDE
    USarXiv cs.SE (Software)

    arXiv:2610.20618v1 Announce Type: new Abstract: AI-powered integrated development environments (IDEs) are increasingly positioned as practical tools for software development, integrating AI assistance into everyday activities such as…

  119. Skip the Compressor: Coding Agents Fix More Issues When They Pick Whole Files
    USarXiv cs.SE (Software)

    arXiv:2610.21073v1 Announce Type: new Abstract: A coding agent works on repositories that can be far larger than its context window can hold. Prompt compressors and retrievers offer solutions to this problem, but patching an issue needs…

  120. My self-hosted infrastructure with Incus OS
    USlobste.rs

    Comments

  121. Linus Torvalds on AI-assisted kernel contributions
    USlobste.rs

    Comments

  122. Where did WIN32_LEAN_AND_MEAN come from? (2009)
    USlobste.rs

    Comments

  123. Any window from your Mac, on your iPhone and iPad
    USHacker News Front Page

    Article URL: https://github.com/Saffsanity/sill Comments URL: https://news.ycombinator.com/item?id=50112739 Points: 181 # Comments: 46

  124. Tesla Roadster
    USHacker News Front Page

    https://www.youtube.com/watch?v=7p5LxFdc-Qg https://twitter.com/Tesla/status/2110788059008819215 Comments URL: https://news.ycombinator.com/item?id=50112657 Points: 1548 # Comments: 2824

  125. Thank You, Deno
    USHacker News Front Page

    Article URL: https://www.vlt.io/blog/competition-keeps-javascript-moving Comments URL: https://news.ycombinator.com/item?id=50112331 Points: 105 # Comments: 21

  126. RPKI now protects 70% of internet routes
    USHacker News Front Page

    Article URL: https://ipinfo.io/blog/rpki-protects-70-internet-routes Comments URL: https://news.ycombinator.com/item?id=50112330 Points: 201 # Comments: 86