AX·NEWS
Sign in

Software Engineering

Software Engineering news — Monday 05 October 2026

102 stories from 4 sources, every one in English. Each links to its publisher.

Open in the live feedRSS feedOn a TV

  1. Open Source as We Know It Is Dead
    USlobste.rs

    Comments

  2. How Cloudflare addressed a cross-tenant data exposure vulnerability in Containers
    USlobste.rs

    Comments

  3. Example.com just launched the biggest redesign in decades
    USHacker News Front Page

    Article URL: https://www.debugbear.com/blog/example-dot-com-redesign-history Comments URL: https://news.ycombinator.com/item?id=49971921 Points: 338 # Comments: 225

  4. ChatGPT is adding real cartoonists' signatures to fake New Yorker cartoons
    USHacker News Front Page

    Article URL: https://www.niemanlab.org/2026/10/chatgpt-is-adding-real-cartoonists-signatures-to-fake-new-yorker-cartoons/ Comments URL: https://news.ycombinator.com/item?id=49971846 Points: 464 # Comments: 339

  5. Friendship ended with Deno, now Node is my best friend
    USHacker News Front Page

    Article URL: https://dbushell.com/2026/10/03/deno-to-node/ Comments URL: https://news.ycombinator.com/item?id=49971719 Points: 300 # Comments: 228

  6. Texas city demands $2M for public records on Flock usage
    USHacker News Front Page

    Article URL: https://arstechnica.com/tech-policy/2026/10/texas-city-demands-2m-for-public-records-on-flock-usage/ Comments URL: https://news.ycombinator.com/item?id=49971523 Points: 183 # Comments: 28

  7. Find the flattest route between any two points in SF
    USHacker News Front Page

    Article URL: https://flattensf.com/ Comments URL: https://news.ycombinator.com/item?id=49971230 Points: 302 # Comments: 111

  8. Dust: Pretraining Transformers Without Backpropagation
    USHacker News Front Page

    Article URL: https://qlabs.sh/research/dust Comments URL: https://news.ycombinator.com/item?id=49970871 Points: 268 # Comments: 79

  9. Living off-grid: Hundred Rabbits
    USHacker News Front Page

    Article URL: https://100r.ca/site/home.html Comments URL: https://news.ycombinator.com/item?id=49970767 Points: 345 # Comments: 159

  10. Opus 5.5 agents discover two room-temperature magnetic semiconductor candidates
    USHacker News Front Page

    Article URL: https://www.vals.ai/blogs/room-temperature-magnetic-semiconductors Comments URL: https://news.ycombinator.com/item?id=49970667 Points: 458 # Comments: 308

  11. Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging
    USlobste.rs

    Comments

  12. Golang tool to check SPF, DKIM, TLSA, and TLS settings for mailservers
    USlobste.rs

    Yes, I admit, this is 100% vibecoded, but it scratches an itch i've had for a while. Seems to work for my usecases at this time, but might add some more features in the future. Comments

  13. Beam: Reflection's 501B open-weight model
    USHacker News Front Page

    Article URL: https://reflection.ai/blog/introducing-beam Comments URL: https://news.ycombinator.com/item?id=49969183 Points: 538 # Comments: 167

  14. How did Rosalind Franklin miss the helix in her iconic DNA image? She didn't
    USHacker News Front Page

    Paper: https://link.springer.com/article/10.1007/s10739-026-09866-7 Comments URL: https://news.ycombinator.com/item?id=49969073 Points: 270 # Comments: 93

  15. Why Plain Text Is Still One of the Best Technologies We Have
    USHacker News Front Page

    Article URL: https://deadparrotbbs.com/why-plain-text-is-still-one-of-the-best-technologies-we-have/ Comments URL: https://news.ycombinator.com/item?id=49968906 Points: 134 # Comments: 61

  16. spoonful: static site generator written in Nix
    USlobste.rs

    Comments

  17. Async Rust: Where does the scheduler live?
    USlobste.rs

    Comments

  18. You don't need an effect system
    USlobste.rs

    Comments

  19. OpenAI "rogue" agent activities found on Wikimedia projects
    USHacker News Front Page

    Article URL: https://diff.wikimedia.org/2026/10/05/openai-rogue-agent-activities-found-on-wikimedia-projects/ Comments URL: https://news.ycombinator.com/item?id=49968105 Points: 224 # Comments: 159

  20. Gleam doesn't compile to Erlang source anymore
    USlobste.rs

    Comments

  21. US closely monitoring case of lab worker who possibly died of plague in Siberia
    USHacker News Front Page

    Article URL: https://www.theguardian.com/world/2026/oct/05/russia-lab-worker-possibly-dies-of-plague-siberia-quarantine-measures-irkutsk Comments URL: https://news.ycombinator.com/item?id=49967444 Points: 186 # Comments: 175

  22. Benchmark in Milliseconds
    USHacker News Front Page

    Article URL: https://matklad.github.io/2026/10/05/benchmark-milliseconds.html Comments URL: https://news.ycombinator.com/item?id=49967427 Points: 134 # Comments: 42

  23. What are you doing this week?
    USlobste.rs

    What are you doing this week? Feel free to share! Keep in mind it’s OK to do nothing at all, too.

  24. The future of independence is interdependence
    USHacker News Front Page

    Article URL: https://onlys.ky/independence-is-interdependence/ Comments URL: https://news.ycombinator.com/item?id=49966163 Points: 129 # Comments: 86

  25. Mold 3.0.0 Released
    USlobste.rs

    Comments

  26. Making a GTK application in Haskell, part 1
    USHacker News Front Page

    Article URL: https://floreal.tech/blog/2026/making-a-gtk-app-in-haskell-part-1/ Comments URL: https://news.ycombinator.com/item?id=49965308 Points: 162 # Comments: 45

  27. Making a GTK application in Haskell, part 1
    USlobste.rs

    Comments

  28. The lamps in my house
    USHacker News Front Page

    Article URL: https://arslan.io/2026/10/05/the-lamps-in-my-house/ Comments URL: https://news.ycombinator.com/item?id=49965152 Points: 300 # Comments: 112

  29. Linux containers in 500 lines of code (2016)
    USHacker News Front Page

    Article URL: https://blog.lizzie.io/linux-containers-in-500-loc.html Comments URL: https://news.ycombinator.com/item?id=49965118 Points: 113 # Comments: 23

  30. Nix on the Steam Frame
    USlobste.rs

    Comments

  31. Another step towards elm v1
    USlobste.rs

    Comments

  32. Pixel 11 doesn't yet meet the GrapheneOS security standards and may be skipped
    USHacker News Front Page

    Article URL: https://discuss.grapheneos.org/d/41564-pixel-11-doesnt-yet-meet-the-grapheneos-security-standards-and-may-be-skipped Comments URL: https://news.ycombinator.com/item?id=49964303 Points: 379 # Comments: 212

  33. Hooking into the Go Toolchain
    USlobste.rs

    Comments

  34. Factor Overview
    USlobste.rs

    Comments

  35. Ephemeral testing
    USlobste.rs

    Comments

  36. Mold Linker Version 3.0.0 Release – Rewritten in Rust
    USHacker News Front Page

    Article URL: https://github.com/rui314/mold/releases/tag/v3.0.0 Comments URL: https://news.ycombinator.com/item?id=49963385 Points: 213 # Comments: 129

  37. Europe's new robotics unicorn: Germany's RobCo hits $1B valuation
    USHacker News Front Page

    Article URL: https://techfundingnews.com/europes-new-robotics-unicorn-germanys-robco-hits-1b-valuation/ Comments URL: https://news.ycombinator.com/item?id=49963366 Points: 318 # Comments: 296

  38. Web Search API
    USHacker News Front Page

    Article URL: https://developers.cloudflare.com/changelog/post/2026-10-02-introducing-web-search-api/ Comments URL: https://news.ycombinator.com/item?id=49963171 Points: 568 # Comments: 265

  39. Reverse Engineering Comanche Terrain Maps
    USlobste.rs

    Comments

  40. We ported the original Doom to SQL
    USlobste.rs

    Comments

  41. Apple and a Hacker's Future
    USHacker News Front Page

    Article URL: https://stratechery.com/2026/apple-and-a-hackers-future/ Comments URL: https://news.ycombinator.com/item?id=49962857 Points: 265 # Comments: 226

  42. Friendship ended with Deno, now Node is my best friend
    USlobste.rs

    Comments

  43. A new, bespoke static site generator to replace Jekyll
    USlobste.rs

    Comments

  44. Using docker-compose with Podman rootless
    USlobste.rs

    Comments

  45. Flirt is now Open-Source
    USlobste.rs

    Comments

  46. 2026 Nobel Prize in Physiology or Medicine: Deisseroth, Hegemann, Nagel
    USHacker News Front Page

    https://www.nobelprize.org/prizes/medicine/2026/press-releas... Comments URL: https://news.ycombinator.com/item?id=49962572 Points: 104 # Comments: 41

  47. Tufte's Razor: an interactive guide to the data-ink ratio
    USlobste.rs

    Comments

  48. Denmark Data Breach Exposes 8.8M People's Personal Data
    USHacker News Front Page

    Article URL: https://www.cpr.dk/cpr-nyt/nyhedsarkiv/2026/okt/omfattende-uautoriseret-adgang-til-borgeres-cpr-oplysninger Comments URL: https://news.ycombinator.com/item?id=49962012 Points: 443 # Comments: 317

  49. Becoming a photographer
    USlobste.rs

    Comments

  50. Huawei and Qualcomm Announce Broad Patent License Agreement
    USHacker News Front Page

    https://archive.ph/Axpbl https://www.huawei.com/en/news/2026/10/qualcomm-broad-patent... Comments URL: https://news.ycombinator.com/item?id=49961861 Points: 196 # Comments: 126

  51. From: anyone@icloud.com - Spoofing Arbitrary Apple iCloud Identities
    USlobste.rs

    Comments

  52. You're Leaving Compute on the Table
    USlobste.rs

    Comments

  53. Anthropic reported diary entry to police, woman faces felony charge
    USHacker News Front Page

    Article URL: https://www.techspot.com/news/114091-florida-woman-used-claude-diary-anthropic-reported-shoot.html Comments URL: https://news.ycombinator.com/item?id=49961057 Points: 684 # Comments: 529

  54. RIP, vector database
    USlobste.rs

    Comments

  55. Claude Says
    USlobste.rs

    Comments

  56. Implementing Undo - Computerphile
    USlobste.rs

    Comments

  57. Broadcasting conglomerates are attempting a takeover of over-the-air television. We must defend it
    USlobste.rs

    Comments

  58. Jenesis
    USlobste.rs

    Comments

  59. VeriPy Source-Preserving Verification and Compatibility Checking for Python Components
    USarXiv cs.SE (Software)

    arXiv:2610.02814v1 Announce Type: new Abstract: Keeping a Python program and its formal guarantees aligned is a continuing maintenance problem. Specifications must describe the implementation that actually runs, and updates must preserve…

  60. The EmpathiSEr: Development and Validation of Software Engineering Oriented Empathy Scales
    USarXiv cs.SE (Software)

    arXiv:2510.12546v2 Announce Type: replace Abstract: Empathy plays a critical role in software engineering (SE), for instance in situations where developers interpret non-technical users' frustration with system usability or where product…

  61. Coco: An Agentic Copilot for the Hardware--Software Co-Design Lifecycle
    USarXiv cs.PL (Programming)

    arXiv:2610.02376v1 Announce Type: new Abstract: Co-designing ML models and the accelerators that run them is an unusual reasoning task: architects must draw confident, high-stakes conclusions about systems that do not yet exist, and the…

  62. SimuVerity: Benchmarking Agents for Engineering-Grade Simulink Model Generation
    USarXiv cs.SE (Software)

    arXiv:2610.02304v1 Announce Type: new Abstract: Existing Simulink benchmarks mainly evaluate whether generated models compile, execute, or resemble a reference model. These criteria do not establish whether a model satisfies its…

  63. BISCEPTER: Probability-Driven Bisection for Large-Scale System Software
    USarXiv cs.SE (Software)

    arXiv:2610.02995v1 Announce Type: new Abstract: Identifying the bug-inducing commit (BIC) is a fundamental step in regression debugging and a key input to emerging BIC-aware fault-localization pipelines. In practice, BICs are commonly…

  64. A Probabilistic Choreography Language for PRISM
    USarXiv cs.PL (Programming)

    arXiv:2503.08530v4 Announce Type: replace-cross Abstract: We present a choreographic framework for modelling and analysing concurrent probabilistic systems based on the PRISM model-checker. This is achieved through the development of a…

  65. Are you Synthesizing or Recalling? Evaluating LLMs on Algorithmic Code Retrieval
    USarXiv cs.PL (Programming)

    arXiv:2610.02438v1 Announce Type: cross Abstract: Large language models (LLMs) have demonstrated strong performance in code generation, where success depends on both recalling relevant algorithmic knowledge and reasoning about how to apply…

  66. OpenMP Meta-Lowering: A Declarative Approach to Performance Portable Parallel Code Generation
    USarXiv cs.PL (Programming)

    arXiv:2610.03571v1 Announce Type: new Abstract: The increasing diversity of parallel hardware challenges existing compilation flows. While OpenMP provides a portable abstraction for shared-memory parallelism, existing compilers tightly…

  67. Verify Before You Fix: Agentic Execution Grounding for Trustworthy Cross-Language Code Analysis
    USarXiv cs.PL (Programming)

    arXiv:2604.10800v2 Announce Type: replace-cross Abstract: Learned classifiers deployed in agentic pipelines face a fundamental reliability problem: predictions are probabilistic inferences, not verified conclusions, and acting on them…

  68. Neuro-Symbolic Indirect-Call Analysis under Opaque Pointers
    USarXiv cs.PL (Programming)

    arXiv:2609.33547v4 Announce Type: replace-cross Abstract: Resolving indirect calls is central to call-graph construction for C. Scalable type-based analyses such as MLTA use type information in LLVM IR to associate indirect calls with…

  69. Grassroots Bonds: Financing by the People, for the People
    USarXiv cs.PL (Programming)

    arXiv:2603.13671v4 Announce Type: replace-cross Abstract: Grassroots currencies turn mutual trust into liquidity: a grassroots coin is a unit of its issuer's debt, backed by the issuer's goods and services, which the issuer must redeem…

  70. Neuro-Symbolic Indirect-Call Analysis under Opaque Pointers
    USarXiv cs.SE (Software)

    arXiv:2609.33547v4 Announce Type: replace Abstract: Resolving indirect calls is central to call-graph construction for C. Scalable type-based analyses such as MLTA use type information in LLVM IR to associate indirect calls with functions…

  71. Pinning Decisions Before Failure: Executable Records of Underspecified Choices in AI-Assisted Code Generation
    USarXiv cs.SE (Software)

    arXiv:2610.03237v1 Announce Type: new Abstract: A natural-language requirement leaves questions open, and a model asked to implement it settles them silently: across 600 generated test suites from three models, 42.7% contain no test that…

  72. How Do AI Agents Spend Your Money? Analyzing and Predicting Token Consumption in Agentic Coding Tasks
    USarXiv cs.SE (Software)

    arXiv:2604.22750v3 Announce Type: replace-cross Abstract: The wide adoption of AI agents in complex human workflows is driving rapid growth in LLM token consumption. When agents are deployed on tasks that require a significant amount of…

  73. MintEval: Do LLMs Implement the Trading Strategy You Asked For? A Behavioural-Equivalence Benchmark for Natural-Language-to-Strategy Code
    USarXiv cs.SE (Software)

    arXiv:2610.03080v1 Announce Type: new Abstract: Large language models are moving from producing trading signals to writing the code that executes them. The failure mode of the second role is silent: generated code runs, a backtest plots…

  74. GUI Agents for Continual Game Generation
    USarXiv cs.SE (Software)

    arXiv:2605.28258v2 Announce Type: replace Abstract: Generating a game is not the same as making one playable. Existing code-generation approaches often translate a prompt directly into an artifact, leaving interaction-level failures…

  75. Understanding Gaps in LLM Pipelines Towards Scalable Fuzzing Harness Generation: An Empirical Study and Enhancement
    USarXiv cs.SE (Software)

    arXiv:2512.03420v5 Announce Type: replace-cross Abstract: Large language model (LLM)-based techniques have achieved notable progress in fuzz harness generation. However, applying them to arbitrary functions \textit{at scale} remains…

  76. Self-Supervised Scaling of Terminal Environments for Scientific Domains
    USarXiv cs.SE (Software)

    arXiv:2610.02710v1 Announce Type: new Abstract: Terminal agents are increasingly deployed beyond software engineering in science and other specialized domains. Constructing training environments requires executable reference behavior and a…

  77. From Migration to Calibration: Preserving Agent Capabilities across Models, Jurisdictions, and Scale
    USarXiv cs.SE (Software)

    arXiv:2609.35149v2 Announce Type: replace-cross Abstract: Deploying, migrating, or scaling an agent can change its model, harness, infrastructure, application, and intended users. We formulate agent calibration as standards-first…

  78. PrivDev: Mapping Static-Analysis Data Types to DPV
    USarXiv cs.SE (Software)

    arXiv:2610.03518v1 Announce Type: cross Abstract: Static-analysis scanners can identify personal-data types in source code, but they lack mechanisms to connect these findings to standardized privacy vocabularies. PrivDev maps 122 Bearer…

  79. trajectory-judge: What Outcome-Only LLM Judges Miss on Agent Trajectories
    USarXiv cs.SE (Software)

    arXiv:2609.00038v2 Announce Type: replace-cross Abstract: A direct test of an LLM judge of agent trajectories injects faults into correct runs and reports recall, per fault type or by whether the fault broke the environment outcome (loud)…

  80. Who Guards the Benchmarks? Automated Auditing of LLM Agent Benchmarks
    USarXiv cs.SE (Software)

    arXiv:2604.24955v2 Announce Type: replace-cross Abstract: As benchmarks grow in complexity, many apparent agent failures are not failures of the agent at all---they are failures of the benchmark itself: broken specifications, implicit…

  81. Engineering Sustainable Agents: A Systematic Comparison of Agentic LLMs for Developer Workflows
    USarXiv cs.SE (Software)

    arXiv:2610.03010v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used in software engineering, including agentic systems that coordinate multiple agents, but impose higher computational and environmental costs…

  82. Compound AI System Reliability: A Failure Taxonomy and Resilience Pattern Catalog from 150 Production Incidents
    USarXiv cs.SE (Software)

    arXiv:2610.02503v1 Announce Type: new Abstract: Deploying compound AI systems reliably and safely requires understanding failure modes that emerge at component boundaries, not within individual models. Cascading errors propagate across…

  83. Discriminating Fixture Coverage in Agent-Infrastructure Verification Suites
    USarXiv cs.SE (Software)

    arXiv:2610.02928v1 Announce Type: new Abstract: Invariant suites and runtime monitors increasingly gate agent deployment decisions, and the evidence offered for any particular suite is almost always a single observation: it passes an…

  84. GTDD: Generative Test-Driven Development for AI Coding Agents with Adversarial Testing
    USarXiv cs.SE (Software)

    arXiv:2610.02952v1 Announce Type: new Abstract: Test-driven development gives AI coding agents executable requirements for implementing software. Because these agents can adapt their implementations to the examples they observe, passing a…

  85. An Extensive Empirical Study on Evaluation Metrics for Combinatorial Interaction Testing
    USarXiv cs.SE (Software)

    arXiv:2610.02560v1 Announce Type: new Abstract: Combinatorial interaction testing (CIT) is a black-box testing method that has received extensive attention in both research and practice over recent years. Its primary objective is to…

  86. Verify Before You Fix: Agentic Execution Grounding for Trustworthy Cross-Language Code Analysis
    USarXiv cs.SE (Software)

    arXiv:2604.10800v2 Announce Type: replace Abstract: Learned classifiers deployed in agentic pipelines face a fundamental reliability problem: predictions are probabilistic inferences, not verified conclusions, and acting on them without…

  87. VeriPy Source-Preserving Verification and Compatibility Checking for Python Components
    USarXiv cs.PL (Programming)

    arXiv:2610.02814v1 Announce Type: cross Abstract: Keeping a Python program and its formal guarantees aligned is a continuing maintenance problem. Specifications must describe the implementation that actually runs, and updates must preserve…

  88. Proof Interfaces for Exploratory Mathematics
    USarXiv cs.PL (Programming)

    arXiv:2610.02449v1 Announce Type: new Abstract: This paper describes a mathematics interface intended for both educational applications and exploratory mathematics. Both learners and mathematics practitioners often use pen and paper or a…

  89. WAMpy: Efficient Synthesis of Prolog Programs in Python
    USarXiv cs.PL (Programming)

    arXiv:2610.03234v1 Announce Type: new Abstract: We present WAMpy, a Python framework optimized for synthesizing Prolog programs. Unlike general-purpose Prolog systems, WAMpy targets workloads that repeatedly generate and evaluate small…

  90. Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
    USarXiv cs.SE (Software)

    arXiv:2511.15227v3 Announce Type: replace-cross Abstract: Model-based development accelerates prototyping, enables earlier experimentation, and ensures rigorous validation of system design intents. In multi-agent systems with complex…

  91. WebUIProof: Benchmarking WebUI Code Generators with UI-Agent Execution Harness
    USarXiv cs.SE (Software)

    arXiv:2610.02617v1 Announce Type: new Abstract: Evaluating WebUI code generation at scale is difficult: outputs may compile and look plausible yet fail under user interaction, and prior benchmarks largely rely on free-form prompts with…

  92. Improving the Energy-Efficiency of the Code Generated by LLMs through Effective Prompting
    USarXiv cs.SE (Software)

    arXiv:2610.02571v1 Announce Type: new Abstract: As AI-assisted programming becomes increasingly mainstream, the environmental impact of AI-generated software has emerged as an important consideration. This motivates evaluating…

  93. From Alert Floods to Precedence Forests: Zero-Prior-Knowledge Incident Triage with LOGOS
    USarXiv cs.SE (Software)

    arXiv:2610.02297v1 Announce Type: cross Abstract: Commercial observability platforms rely on domain artifacts like distributed traces, topology maps, and baseline metrics. However, when troubleshooting proprietary software, enterprise…

  94. SaltBench: A Referee-Gated Protocol for Measuring Method Effects in Machine-Checked Software Work
    USarXiv cs.SE (Software)

    arXiv:2609.11076v3 Announce Type: replace Abstract: SaltBench asks how a machine referee (a proof kernel, program verifier or withheld test suite) changes how a coding agent works. Outcomes are decided outside the agent's toolchain; a wall…

  95. TomasuLLM: Out-of-Order Speculative Execution for LLM Agents
    USarXiv cs.SE (Software)

    arXiv:2609.38201v2 Announce Type: replace-cross Abstract: Long-running tools can dominate coding-agent latency: compilers, test suites, and repository commands take seconds to minutes while the agent idles. This observation stall presents…

  96. Bao: Automatic Region Placement and Memory Allocation for Intermittent Computing
    USarXiv cs.PL (Programming)

    arXiv:2610.02624v1 Announce Type: new Abstract: Intermittent computing enables batteryless embedded devices to operate in harsh environment, but frequent power failures interrupt program execution and require careful management of state…

  97. Symbolic Execution of Constrained Horn Clauses
    USarXiv cs.PL (Programming)

    arXiv:2610.03345v1 Announce Type: cross Abstract: Constrained Horn clauses (CHCs) are a fragment of first-order logic widely used as an intermediate language for verification. We study constrained resolution as a calculus for reasoning…

  98. Building a RAG Pipeline for Semantic Code Search
    USlobste.rs

    Comments

  99. Nearly 200 People Under Observation After Irkutsk Lab Worker Dies from Plague
    USHacker News Front Page

    Article URL: https://www.themoscowtimes.com/2026/10/02/nearly-200-people-under-observation-after-irkutsk-lab-worker-dies-from-plague-a93857 Comments URL: https://news.ycombinator.com/item?id=49960084 Points: 112 # Comments: 60

  100. Refinement E-Graphs
    USlobste.rs

    Comments

  101. Powerless F1 drivers frustrated by Bahrain F1 software glitch
    USHacker News Front Page

    Article URL: https://www.motorsport.com/f1/news/horrible-totally-unacceptable-powerless-f1-drivers-frustrated-by-bahrain-f1-software-glitch/10861968/ Comments URL: https://news.ycombinator.com/item?id=49959869 Points: 238 # Comments: 202

  102. The 15-year search for a band that charted once and vanished
    USHacker News Front Page

    Article URL: https://shahidhussain.com/writing/search-for-salvage/ Comments URL: https://news.ycombinator.com/item?id=49959280 Points: 323 # Comments: 116