AX·NEWS
Sign in

Software Engineering

Software Engineering news — Friday 16 October 2026

96 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. 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

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

    Comments

  11. 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

  12. 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

  13. 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

  14. 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

  15. Getting Canceled
    USlobste.rs

    Comments

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

    Comments

  17. 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

  18. Introducing GNOME OS Preview
    USlobste.rs

    Comments

  19. 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

  20. 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

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

    Comments

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

    Comments

  23. 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

  24. 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

  25. /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

  26. Thirty Years of KDE
    USlobste.rs

    Comments

  27. 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

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

    Comments

  29. 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

  30. 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

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

    Comments

  32. 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

  33. 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

  34. 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

  35. 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…

  36. 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

  37. "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

  38. 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…

  39. 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

  40. The road to iroh 1.0
    USlobste.rs

    Comments

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

    Comments

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

    Comments

  43. 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…

  44. Writing stateful effect handlers in EYG
    USlobste.rs

    Comments

  45. Folders Esoteric Language
    USlobste.rs

    Comments

  46. 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!

  47. 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…

  48. Matt Mullenweg Orders Accessibility Revert
    USlobste.rs

    Comments

  49. 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

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

    Comments

  51. 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…

  52. 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…

  53. 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…

  54. 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…

  55. 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…

  56. 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…

  57. 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…

  58. 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…

  59. 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…

  60. 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…

  61. 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…

  62. 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…

  63. 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…

  64. 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…

  65. 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…

  66. 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…

  67. 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…

  68. 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…

  69. 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…

  70. 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…

  71. 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…

  72. 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…

  73. 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…

  74. 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…

  75. 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…

  76. 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…

  77. 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…

  78. 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…

  79. 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…

  80. 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…

  81. 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…

  82. 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…

  83. 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…

  84. 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…

  85. 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…

  86. 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…

  87. 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…

  88. 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…

  89. 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…

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

    Comments

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

    Comments

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

    Comments

  93. 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

  94. 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

  95. 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

  96. 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