AX·NEWS
Sign in

Software Engineering

Software Engineering news — Wednesday 28 October 2026

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

Open in the live feedRSS feedOn a TV

  1. StackOverflow now gets fewer than 1000 questions a month
    USHacker News Front Page

    Article URL: https://data.stackexchange.com/stackoverflow/query/1926661#graph?t=1 Comments URL: https://news.ycombinator.com/item?id=50282454 Points: 728 # Comments: 635

  2. GitLab security incident: attempted exploitation of CVE-2026-97229 | Alpine Linux
    USlobste.rs

    Comments

  3. Formlabs Studio 1 $699 Resin Printer
    USHacker News Front Page

    Article URL: https://formlabs.com/products/form-studio-1-basic-founders-edition/ Comments URL: https://news.ycombinator.com/item?id=50281044 Points: 202 # Comments: 140

  4. A Health Update
    USHacker News Front Page

    Article URL: https://furbo.org/2026/10/28/a-health-update/ Comments URL: https://news.ycombinator.com/item?id=50280974 Points: 338 # Comments: 54

  5. Leak Exposes 41,000 Homeland Security Workers–Including Undercover ICE Agents
    USHacker News Front Page

    Article URL: https://www.wired.com/story/massive-leak-exposes-41000-homeland-security-workers-including-undercover-ice-agents/ Comments URL: https://news.ycombinator.com/item?id=50280864 Points: 123 # Comments: 36

  6. Radiation Map of the World
    USHacker News Front Page

    Article URL: https://radiaverse.com/ Comments URL: https://news.ycombinator.com/item?id=50280131 Points: 140 # Comments: 45

  7. A JSON schema Is not an AI governance layer
    USStack Overflow Blog

    The AI governance argument is happening one layer above the code that actually stops your agent.

  8. Why Is This Fingerprinting Script Creating Bioweapons?
    USlobste.rs

    Comments

  9. OpenBSD Jumpstart 8.0: Quick Start Guide for New Users
    USlobste.rs

    Comments

  10. Cloudflare Turnstile solver library (no headless browser required)
    USHacker News Front Page

    Article URL: https://github.com/chris124567/cfsolve Comments URL: https://news.ycombinator.com/item?id=50277379 Points: 290 # Comments: 96

  11. MacBook Pro with PROLED XDR Display and Touch
    USHacker News Front Page

    https://www.apple.com/newsroom/2026/10/apple-unveils-groundb... Comments URL: https://news.ycombinator.com/item?id=50276940 Points: 591 # Comments: 990

  12. Gemini 4 Carbon
    USHacker News Front Page

    Article URL: https://blog.google/innovation-and-ai/models-and-research/gemini-models/introducing-gemini-4-carbon/ Comments URL: https://news.ycombinator.com/item?id=50276792 Points: 958 # Comments: 771

  13. Hoot 0.10.0 released
    USlobste.rs

    Comments

  14. GOTO Considered Totally Sick (for error handling in C)
    USlobste.rs

    Comments

  15. Meta censored the No Kings Instagram account during a nationwide campaign
    USHacker News Front Page

    Article URL: https://paulfwalsh.substack.com/p/meta-censored-the-no-kings-instagram Comments URL: https://news.ycombinator.com/item?id=50275887 Points: 129 # Comments: 30

  16. Pair-coding Lobste.rs feat
    USlobste.rs

    There is a long standing issue I'm working at that turned out to have some interesting refactoring suggested by the admins . Does anybody want to pair-code this feat with me? (I also mentioned it in irc). I believe discussing the codebase…

  17. Dayjob: Tax – evaluating AI agents on 50 professional tax assignments
    USHacker News Front Page

    Article URL: https://surgehq.ai/blog/dayjob-tax Comments URL: https://news.ycombinator.com/item?id=50275626 Points: 244 # Comments: 154

  18. Archive.today links going forward
    USHacker News Front Page

    Article URL: https://www.reddit.com/r/Seattle/comments/1xhf6qp/archivetoday_links_going_forward/ Comments URL: https://news.ycombinator.com/item?id=50275373 Points: 190 # Comments: 122

  19. Delivering controlled and concentrated context
    USStack Overflow Blog

    Check out the new features and capabilities now available in Stack Internal and Stack Internal Community. Try Stack Internal for free by visiting stackinternal.com.

  20. CNC Stone Carving
    USHacker News Front Page

    Article URL: https://carmelitegothic.com/cnc-stone-carving/ Comments URL: https://news.ycombinator.com/item?id=50274409 Points: 506 # Comments: 140

  21. Making SIMD Code Scale to Any Vector Width
    USlobste.rs

    Comments

  22. The October inflection point for vibe game development
    USlobste.rs

    Comments

  23. The Agent SDK
    USHacker News Front Page

    Article URL: https://cursor.com/blog/agent-sdk Comments URL: https://news.ycombinator.com/item?id=50273731 Points: 110 # Comments: 116

  24. Kentucky man becomes the first humanist granted religious exemption from AI
    USHacker News Front Page

    Article URL: https://religionnews.com/2026/10/26/in-a-first-a-humanist-granted-a-religious-exemption-from-using-ai/ Comments URL: https://news.ycombinator.com/item?id=50273396 Points: 441 # Comments: 487

  25. Forging a Microsoft Edge Full Chain with Logic Bugs Only
    USlobste.rs

    Comments

  26. Emacs Turns 50
    USHacker News Front Page

    Article URL: https://www.technologyreview.com/2026/10/20/1145399/emacs-turns-50/ Comments URL: https://news.ycombinator.com/item?id=50273171 Points: 464 # Comments: 193

  27. Foundational Cryptography in SPARK
    USlobste.rs

    Comments

  28. I'm so bad at billiards that I ended up in the hyperbolic plane [video]
    USHacker News Front Page

    Article URL: https://www.youtube.com/watch?v=kL9BTbIGxLg Comments URL: https://news.ycombinator.com/item?id=50273104 Points: 210 # Comments: 35

  29. ICE Is Running One of the Largest Anti-Left Surveillance Ops in US History
    USHacker News Front Page

    Article URL: https://www.wired.com/story/ice-is-running-one-of-the-largest-anti-left-surveillance-operations-in-us-history/ Comments URL: https://news.ycombinator.com/item?id=50272749 Points: 733 # Comments: 518

  30. Two high-speed trains collide near Toledo, Spain
    USHacker News Front Page

    Article URL: https://www.euronews.com/video/2026/10/28/spain-first-footage-reveals-wreckage-of-deadly-high-speed-train-crash Comments URL: https://news.ycombinator.com/item?id=50272596 Points: 101 # Comments: 53

  31. Sleep framework: A new way for LLMs to retain knowledge in continual learning
    USHacker News Front Page

    https://arxiv.org/pdf/2606.03979 Comments URL: https://news.ycombinator.com/item?id=50272479 Points: 217 # Comments: 24

  32. Amazon to buy satellite firm Globalstar in $11.57B deal
    USHacker News Front Page

    Previously: Amazon to acquire Globalstar and expand Amazon Leo satellite network - https://news.ycombinator.com/item?id=47775183 - April 2026 (119 comments) Comments URL: https://news.ycombinator.com/item?id=50272145 Points: 199 #…

  33. Apple's git still trusts the compromised eMudhra certificates
    USlobste.rs

    Comments

  34. A Little Bit of Slope Makes Up For a Lot of Y-Intercept
    USlobste.rs

    Comments

  35. AlpineBSD
    USlobste.rs

    Comments

  36. Start Doing Graph Theory
    USlobste.rs

    Comments

  37. Hunger beats tenure: Advice for junior engineers
    USlobste.rs

    Comments

  38. Peel: A free, open source uninstaller and cleaner for macOS
    USlobste.rs

    A mostly AI generated tool that doesn't seem to be slop, but actually useful (and beautiful). See How Peel was made . Comments

  39. Billion-query-per-second lookup tables in C++
    USlobste.rs

    Comments

  40. Tips for more effective fuzz testing with AFL++
    USHacker News Front Page

    Article URL: https://nullprogram.com/blog/2025/02/05/ Comments URL: https://news.ycombinator.com/item?id=50271106 Points: 137 # Comments: 26

  41. Reading and writing are less symmetric than you (probably) think
    USHacker News Front Page

    Article URL: https://fgiesen.wordpress.com/2015/10/25/reading-and-writing-are-less-symmetric-than-you-probably-think/ Comments URL: https://news.ycombinator.com/item?id=50271052 Points: 109 # Comments: 26

  42. Code-execution flaw in UEFI firmware affects most servers on planet Earth
    USlobste.rs

    Comments

  43. The Benchmarking Crisis
    USlobste.rs

    Comments

  44. Astroterm: A Planetarium for Your Terminal
    USHacker News Front Page

    Article URL: https://github.com/da-luce/astroterm Comments URL: https://news.ycombinator.com/item?id=50270651 Points: 208 # Comments: 24

  45. Who’s 0xabadbabe and why? (2011)
    USlobste.rs

    Comments

  46. Scalable Vector Grief
    USlobste.rs

    Comments

  47. BenchMeUp: Building Software Engineering Benchmarks from Natural-Language Specifications
    USarXiv cs.SE (Software)

    arXiv:2610.37283v1 Announce Type: new Abstract: Software-engineering research relies on benchmarks that evaluate new techniques on a set of problem instances. Unfortunately, manually constructing benchmarks is labor-intensive, as…

  48. Your Wish Is My Commit: Over-Compliant Refactoring in AI Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.36346v1 Announce Type: new Abstract: Large language models are known to be sycophantic, over-complying with users even when doing so is unproductive. When these models act as coding agents, this can be costly: an agent that…

  49. Hidden in Plain Sight: an Empirical Study about The Instruction Stacks of Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.37332v1 Announce Type: new Abstract: Coding agents send their models more than the user's prompt: they add instructions, tool definitions, and environmental context that form an instruction stack. This stack guides execution and…

  50. God Does Not Play Dice: Enforcing Batch Invariance in Agentic Kernel Generation
    USarXiv cs.SE (Software)

    arXiv:2610.36623v1 Announce Type: cross Abstract: Large language model (LLM) serving systems dynamically batch user requests for GPU execution, so the same request may be processed alongside different requests across runs. If the GPU…

  51. Small agents should know what their tools do
    USarXiv cs.SE (Software)

    arXiv:2610.35981v1 Announce Type: new Abstract: Small open language models can call tools, but they do not reason about what a call does: they delete without asking, repeat writes, re-read state they already hold, and issue one call per…

  52. Generation and Verification: Human-Agent Collaboration for Safety-Critical Automotive Software Engineering
    USarXiv cs.SE (Software)

    arXiv:2610.35982v1 Announce Type: new Abstract: Research on coding agents mainly focuses on generation quality. Yet, safety-critical automotive software makes two additional demands. It prioritizes verification, since every change is…

  53. Stratum: Repository Memory for Coding Agents Beyond the Context Window
    USarXiv cs.SE (Software)

    arXiv:2610.36153v1 Announce Type: new Abstract: Context windows have grown a thousand-fold, yet coding agents still start every session with no memory of their past work. They re-read files, retry failed approaches, and forget root causes…

  54. kw-bench: Breaking Frontier Harnesses on Real-World Tasks
    USarXiv cs.SE (Software)

    arXiv:2610.36405v1 Announce Type: cross Abstract: Each new generation of frontier model pushes the edge of what is possible. Inside a harness -- a loop, a shell, a filesystem, the ability to write and run its own code -- a model can take…

  55. SWE-Skills-Bench: Do Agent Skills Actually Help in Real-World Software Engineering?
    USarXiv cs.SE (Software)

    arXiv:2603.15401v2 Announce Type: replace Abstract: Agent skills, structured procedural knowledge packages injected at inference time, are increasingly used to augment LLM agents on software engineering tasks. However, their real utility…

  56. Testing Agentic Service Systems: An Agentic Living Lab Methodology Across the Physical-Digital Continuum
    USarXiv cs.SE (Software)

    arXiv:2610.35978v1 Announce Type: new Abstract: Task success is insufficient for testing agents that act for principals, change persistent business state, and affect physical processes: a useful result may be unauthorized, leave…

  57. Spine: Compiling Subtask Trees into Structured Context for Long-Horizon Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.37224v1 Announce Type: new Abstract: Long-horizon coding tasks contain nested subtasks. Typically, agents record interactions sequentially into a growing history, causing context inflation and performance degradation…

  58. Executable Archaeology of Programs That Model Programming: Reanimating the Heuristic Compiler (1961) and KBEmacs (1984)
    USarXiv cs.PL (Programming)

    arXiv:2610.36341v1 Announce Type: cross Abstract: Early AI programs were often also theories of how people think, and programs that wrote programs were, in part, theories of how people program. Here we report on the reanimation of two such…

  59. Agentic Refactoring: An Empirical Study of AI Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2511.04824v2 Announce Type: replace Abstract: Agentic coding tools, such as OpenAI Codex, Claude Code, and Cursor, are changing how software is developed. These AI-powered systems function as autonomous teammates capable of planning…

  60. Building Mathematical Software -- Lessons from the Development of GAP
    USarXiv cs.SE (Software)

    arXiv:2610.36300v1 Announce Type: cross Abstract: Mathematical software has particular needs that are not all covered by the existing literature on software engineering or algorithm design. This paper looks at some of these aspects, in the…

  61. AGDecode: Semantic Attribute Grammar Derivatives for Safety-Constrained Decoding of Large Language Models
    USarXiv cs.PL (Programming)

    arXiv:2610.36105v1 Announce Type: cross Abstract: Large language models (LLMs) are increasingly used for code generation, motivating techniques that guarantee the structural and semantic correctness of generated programs. Constrained…

  62. An EVM-Cosmos Bridge for Atomic, Semantic-Preserving Transfer of Environmental Tokens
    USarXiv cs.SE (Software)

    arXiv:2610.37663v1 Announce Type: new Abstract: Transferring semantically typed tokens between heterogeneous blockchains (e.g. EVM and Cosmos ecosystems) raises two problems: semantic mixing, the loss of a token's domainspecific meaning in…

  63. BUSTA: Teaching Small Language Models to Reason About Binary Execution
    USarXiv cs.PL (Programming)

    arXiv:2610.36288v1 Announce Type: cross Abstract: Large Language Models (LLM) are increasingly applied to Reverse Engineering (RE) workflows. RE, however, differs from common LLM coding tasks as it requires models to reason about low-level…

  64. CIVER: Causal Intervention Verification for Reliable Code Review
    USarXiv cs.SE (Software)

    arXiv:2610.36010v1 Announce Type: new Abstract: Code review is essential for maintaining software repositories by identifying defects, improving code quality, and supporting reliable software evolution. With the growing adoption of…

  65. From Ripple to Boundary: Deterministic Impact Boundaries for LLM-Based Software Evolution
    USarXiv cs.SE (Software)

    arXiv:2610.36549v1 Announce Type: new Abstract: The landscape of software evolution is undergoing a fundamental paradigm shift in the era of Large Language Models. As industrial software engineering increasingly transitions toward…

  66. QTUNER: A Feature-Guided Adaptive Framework for Quantum-Compiler Optimization Pass Tuning
    USarXiv cs.SE (Software)

    arXiv:2607.04586v2 Announce Type: replace-cross Abstract: Quantum compiler optimization is important for improving the execution fidelity of quantum circuits. In practice, this optimization is often formulated as reducing circuit-level…

  67. How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation
    USarXiv cs.SE (Software)

    arXiv:2610.36328v1 Announce Type: cross Abstract: Benchmarks for verifiable code generation usually test a proof against one fixed implementation. We ask whether the same proof remains valid after a program refactoring that preserves…

  68. Vibenix: Agentic Software Packaging and Maintenance with Nix
    USarXiv cs.SE (Software)

    arXiv:2610.24712v2 Announce Type: replace Abstract: Implicit dependencies, uncontrolled network access, and other build-environment impurities create intransparent software supply chains. Identifying every dependency affecting a build is a…

  69. Benchmarking LLM Agents for Behaviorally Adequate Test Generation from Software Requirements
    USarXiv cs.SE (Software)

    arXiv:2610.36584v1 Announce Type: new Abstract: As large language model agents increasingly compile natural-language requirements into repository-level code, requirement-to-test generation grows in importance to provide validation…

  70. Polymorphic First-Class Environments
    USarXiv cs.PL (Programming)

    arXiv:2610.36798v1 Announce Type: new Abstract: First-class environments expose runtime environments as ordinary values and support a substitution-free, environment-based operational semantics. They also support applications such as…

  71. Before the First Edit? Measuring When Coding-Agent Guidance Actually Arrives
    USarXiv cs.SE (Software)

    arXiv:2610.35992v1 Announce Type: new Abstract: When a coding-agent harness promises guidance before the first source edit, what event does it actually intercept? We audit five separate events: policy assignment, request eligibility…

  72. When AI Can Build It, What Should We Assess? Rethinking Evidence of Engineering Competence
    USarXiv cs.SE (Software)

    arXiv:2610.36413v1 Announce Type: new Abstract: Generative AI can produce code, tests, documentation, and technical explanations that resemble artefacts traditionally used as evidence of student competence, weakening the inference from…

  73. A lightweight C Code Generator for Heterogeneous TinyML Systems
    USarXiv cs.SE (Software)

    arXiv:2610.36907v1 Announce Type: new Abstract: Over the past decade, the significant advancements in artificial intelligence have been closely tied to increasingly sophisticated training frameworks and steadily powerful computing…

  74. AI Writes Faster Than Humans Can Review: A Longitudinal Study of an Enterprise 2x Mandate
    USarXiv cs.SE (Software)

    arXiv:2607.01904v2 Announce Type: replace Abstract: Enterprises increasingly mandate the use of AI coding tools and announce ambitious productivity targets, yet there is little longitudinal evidence on whether such productivity targets…

  75. UnityBench-Mini3D: Evaluating LLM Agents for 3D Game Development in Unity
    USarXiv cs.SE (Software)

    arXiv:2610.35980v1 Announce Type: new Abstract: Game development stresses coding agents in ways general software engineering does not: correctness depends on how engine APIs, serialized scene state, and runtime behavior interact, not on…

  76. SemLoc: Structured Grounding of Free-Form LLM Reasoning for Fault Localization
    USarXiv cs.SE (Software)

    arXiv:2603.29109v2 Announce Type: replace Abstract: Large language models (LLMs) can describe what a piece of code should compute, but they do so in free-form text. Such text cannot be checked against program executions, and it does not…

  77. Agent or Human? Detecting Commits by AI Coding Agents in the Absence of Authorship Signatures
    USarXiv cs.SE (Software)

    arXiv:2610.36229v1 Announce Type: new Abstract: AI coding agents such as Claude Code, GitHub Copilot coding agent, and Cursor now commit directly to open-source repositories. Empirical studies of these agents identify their commits through…

  78. Mind the Intent Gap: A Methodology for Collaborative Agent-Driven Software Engineering
    USarXiv cs.SE (Software)

    arXiv:2610.37340v1 Announce Type: new Abstract: AI agents have entered software teams, first as tools and now as team members. They produce in minutes what used to take days, yet the expected gain in delivery often fails to appear. We…

  79. Does More Thinking Pay Off? Reasoning Cost and Correctness of LLMs in Code Generation and Bug Fixing
    USarXiv cs.SE (Software)

    arXiv:2610.36952v1 Announce Type: new Abstract: Many LLMs now emit an explicit reasoning trace before they write code, but benchmark results for code generation and bug fixing usually report correctness alone. It is therefore unclear how…

  80. safeL4: Rethinking Safe-Language-Based Single Address Space Microkernels
    USarXiv cs.PL (Programming)

    arXiv:2610.35999v1 Announce Type: cross Abstract: Microkernels provide good features such as high security, safety, and flexibility, but their reliance on hardware-based isolation leads to heavy performance overhead, limiting their…

  81. Can AI Guide Testing Without Generating Tests? A Comparative Study of AI-Assisted Unit Testing
    USarXiv cs.SE (Software)

    arXiv:2610.36185v1 Announce Type: new Abstract: Recent advances in generative AI have enabled assistants to generate increasingly sophisticated executable unit tests. However, novices may accept these outputs without independently…

  82. Structuring license permissiveness from pairwise comparisons
    USarXiv cs.SE (Software)

    arXiv:2606.31032v4 Announce Type: replace Abstract: Licenses are legal instruments that inventors rely upon to protect the technologies they build and regulate how they are used---however, the nature of their authorship and selection…

  83. Skill Dreaming: Evolving Repository Skills through Pull Request Streams
    USarXiv cs.SE (Software)

    arXiv:2610.36188v1 Announce Type: cross Abstract: Large language model (LLM) agents increasingly rely on reusable skills for complex software engineering tasks, making skill libraries essential for repository development and maintenance…

  84. Continue or Restart? The Limits of Early Failure Prediction in Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.35971v1 Announce Type: new Abstract: Early stopping promises to reduce compute costs for autonomous coding agents by terminating unpromising runs early. Deciding when to abandon a run requires separating baseline issue…

  85. Toward Circuit-Aware Mutation Testing for Quantum Programs: Exact Visibility and Execution Planning
    USarXiv cs.SE (Software)

    arXiv:2610.36976v1 Announce Type: new Abstract: Mutation testing assesses test suites by introducing program changes and checking whether tests detect them. In quantum programs, a surviving mutant may leave program behavior unchanged…

  86. KORA: Deterministic-First Execution Control for AI Workloads
    USarXiv cs.SE (Software)

    arXiv:2610.35869v1 Announce Type: cross Abstract: AI applications often invoke a model before they determine whether inference is necessary. That default is useful for ambiguous generative tasks, but it is poorly matched to work that is…

  87. Grounding LLM Agents in Business Processes: Process-Aware Knowledge Graphs for Reliable Multi-Step Service Invocation
    USarXiv cs.SE (Software)

    arXiv:2610.37242v1 Announce Type: cross Abstract: Large language model (LLM) agents that call enterprise APIs must select the correct endpoints, follow process order, use valid payload keys, and choose coded values from predefined lists…

  88. PASS Is a Claim, Not an Observation: Mechanical Re-verification of 10 Self-Asserted Fix Claims in a Live Multi-Agent Audit Layer
    USarXiv cs.SE (Software)

    arXiv:2610.35950v1 Announce Type: cross Abstract: When agents claim to have fixed their own defects, how do we know the fix is real? We mechanically re-verified 10 self-asserted code-level fix claims from a privileged coordination agent…

  89. PROBE: Frontier Coding Agents Find Different Bugs Than Maintainers Fix
    USarXiv cs.SE (Software)

    arXiv:2610.35987v1 Announce Type: new Abstract: Proactive bug discovery is an important software-engineering problem. Even though coding agents are already widely deployed in this domain, their capabilities remain understudied. In…

  90. Do Coding Agents Still Need a Debugger? Frontier-Model-Based Fault Localization at the Accuracy Ceiling
    USarXiv cs.SE (Software)

    arXiv:2610.36015v1 Announce Type: new Abstract: Background: To localize a fault, a coding agent can reason from source code alone or use debugger assistance by running the program and stepping through it in an interactive debugger. While…

  91. A Fine-Grained Empirical Study of Upstream Security Events and Downstream Mitigation in Maven
    USarXiv cs.SE (Software)

    arXiv:2610.36603v1 Announce Type: new Abstract: Open-source vulnerability mitigation spans upstream libraries and the downstream projects that depend on them. Upstream, a vulnerability progresses through a public report when one exists, a…

  92. FeatureArc: Benchmarking Coding Agents on Evolving Features
    USarXiv cs.SE (Software)

    arXiv:2610.37434v1 Announce Type: new Abstract: A software feature usually evolves over time: developers extend its first version as new use cases and requirements arrive, and each extension builds on code written earlier. Most feature…

  93. Preserving Separation Logic Specifications through Compilation
    USarXiv cs.PL (Programming)

    arXiv:2610.37244v1 Announce Type: new Abstract: Program specifications in separation logic describe ownership of resources and serve as logical interfaces for local reasoning. Compiler correctness, expressed as semantics preservation, does…

  94. MARQ: A Modular, LLM-Agnostic Requirement Quality Assessor Infused with Systems Engineering Knowledge
    USarXiv cs.SE (Software)

    arXiv:2610.36234v1 Announce Type: cross Abstract: Requirements engineering (RE) is foundational to systems engineering (SE), as requirement defects can propagate downstream and adversely affect development outcomes. Although large language…

  95. LLM Code Smells: A Taxonomy and Detection Approach
    USarXiv cs.SE (Software)

    arXiv:2605.22976v2 Announce Type: replace Abstract: Large Language Models (LLMs) are increasingly integrated into software systems for diverse purposes, due to their versatility, flexibility, and ability to simulate human reasoning to some…

  96. CASEL: Consequence-Aware Selective Execution for Reliable Long-Horizon Tool-Using Agents
    USarXiv cs.SE (Software)

    arXiv:2610.36570v1 Announce Type: cross Abstract: Tool-using language agents increasingly modify external systems, yet most runtime safeguards allocate scrutiny by generic uncertainty scores or coarse mutation heuristics. We introduce…

  97. ProCerDCL: Query-Efficient Black-Box Probabilistic Verification of Deep Learning Compiler Optimization
    USarXiv cs.PL (Programming)

    arXiv:2610.36499v1 Announce Type: cross Abstract: We present \tool, a query-efficient framework for black-box probabilistic verification. Given a fixed, sampleable input distribution and a binary property oracle, \tool assesses the…

  98. A Type System for Communication-Safe Hardware Design
    USarXiv cs.PL (Programming)

    arXiv:2610.26599v2 Announce Type: replace Abstract: Hardware components communicate through clock-cycle-sensitive protocols. Hardware Description Languages (HDLs), however, provide limited support for expressing these protocols or for…

  99. ASNER: Software Architecture Recovery with Adaptive Semantic Neighborhoods and Evidence-Grounded Refinement
    USarXiv cs.SE (Software)

    arXiv:2610.36894v1 Announce Type: new Abstract: Automated software architecture recovery provides architectural context for software engineering and repository-level LLM agents. Existing methods combine structural and semantic signals, but…

  100. Context Is a Pipeline, Not a Window: Information Attrition in LLM Agent Harnesses
    USarXiv cs.SE (Software)

    arXiv:2610.36114v1 Announce Type: new Abstract: LLM agents are judged by two numbers: the size of the context window, and how often the final answer is correct. Both numbers miss a third thing: how much of a tool's output is lost before…

  101. Instant Software Factories
    USarXiv cs.SE (Software)

    arXiv:2610.36254v1 Announce Type: new Abstract: Coding agents can quickly build prototypes, but a long tail of fixes, optimizations, tests, and releases separates a prototype from a product. A software factory handles this ongoing work…

  102. Beyond QASecClaw: Agent Scaling, Verifier Feedback, and Evidence Reliability in Software Assurance
    USarXiv cs.SE (Software)

    arXiv:2610.36947v1 Announce Type: new Abstract: Can additional specialist language-model contexts improve software assurance when deterministic tool evidence is already available? We study this question through five experiments spanning…

  103. HIDE: Hierarchical Isolation via Documentation and Evidence for Rustc Bugs
    USarXiv cs.SE (Software)

    arXiv:2610.37343v1 Announce Type: new Abstract: Rustc bugs can prevent valid programs from compiling or cause incorrect compilation results, making the identification of responsible source files essential for repair. Using large language…

  104. Proof Repair and (Co)algebra Equivalences
    USarXiv cs.PL (Programming)

    arXiv:2610.36669v1 Announce Type: new Abstract: Maintaining formal proofs in response to breaking changes in their dependencies is a major challenge of proof engineering. Proof repair is a kind of proof automation that lessens the burden…

  105. What Has Actually Been Proved? Auditable Paper-to-Lean Alignment with LeanTrail
    USarXiv cs.PL (Programming)

    arXiv:2610.35926v1 Announce Type: cross Abstract: Compiler feedback certifies that Lean accepts a declaration, not that the declaration captures the intended result: a repository can compile while a central theorem is weakened, merely…

  106. Abstract Lipschitz Continuity
    USarXiv cs.PL (Programming)

    arXiv:2610.37006v1 Announce Type: new Abstract: We introduce Abstract Lipschitz Continuity (ALC), an extensional property of functions, in particular of program semantics, requiring that bounded differences between properties of two inputs…

  107. Optimizing Spectral Signature in Code Backdoor Detection
    USarXiv cs.SE (Software)

    arXiv:2510.13992v2 Announce Type: replace Abstract: As Large Language Models (LLMs) are increasingly integrated into software development workflows, they also become prime targets for adversarial attacks. Among these, backdoor attacks are…

  108. Bit-Precise Conformance Testing of Simulink Model Checkers
    USarXiv cs.SE (Software)

    arXiv:2606.24719v3 Announce Type: replace Abstract: MATLAB/Simulink provides a practical modeling language and a simulation engine for the development of cyber-physical systems. To ensure the quality of the developed models, there are…

  109. This is not sustainable
    USlobste.rs

    Comments

  110. Git for US Legislation
    USHacker News Front Page

    Article URL: https://lexifina.com/blog/git-for-the-us-code Comments URL: https://news.ycombinator.com/item?id=50268380 Points: 406 # Comments: 213

  111. Reminder: Lobsters NYC Meetup Tomorrow 5:30 at Walker's
    USlobste.rs

    Follow up on: https://lobste.rs/s/73ozwc/lobsters_nyc_meetup_on_28th_october Under "Alex". Feel free to come a bit later or earlier. I'll write here updating if we move etc. Walker's is by the Canal St. metro stop…