AX·NEWS
Sign in

Software Engineering

Software Engineering news — Thursday 08 October 2026

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

Open in the live feedRSS feedOn a TV

  1. OpenAI, the Partition Principle, and Mathematics
    USHacker News Front Page

    Article URL: https://karagila.org/2026/openai-pp/ Comments URL: https://news.ycombinator.com/item?id=50013902 Points: 178 # Comments: 270

  2. Bevy 0.20
    USlobste.rs

    Comments

  3. Bevy 0.20
    USHacker News Front Page

    Article URL: https://bevy.org/news/bevy-0-20/ Comments URL: https://news.ycombinator.com/item?id=50013610 Points: 144 # Comments: 26

  4. Rolling the Root Key (Update)
    USlobste.rs

    Comments

  5. Demoting i686 Windows targets to std-only
    USlobste.rs

    Comments

  6. AI-ready biological data: $1.8B global commitment
    USHacker News Front Page

    Article URL: https://biohub.org/news/virtual-biology-initiative-expansion/ Comments URL: https://news.ycombinator.com/item?id=50011999 Points: 138 # Comments: 20

  7. ADHD as a circadian rhythm disorder: evidence and implications for chronotherapy (2025)
    USHacker News Front Page

    Article URL: https://www.frontiersin.org/journals/psychiatry/articles/10.3389/fpsyt.2025.1697900/full Comments URL: https://news.ycombinator.com/item?id=50011928 Points: 351 # Comments: 227

  8. Production-grade LLMs and agents: a field guide
    USStack Overflow Blog

    A maturity model for taking agents from an impressive demo to a system people can depend on — with a self-assessment and the map to a deep-dive on each layer.

  9. Part 5: Operating an LLM system: observability, cost, routing, and the platform underneath
    USStack Overflow Blog

    Your service can be 100% up and still quietly approving the wrong things, burning its budget, or failing over into untested quality. Level 5 is the infrastructure that lets you see your decisions, bound your spend, route and fail over…

  10. 64-Day Certificate Lifetimes Coming Feb 2027
    USlobste.rs

    Comments

  11. The value of not getting to the point (2015)
    USHacker News Front Page

    Article URL: https://ken.arneson.name/2015/11/the-value-of-not-getting-to-the-point/ Comments URL: https://news.ycombinator.com/item?id=50010470 Points: 221 # Comments: 75

  12. Composition over Inheritance Explained using Retro Games
    USlobste.rs

    Comments

  13. Theranos.world
    USHacker News Front Page

    Article URL: https://www.theranos.world/ Comments URL: https://news.ycombinator.com/item?id=50009295 Points: 543 # Comments: 199

  14. Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
    USlobste.rs

    Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this process, an AI system translates the text…

  15. Whistle: Speech to Text in 16.9 MB
    USHacker News Front Page

    Article URL: https://cactuscompute.com/blog/whistle Comments URL: https://news.ycombinator.com/item?id=50008427 Points: 911 # Comments: 176

  16. OpenAI annualised revenues $20B less than previously signalled
    USHacker News Front Page

    Article URL: https://www.cnbc.com/2026/10/08/open-ai-revenue-nvidia-oracle-coreweave.html Comments URL: https://news.ycombinator.com/item?id=50008187 Points: 309 # Comments: 197

  17. Show HN: Making a flexible "neon" t-shirt with LED filaments
    USHacker News Front Page

    Article URL: http://scottbezek.blogspot.com/2026/10/making-flexible-neon-t-shirt-with-leds.html Comments URL: https://news.ycombinator.com/item?id=50008047 Points: 200 # Comments: 36

  18. Step 5 Preview, a 1M-context MoE from StepFun, shows up on OpenRouter
    USHacker News Front Page

    Article URL: https://openrouter.ai/stepfun/step-5-preview Comments URL: https://news.ycombinator.com/item?id=50007764 Points: 133 # Comments: 32

  19. 4-hour battery storage is cheaper to install than gas turbines all across globe
    USHacker News Front Page

    Article URL: https://www.solarpowerworldonline.com/2026/10/4-hour-battery-storage-is-cheaper-to-install-than-gas-turbines-all-across-globe/ Comments URL: https://news.ycombinator.com/item?id=50007519 Points: 158 # Comments: 81

  20. US Suspends Visa Program for Tech Firms Including Microsoft
    USHacker News Front Page

    Article URL: https://apnews.com/article/h1b-visa-program-vance-microsoft-e7b3a407f822702b269ee277d21343ea Comments URL: https://news.ycombinator.com/item?id=50006832 Points: 788 # Comments: 1361

  21. The history of the Hetzner Cloud network stack
    USlobste.rs

    Comments

  22. Beauty in DVD Menus
    USlobste.rs

    Comments

  23. The Missing Piece in Rust Error Handling
    USlobste.rs

    Comments

  24. Show HN: I've been paying for a rural Tanzanian's education for 10 years
    USHacker News Front Page

    Ten years ago I was 19 and traveling through East Africa, and I spent a summer in Ibumila, a village in the Njombe highlands of Tanzania. There's no school in the village. The nearest one is a boarding school an hour away that costs a few…

  25. Orkut.com
    USHacker News Front Page

    Article URL: https://orkut.com/ Comments URL: https://news.ycombinator.com/item?id=50006012 Points: 184 # Comments: 133

  26. A green exit code is not evidence that the work happened
    USStack Overflow Blog

    Agents don't build trust for another reason, structurally worse than the first. It isn't only that the tool keeps changing shape. It's that the feedback loop you would need in order to learn the tool is broken at the point of measurement.

  27. C for Rust programmers
    USHacker News Front Page

    Article URL: https://bd103.dev/blog/2026-10-07-c-for-rust-programmers/ Comments URL: https://news.ycombinator.com/item?id=50005743 Points: 148 # Comments: 147

  28. Beauty in DVD Menus
    USHacker News Front Page

    Article URL: https://vale.rocks/posts/dvd-menus Comments URL: https://news.ycombinator.com/item?id=50005527 Points: 325 # Comments: 171

  29. Extending Guix
    USlobste.rs

    Comments

  30. Ending the Casuarina Linux Experiment
    USlobste.rs

    Comments

  31. Thinking will become a hobby
    USlobste.rs

    Comments

  32. `specialArgs` considered harmful
    USlobste.rs

    Comments

  33. I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities
    USHacker News Front Page

    Article URL: https://quesma.com/blog/invisible-cities-one-shot/ Comments URL: https://news.ycombinator.com/item?id=50004790 Points: 336 # Comments: 172

  34. The Performance Cost of RwLock in Our Read-Heavy Workload
    USlobste.rs

    Comments

  35. Anne Carson wins Nobel Prize in literature 2026
    USHacker News Front Page

    Article URL: https://www.theguardian.com/books/2026/oct/08/wins-the-nobel-prize-in-literature-2026 Comments URL: https://news.ycombinator.com/item?id=50004777 Points: 126 # Comments: 27

  36. Shopify went back to native. I think the bigger shift is formal verification
    USlobste.rs

    Comments

  37. SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA
    USlobste.rs

    Comments

  38. Migrating Git repos to SHA-256
    USlobste.rs

    Comments

  39. Yes, and
    USHacker News Front Page

    Article URL: https://htmx.org/essays/yes-and/ Comments URL: https://news.ycombinator.com/item?id=50003796 Points: 727 # Comments: 285

  40. Gentoo infrastructure sponsors wanted
    USlobste.rs

    Comments

  41. Show HN: Proton Drive for Linux
    USHacker News Front Page

    Hello everyone, I wanted to share this small project that I have. It's born out of a necessity that I had, because Proton doesn't ship a Linux version of the drive yet (it's apparently coming out later this year but who knows?) and all the…

  42. Beyond the ＆
    USlobste.rs

    Comments

  43. jujutsu (jj) 0.46.0
    USlobste.rs

    Comments

  44. The Goose Programming Language
    USlobste.rs

    "A memory-safe systems language with no heap allocator, garbage collector, or lifetime annotations. In this repository's benchmarks, Goose runs faster than C++ and Rust while using less memory." Comments

  45. Property Testing with Agent Swarms
    USlobste.rs

    Comments

  46. The people holding up the internet
    USlobste.rs

    Comments

  47. OpenAI Withdraws 3 Math Papers
    USHacker News Front Page

    Article URL: https://github.com/openai/math/blob/main/history.md Comments URL: https://news.ycombinator.com/item?id=50003107 Points: 303 # Comments: 281

  48. I've Been Deindexed by Google
    USlobste.rs

    Comments

  49. How can undefined opcodes ud0 and ud1 have parameters?
    USlobste.rs

    Comments

  50. I think I found a planet nobody knew existed. I used Claude Code to find it
    USHacker News Front Page

    Article URL: https://www.reddit.com/r/ClaudeAI/s/mbe5IY2LF9 Comments URL: https://news.ycombinator.com/item?id=50002665 Points: 222 # Comments: 108

  51. OpenAI withdraws three mathematical results
    USHacker News Front Page

    https://github.com/openai/math/blob/main/history.md Comments URL: https://news.ycombinator.com/item?id=50002650 Points: 355 # Comments: 593

  52. Classic PC demoscene productions running natively in the browser
    USHacker News Front Page

    Article URL: https://treylorswift.github.io/demoscene-recomp/web/ Comments URL: https://news.ycombinator.com/item?id=50002426 Points: 117 # Comments: 103

  53. A rant about APIs
    USlobste.rs

    Comments

  54. Clojure in the Age of Language Models
    USlobste.rs

    Comments

  55. “Math 2.0” will need to value mathematical progress more holistically
    USHacker News Front Page

    Article URL: https://mathstodon.xyz/@tao/117395269325940185 Comments URL: https://news.ycombinator.com/item?id=50002008 Points: 568 # Comments: 581

  56. Fast Atomicity Monitoring
    USarXiv cs.PL (Programming)

    arXiv:2604.11369v2 Announce Type: replace Abstract: Atomicity is a fundamental abstraction in concurrency, specifying that program behavior can be understood by considering specific code blocks executing atomically. However, atomicity…

  57. Beyond FAIR: A Fitness Function Framework for Sustainable Research Software
    USarXiv cs.SE (Software)

    arXiv:2610.09580v1 Announce Type: new Abstract: Research software sustainability is often assessed through the FAIR principles: findability, accessibility, interoperability and reusability. While important, FAIR does not cover all relevant…

  58. Analysis and Visualization of the Linux Kernel's Software Evolution Using the City Metaphor
    USarXiv cs.SE (Software)

    arXiv:2610.09910v1 Announce Type: new Abstract: The Linux kernel is one of the largest and longest-maintained open source projects in existence. With more than 40 million lines of code, understanding the kernel's internal structure and…

  59. Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
    USarXiv cs.SE (Software)

    arXiv:2602.04892v2 Announce Type: replace-cross Abstract: Ensuring that API implementations and usage comply with natural language programming rules is critical for software correctness, security, and reliability. Formal verification can…

  60. Psychological Safety in Software Engineering Teams: A Systematic Mapping Study of Team Processes and Performance
    USarXiv cs.SE (Software)

    arXiv:2610.08896v1 Announce Type: new Abstract: Context: Psychological safety is an important human and behavioral factor in software development teams, supporting collaboration, knowledge sharing, interpersonal risk-taking, and learning…

  61. Why Software Engineering Is Indispensable in the Age of Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.10226v1 Announce Type: new Abstract: Can AI make Software Engineering (SE) -- the discipline -- obsolete? And can it make software engineers -- the professionals -- redundant? This paper argues that the rise of capable AI coding…

  62. Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification
    USarXiv cs.SE (Software)

    arXiv:2610.09681v1 Announce Type: cross Abstract: Program verification establishes software correctness through machine-checkable proofs constructed in theorem provers. It's a guarantee especially valuable for code generated by large…

  63. Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach
    USarXiv cs.SE (Software)

    arXiv:2610.09817v1 Announce Type: cross Abstract: Cyber resiliency in edge-IoT deployments is fundamentally an economic problem: detection must keep critical processes operating under attack, but defender resources (compute, bandwidth…

  64. OOM-RL II: Reality Is an Oracle, Not a Debugger Provenance-Constrained Diagnosis in Continually Evolving Agent-Engineered Systems
    USarXiv cs.SE (Software)

    arXiv:2610.10256v1 Announce Type: cross Abstract: Reality may establish that an outcome occurred without identifying which evolving procedure produced it or why. This distinction matters in production ML systems whose code, configuration…

  65. Input-Blind Controls Produce Substantial Oracle Headroom for Layer Programs in Multiple-Choice Evaluation
    USarXiv cs.SE (Software)

    arXiv:2610.10368v1 Announce Type: cross Abstract: Adaptive computation aims to improve language-model inference by tailoring execution to each input. For layer programs, oracle evaluations use known answers to estimate the potential gain…

  66. Before They Can Solve: Predicting Post-Training Coding-Agent Performance from Base Models
    USarXiv cs.SE (Software)

    arXiv:2610.10478v1 Announce Type: cross Abstract: How can we predict which base checkpoint is worth an expensive round of agentic post-training? End-to-end pass@$K$ tests whether successful behavior already appears in a base model's…

  67. SEER: Self-Enhancing Chain-of-Thought Compression for Reasoning Models
    USarXiv cs.SE (Software)

    arXiv:2509.14093v3 Announce Type: replace Abstract: Chain-of-Thought (CoT) prompting can substantially improve the reasoning ability of large language models (LLMs), but it often comes with high inference cost due to long and poorly…

  68. OOM-RL: Out-of-Money Reinforcement Learning Market-Driven Alignment for LLM-Based Multi-Agent Systems
    USarXiv cs.SE (Software)

    arXiv:2604.11477v2 Announce Type: replace-cross Abstract: The alignment of Multi-Agent Systems (MAS) for autonomous software engineering is constrained by evaluator epistemic uncertainty. Current paradigms, such as Reinforcement Learning…

  69. The Impact of Operational-Data Fidelity when Assessing Safety-Critical Autonomous-Vehicle Software
    USarXiv cs.SE (Software)

    arXiv:2608.10025v2 Announce Type: replace-cross Abstract: For safety-critical software, operational data (e.g. sequences of software successes and failures) can provide strong statistical support for reliability claims. However…

  70. Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification
    USarXiv cs.PL (Programming)

    arXiv:2610.09681v1 Announce Type: cross Abstract: Program verification establishes software correctness through machine-checkable proofs constructed in theorem provers. It's a guarantee especially valuable for code generated by large…

  71. Knowledge boundary probing and demand-guided intervention for LLM-based power system code generation
    USarXiv cs.SE (Software)

    arXiv:2605.31478v2 Announce Type: replace Abstract: Large language models (LLMs) can turn grid-analysis requests into executable programs for power-system simulation, but utilities and research laboratories often require on-premise…

  72. Large-scale Repository Engineering via Agent-Native Reusable Code Primitives
    USarXiv cs.SE (Software)

    arXiv:2610.09079v1 Announce Type: new Abstract: Large language models equipped with development environments have moved code generation toward repository-scale construction, yet building complete repositories remains difficult because…

  73. Designing Collaborative AI-Driven Workflows for Scientific Software Engineering
    USarXiv cs.SE (Software)

    arXiv:2610.09995v1 Announce Type: new Abstract: Agentic artificial intelligence systems can carry out a broad range of tasks in software engineering and scientific research, from writing and translating code to running workflows for data…

  74. Evaluating Change Point Detection Methods for Software Performance Regression Analysis
    USarXiv cs.SE (Software)

    arXiv:2610.09023v1 Announce Type: new Abstract: Performance issues in software systems are a critical quality issue that can erode user trust, violate service-level agreements, and ultimately affect business efficiency. Consequently…

  75. Using Small Language Models to Reverse-Engineer Machine Learning Pipelines Structures
    USarXiv cs.SE (Software)

    arXiv:2610.10261v1 Announce Type: new Abstract: Context: Once defined a taxonomy of stages structuring Machine Learning (ML) pipelines (e.g. Data Preprocessing, Modeling...), extracting these stages from source code is key for better…

  76. QuSema: Detecting Silent Bugs in Quantum Libraries via Quantum-knowledge-enhanced Agents
    USarXiv cs.SE (Software)

    arXiv:2610.10258v1 Announce Type: new Abstract: Quantum libraries are now critical infrastructure for quantum algorithm development, yet their correctness remains difficult to test. Existing testing techniques mainly rely on failure-based…

  77. Automatically Detecting and Fixing Deadlocks in Go Code with GoDDaR
    USarXiv cs.SE (Software)

    arXiv:2610.08962v1 Announce Type: cross Abstract: The Go programming language provides a lightweight abstraction for concurrent programming through goroutines, which are prone to deadlocks. Go includes a runtime detector that aborts…

  78. Did You Forkget It? Detecting One-Day Vulnerabilities in Open-source ForksWith Global History Analysis
    USarXiv cs.SE (Software)

    arXiv:2511.05097v3 Announce Type: replace-cross Abstract: Tracking vulnerabilities inherited from third-party open-source software is a well-known challenge, often addressed by tracing the threads of dependency information. However…

  79. How Fragile Is On-Device Language Model Safety? Localizing Safety-Critical Parameters for Sparse Fault Analysis
    USarXiv cs.SE (Software)

    arXiv:2610.09000v1 Announce Type: cross Abstract: As small language models (SLMs) are increasingly deployed on resource-constrained and on-device platforms, including as components of agentic systems, the integrity of locally stored model…

  80. Comprehension Audits to Mitigate Risks from Automated AI Research
    USarXiv cs.SE (Software)

    arXiv:2610.10064v1 Announce Type: cross Abstract: AI is already writing a majority of code for frontier AI labs. This creates a safety risk if there is insufficient human oversight. Existing work proposes minimum comprehension thresholds…

  81. huff: A Python package for Market Area Analysis
    USarXiv cs.SE (Software)

    arXiv:2602.17640v5 Announce Type: replace-cross Abstract: Market area models, such as the Huff Model and its extensions, are used to estimate regional market shares and customer flows of retail and service locations. In health geography…

  82. TorchGWAS 1.0: GPU-accelerated GWAS at scale
    USarXiv cs.SE (Software)

    arXiv:2604.21095v2 Announce Type: replace-cross Abstract: Imaging, molecular, and machine-learning workflows can generate thousands of quantitative phenotypes in a single cohort, creating substantial computational and output bottlenecks…

  83. Certified Splitting: Decidability and Anchor Supply for Maximal-Munch Tokenization
    USarXiv cs.PL (Programming)

    arXiv:2610.08854v1 Announce Type: cross Abstract: A certificate is a window of bytes with an origin inside it: wherever the window occurs in a completely tokenizable input, the token covering the window's final byte begins at that origin…

  84. Insights Generator: Systematic Corpus-Level Trace Diagnostics for LLM Agents
    USarXiv cs.SE (Software)

    arXiv:2605.21347v4 Announce Type: replace-cross Abstract: Diagnosing failures in LLM agents remains largely manual. Practitioners inspect a small subset of execution traces, form ad-hoc hypotheses, and iterate. This process misses patterns…

  85. AgentTracer: Tracing Indirect Prompt Injection Attack through Fine-Grained Intention-Execution Alignment
    USarXiv cs.SE (Software)

    arXiv:2610.09935v1 Announce Type: new Abstract: Large language model (LLM) agents interact with external resources to complete complex user tasks, exposing them to indirect prompt injection (IPI), where malicious instructions redirect…

  86. Agentic AI-Assisted Modeling for Production Scheduling: Assessment in Constraint Programming
    USarXiv cs.SE (Software)

    arXiv:2610.10184v1 Announce Type: cross Abstract: Developing optimization models for production scheduling requires substantial expert effort. Research on large language models (LLMs) has followed two directions: specialized approaches for…

  87. TestGRAD: Evolving Test Suites via Failure Pattern Momentum for SWE-Agent Ensemble
    USarXiv cs.SE (Software)

    arXiv:2610.10242v1 Announce Type: new Abstract: SWE-agent ensembles improve issue resolution by combining candidate patches from different agents with complementary strengths. The central problem is therefore test-based selection: generate…

  88. Automatically Detecting and Fixing Deadlocks in Go Code with GoDDaR
    USarXiv cs.PL (Programming)

    arXiv:2610.08962v1 Announce Type: new Abstract: The Go programming language provides a lightweight abstraction for concurrent programming through goroutines, which are prone to deadlocks. Go includes a runtime detector that aborts…

  89. SpecGuard: Proving a Task Is Broken Before the Agent Cheats
    USarXiv cs.SE (Software)

    arXiv:2610.09159v1 Announce Type: cross Abstract: As autonomous coding agents get increasingly deployed, the risk that accidental or adversarially injected misspecifications in tasks lead to dangerous agent behavior is critical to address…

  90. On the Reliability of LLM-Based Vulnerability Patching Benchmarks
    USarXiv cs.SE (Software)

    arXiv:2610.10150v1 Announce Type: cross Abstract: Large language models (LLMs) have shown strong potential for automated vulnerability patching, but current benchmarks can substantially distort reported performance. Drawing on extensive…

  91. SWE-NFI: Studying and Benchmarking Coding Agents for Non-Functional Improvements
    USarXiv cs.SE (Software)

    arXiv:2607.27409v2 Announce Type: replace Abstract: Although coding agents have achieved impressive performance on correctness-oriented benchmarks, their ability to make behavior-preserving non-functional improvements (NFIs) remains…

  92. Modular Responsiveness Verification of Rust Async Runtimes
    USarXiv cs.PL (Programming)

    arXiv:2610.09198v1 Announce Type: new Abstract: Asynchronous (async) programming is a popular paradigm for managing concurrency. Languages that provide async support typically have a runtime to manage asynchronous executions. These…

  93. WarpDRF: The Unwritten Contract of GPU Warp Programming
    USarXiv cs.PL (Programming)

    arXiv:2610.07541v2 Announce Type: replace Abstract: Warp primitives such as tensor core operations, shuffles, reductions, and barriers are critical to high-performance GPU kernels, and every major GPU language supports some set of them…

  94. Who Broke Me? Execution-Guided Repair of Behavioral Dependency Breaks
    USarXiv cs.SE (Software)

    arXiv:2610.09267v1 Announce Type: new Abstract: Dependency upgrades can break downstream projects without changing the library interface. Such behavioral breaking changes are difficult for developers to fix, because the failing test does…

  95. When Double Rounding is Correct
    USarXiv cs.PL (Programming)

    arXiv:2610.09005v1 Announce Type: new Abstract: Number libraries, which implement number formats and their arithmetic in software, are used to simulate hardware, making hardware behavior reproducible and thus verifiable and easier to…

  96. Mitigating Uncertainty Interactions in GenAI-based Adaptive Systems: Vision, Challenges and Preliminary Guidelines
    USarXiv cs.SE (Software)

    arXiv:2610.08881v1 Announce Type: new Abstract: Modern software-intensive systems increasingly incorporate GenAI components, including LLM and agentic subsystems, which introduce novel and compounding sources of uncertainty across system…

  97. From Verification Failures to Reusable Guidance for Coding Agents
    USarXiv cs.PL (Programming)

    arXiv:2609.39022v3 Announce Type: replace-cross Abstract: Coding agents need to establish that a program satisfies a specification and that the specification captures the requested behavior. We study how expert diagnosis of verification…

  98. Design-Time Conformance Checking for Pulse-Level Quantum Control
    USarXiv cs.SE (Software)

    arXiv:2610.10427v1 Announce Type: cross Abstract: A pulse-level quantum control program is written against a device whose limits are recorded, if at all, in vendor documentation and source code. A program that exceeds them can be refused…

  99. GRAML: Graph-Grounded Reasoning and Multi-Task Learning for LLM-Based Software Vulnerability Detection
    USarXiv cs.SE (Software)

    arXiv:2610.09605v1 Announce Type: new Abstract: Large Language Models (LLMs) have been widely applied to software vulnerability detection. However, their performance is often limited by insufficient use of control-flow and data-flow…

  100. A Chat Assistant for Software Exploration in a 3D Software Visualization
    USarXiv cs.SE (Software)

    arXiv:2610.09901v1 Announce Type: new Abstract: We present a chat assistant for interactive software exploration, embedded in the 3D software visualization tool ExplorViz. The assistant builds upon current Large Language Models (LLMs) and…

  101. From Verification Failures to Reusable Guidance for Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2609.39022v3 Announce Type: replace Abstract: Coding agents need to establish that a program satisfies a specification and that the specification captures the requested behavior. We study how expert diagnosis of verification failures…

  102. Finding Blind Spots in AppWorld and WorkArena Task Verifiers
    USarXiv cs.SE (Software)

    arXiv:2610.09142v1 Announce Type: cross Abstract: Execution-based task verifiers decide whether an agent succeeded. We audit shipped AppWorld and WorkArena verifiers with source-informed mutation tests. The main audit never modifies a…

  103. When Sub-Agents Work in Parallel: The Promises and Pitfalls of Dynamic Concurrency in Long-Horizon Coding Tasks
    USarXiv cs.SE (Software)

    arXiv:2610.10263v1 Announce Type: new Abstract: As coding agents advance from bounded software engineering tasks toward long horizon development, dynamic concurrency offers a promising way to scale complex development tasks. Under this…

  104. TaoD2C-Bench: Benchmarking MLLMs for Industrial UI Code Generation Beyond Visual Fidelity
    USarXiv cs.SE (Software)

    arXiv:2610.10374v1 Announce Type: new Abstract: A key challenge for multimodal large language models (MLLMs) is moving beyond visual recognition to constraint-aware cross-modal reasoning. This involves combining visual cues with…

  105. PreMaQ: Predicting Maintainability-Related Quality of LLM-Generated Code Before Generation
    USarXiv cs.SE (Software)

    arXiv:2610.05858v2 Announce Type: replace Abstract: As large language models (LLMs) become increasingly capable of code generation, adopting generated code in software development requires assessing not only its functional correctness but…

  106. AdaT$^2$: Adaptive Test Transformations for Black-Box Boundary Testing of Conversational Agents
    USarXiv cs.SE (Software)

    arXiv:2610.10141v1 Announce Type: new Abstract: Conversational agents based on large language models (LLMs) must comply with policies. Each condition in a policy draws a boundary between user requests, and the agent must behave differently…

  107. RAPO-Sol: Retrieval-Augmented Preference Optimization for Repository-Level Solidity Code Generation
    USarXiv cs.SE (Software)

    arXiv:2610.08429v2 Announce Type: replace Abstract: Smart contracts written in Solidity manage assets, permissions, and irreversible state changes, making code generation both useful and security-critical. Repository-level Solidity…

  108. Coding-Agent Benchmarks Should Match Their Users' Task Flows
    USarXiv cs.SE (Software)

    arXiv:2610.09633v1 Announce Type: cross Abstract: The evaluation of coding agents generally strives to be as realistic as possible. In our study, we collect 4,782 agent sessions of real software engineers in JetBrains IDEs, which we call…

  109. CYBERFORT: A Compliance-Chain Platform Operationalising the Cyber Resilience Act for SMEs
    USarXiv cs.SE (Software)

    arXiv:2610.09918v1 Announce Type: cross Abstract: The EU Cyber Resilience Act (CRA) turns product cybersecurity into a lifecycle compliance obligation for manufacturers, importers, distributors, and integrators of products with digital…

  110. Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
    USarXiv cs.PL (Programming)

    arXiv:2602.04892v2 Announce Type: replace Abstract: Ensuring that API implementations and usage comply with natural language programming rules is critical for software correctness, security, and reliability. Formal verification can provide…

  111. Monte-Carlo simulations
    USlobste.rs

    Comments

  112. On using AI as a writing assistant
    USlobste.rs

    Some people are using AI for writing assistance, but not everyone is using it the same way. If you were always bad at something, I don't think AI makes you better at it; in fact, it may even amplify your inadequacies, and anything you…

  113. US man given prison sentence for bot-farming music streams
    USHacker News Front Page

    https://www.justice.gov/usao-sdny/pr/north-carolina-man-sent... Comments URL: https://news.ycombinator.com/item?id=50000985 Points: 144 # Comments: 231

  114. Why isn't the industry freaking out about DeepSeek 4.1 Flash?
    USHacker News Front Page

    Article URL: https://www.dgt.is/blog/2026-10-07-deepseek-freek-out/ Comments URL: https://news.ycombinator.com/item?id=50000488 Points: 1062 # Comments: 933