AX·NEWS
Sign in

Software Engineering

Software Engineering news — Thursday 15 October 2026

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

Open in the live feedRSS feedOn a TV

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

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

  2. Announcing Rust 1.99.1
    USlobste.rs

    Comments

  3. Laptop Based on 6502 CPU
    USHacker News Front Page

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

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

    Comments

  5. MCP standardized tools. Now we need the infrastructure around them.
    USStack Overflow Blog
  6. Why are we even doing all this?
    USHacker News Front Page

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

  7. About time
    USlobste.rs

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

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

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

  9. Forgejo v17.0 is available
    USlobste.rs

    Comments

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

    Comments

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

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

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

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

  13. E Ink Kaleido 4
    USHacker News Front Page

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

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

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

  15. Muse Spark Open
    USHacker News Front Page

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

  16. Religious Studies In Software Engineering
    USlobste.rs

    Comments

  17. Ultramarine 1 Flash
    USHacker News Front Page

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

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

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

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

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

  20. Jev Meets the Trolley Problem
    USHacker News Front Page

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

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

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

  22. Neural networks are clean
    USHacker News Front Page

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

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

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

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

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

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

    Comments

  26. My C23 Conventions
    USlobste.rs

    Comments

  27. How to Train Your Robot
    USHacker News Front Page

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

  28. Celebrating 70 Years of Fortran
    USHacker News Front Page

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

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

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

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

    Comments

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

    Comments

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

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

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

    Comments

  34. Remote Attestation Should Not Be Tolerated
    USlobste.rs

    Comments

  35. I know why Mathematicians weep
    USHacker News Front Page

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

  36. Sunsetting decomp.dev
    USlobste.rs

    Comments

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

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

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

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

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

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

  40. The Costa GUI
    USlobste.rs

    Comments

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

    Comments

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

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

  43. HOL Light Tutorial
    USlobste.rs

    Comments

  44. The geometric model of maintenance
    USlobste.rs

    Comments

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

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

  46. Microsoft Defender for Linux
    USlobste.rs

    Comments

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

    Comments

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

    Comments

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

    Comments

  50. Haxy on Haxy
    USlobste.rs

    Comments

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

    Comments

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

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

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

    Comments

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

    Comments

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Comments