AX·NEWS
Sign in

Software Engineering

Software Engineering news — Monday 09 November 2026

77 stories from 6 sources, every one in English. Each links to its publisher.

Open in the live feedRSS feedOn a TV

  1. The race to secure record-like information for domains
    USlobste.rs

    Comments

  2. Fable 5.2 one-shotted my nephew's dream game
    USHacker News Front Page

    Article URL: https://notesbylex.com/fable-5-2-one-shotted-my-nephews-dream-game Comments URL: https://news.ycombinator.com/item?id=50433659 Points: 334 # Comments: 235

  3. Exact – a new cross platform UI framework
    USHacker News Front Page

    Article URL: https://github.com/expo/exact Comments URL: https://news.ycombinator.com/item?id=50433541 Points: 110 # Comments: 70

  4. Docker has always used microVMs (well, since 2016)
    USlobste.rs

    Comments

  5. Reverse engineering a vintage diode-transistor logic chip
    USlobste.rs

    Comments

  6. Two apps one process
    USlobste.rs

    Comments

  7. TPU 8tx and TPU 8i Max
    USHacker News Front Page

    Article URL: https://blog.google/innovation-and-ai/infrastructure-and-cloud/global-network/tpu-8i-max-and-8tx/ Comments URL: https://news.ycombinator.com/item?id=50432831 Points: 243 # Comments: 74

  8. PyPI's redesigned project pages with clearer security signals are now live
    USlobste.rs

    Comments

  9. Never Share Your Password Again — The OAuth 2.0 Solution
    USStack Overflow Blog
  10. Claude Fable 5.2 Scores 65 on Artificial Analysis, Highest So Far
    USHacker News Front Page

    Article URL: https://artificialanalysis.ai/models/claude-fable-5-2 Comments URL: https://news.ycombinator.com/item?id=50431144 Points: 337 # Comments: 244

  11. USPS now offers official ZIP Code boundary polygons
    USHacker News Front Page

    Article URL: https://postalpro.usps.com/zcb Comments URL: https://news.ycombinator.com/item?id=50431058 Points: 594 # Comments: 300

  12. CUI – Native UI components for C
    USHacker News Front Page

    Article URL: https://yappologistic.github.io/CUI/ Comments URL: https://news.ycombinator.com/item?id=50430621 Points: 155 # Comments: 82

  13. Claude Fable 5.2 and Mythos 5.2
    USHacker News Front Page

    Article URL: https://www.anthropic.com/claude-fable-and-mythos-5-2 Comments URL: https://news.ycombinator.com/item?id=50429906 Points: 879 # Comments: 526

  14. E-means: 10x faster k-means at equal loss
    USHacker News Front Page

    Article URL: https://e-means.github.io/ Comments URL: https://news.ycombinator.com/item?id=50429734 Points: 365 # Comments: 31

  15. Microsoft are rejecting your mail
    USlobste.rs

    Comments

  16. Sure mate, buy me a bloody coffee
    USlobste.rs

    Comments

  17. Too many men suffering in silence, national health report finds (Canada)
    USHacker News Front Page

    Article URL: https://www.westcentralonline.com/articles/too-many-men-suffering-in-silence-national-health-report-finds Comments URL: https://news.ycombinator.com/item?id=50429475 Points: 129 # Comments: 66

  18. The first 300-millimeter power silicon carbide (SiC) wafer
    USHacker News Front Page

    Article URL: https://www.infineon.com/press-release/2026/infpr202611-028 Comments URL: https://news.ycombinator.com/item?id=50429430 Points: 128 # Comments: 69

  19. Google Gemini routes personal Drive files and emails to human annotators
    USHacker News Front Page

    Article URL: https://github.com/thisisme6598/gemini_files/ Comments URL: https://news.ycombinator.com/item?id=50429426 Points: 544 # Comments: 124

  20. Our Smallest, Most Efficient Model: Muse Ember
    USHacker News Front Page

    Article URL: https://research.meta.ai/blog/muse-ember Comments URL: https://news.ycombinator.com/item?id=50429024 Points: 287 # Comments: 118

  21. Show HN: Every satellite that passed over any place this week, and its photos
    USHacker News Front Page

    hey HN, i built this because I'm a satellite nerd who was bored this past weekend. type in any place and it finds every satellite that passed over it in the last 7 days (SGP4 on the CelesTrak catalog, tracking 17k+ objects and runs in your…

  22. When will this stop? The Raspberry Pi 5 16GB SBC now sells for $385
    USHacker News Front Page

    Article URL: https://www.cnx-software.com/2026/11/03/when-will-this-stop-the-raspberry-pi-5-16gb-sbc-now-sells-for-385/ Comments URL: https://news.ycombinator.com/item?id=50428801 Points: 236 # Comments: 195

  23. Going back two years on Hacker News is like entering another, better universe
    USHacker News Front Page

    Article URL: https://news.ycombinator.com/front?day=2024-11-08 Comments URL: https://news.ycombinator.com/item?id=50428724 Points: 150 # Comments: 74

  24. I was wrong about dark mode
    USlobste.rs

    Comments

  25. Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system
    USHacker News Front Page

    Article URL: https://www.payments.ca/canada-launches-real-time-rail-bringing-247-payment-infrastructure-national-economy Comments URL: https://news.ycombinator.com/item?id=50427362 Points: 516 # Comments: 282

  26. CSS-Tricks, Version 20
    USCSS-Tricks

    Things look a little different around here? I hope so because we just pushed a site redesign! Here's everything new with the 20th(!!) version of CSS-Tricks. CSS-Tricks, Version 20 originally handwritten and published with love on…

  27. Terminal2Shell: Critical flaw grants instant shell access on every major OS
    USlobste.rs

    Comments

  28. The same H100 costs $2.69 or $12.29 an hour depending where you rent it
    USHacker News Front Page

    Article URL: https://github.com/datareceipts/data-receipts/tree/main/109-gpu-pricing Comments URL: https://news.ycombinator.com/item?id=50427085 Points: 136 # Comments: 77

  29. Cryptocurrency lawsuit: Ethereum Foundation required "suicide pledge"
    USHacker News Front Page

    Article URL: https://www.denverpost.com/2026/11/06/ethereum-suicide-pledge-lawsuit-mandate-boulder-crypto/ Comments URL: https://news.ycombinator.com/item?id=50426899 Points: 169 # Comments: 160

  30. I Saw Your HN Comment
    USHacker News Front Page

    Article URL: https://joshstrange.com/2026/11/09/i-saw-your-hn-comment/ Comments URL: https://news.ycombinator.com/item?id=50426582 Points: 318 # Comments: 236

  31. Playing classical music on a classic PC with GentleOS
    USlobste.rs

    Comments

  32. Zebkit – Chromium as an embeddable library
    USHacker News Front Page

    Article URL: https://github.com/ikey4u/zebkit Comments URL: https://news.ycombinator.com/item?id=50426207 Points: 105 # Comments: 37

  33. Magenta solar panels may be agrivoltaics' cleverest trick yet
    USHacker News Front Page

    https://www.cell.com/cell-reports-physical-science/fulltext/... Comments URL: https://news.ycombinator.com/item?id=50426175 Points: 302 # Comments: 198

  34. Children of Men: The future is a mirror for the present
    USHacker News Front Page

    Article URL: https://reactormag.com/children-of-men-the-future-is-a-mirror-for-the-present/ Comments URL: https://news.ycombinator.com/item?id=50425303 Points: 148 # Comments: 112

  35. What is malloc doing, anyway?
    USlobste.rs

    Comments

  36. A C++ Quicksort Faster Than std::sort
    USlobste.rs

    Comments

  37. Horible public key tricks
    USlobste.rs

    Comments

  38. Humans will never again create a project like Wikipedia
    USHacker News Front Page

    Article URL: https://www.economist.com/culture/2026/10/29/humans-will-never-again-create-a-project-quite-like-wikipedia Comments URL: https://news.ycombinator.com/item?id=50424704 Points: 398 # Comments: 335

  39. Let’s Talk About Why all This OT Stuff is Connected
    USlobste.rs

    Comments

  40. Fold Epic Paper Airplanes
    USHacker News Front Page

    Article URL: https://www.foldableflight.com Comments URL: https://news.ycombinator.com/item?id=50424581 Points: 959 # Comments: 146

  41. Slightly better interpolating spline
    USlobste.rs

    Comments

  42. What's new in Node.js 27
    USlobste.rs

    Comments

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

  44. ChatGPT Desktop forwards your SSH agent to remote machines
    USHacker News Front Page

    The agent running on a remote machine can authenticate using your local SSH credentials. That means it can push to your private repos on GitHub, for example. Proof: https://github.com/openai/codex/pull/28131#discussion_r3410013180 Comments…

  45. Is Opus 5.5 nerfed? Thinking patterns changed on November 3
    USHacker News Front Page

    Article URL: https://twitter.com/shanemelaugh/status/2119192075505893695 Comments URL: https://news.ycombinator.com/item?id=50422069 Points: 730 # Comments: 469

  46. How Much Energy Does Building Distro Packages Use
    USlobste.rs

    Comments

  47. Microsecond accurate NTP with a Raspberry Pi and PPS GPS(2021)
    USlobste.rs

    Comments

  48. comfort-db: A Python toolkit to access, preprocess and explore the oceanographic COMFORT dataset
    USarXiv cs.SE (Software)

    arXiv:2611.09353v1 Announce Type: new Abstract: comfort-db is a Python library that facilitates working with the COMFORT SQLite dataset, version 2. The dataset assembles global oceanographic measurements from ten datasets and contains a…

  49. National and State-Level Approaches to Automated Vehicle Certification: A Comparative Framework for State Operational Governance
    USarXiv cs.SE (Software)

    arXiv:2611.08681v1 Announce Type: cross Abstract: Automated vehicle (AV) deployment in the United States is expanding without a unified federal certification framework, leading to substantial variation in how states authorize and oversee…

  50. TwinLight: A Multi-Timescale Physical-Layer-Aware T-API-Compliant Optical Domain Controller Digital Twin
    USarXiv cs.SE (Software)

    arXiv:2611.09359v1 Announce Type: cross Abstract: We demonstrate TwinLight, an open-source optical-network digital twin acting as an optical domain controller. Its T-API REST and telemetry streaming interfaces expose a physical-layer…

  51. OmniLink: Specification-Based Trace Validation of Concurrent Systems with Substep Linearizability
    USarXiv cs.SE (Software)

    arXiv:2601.11836v2 Announce Type: replace Abstract: Concurrent systems are notoriously difficult to validate. We present OmniLink, a methodology for validating traces of concurrent implementations against high-level specifications in TLA+…

  52. TATG: Tracking-Aware Testing Objective for LLM-based Test Generation
    USarXiv cs.SE (Software)

    arXiv:2607.03194v2 Announce Type: replace Abstract: Complex Java methods challenge automated unit test generation, as achieving high coverage and fault detection requires satisfying intricate testing requirements involving program states…

  53. Nothing Is Shared Until You Synchronise: Reinterpreting Java for Data-Race Freedom
    USarXiv cs.PL (Programming)

    arXiv:2611.09410v1 Announce Type: new Abstract: In mainstream shared-memory languages, programmers use synchronisation mechanisms such as locks to isolate shared data accesses across threads to avoid data races. Yet synchronisation…

  54. A Physically-Realisable Quantum Programming Language with Quantum-Controlled Quantum Channels
    USarXiv cs.PL (Programming)

    arXiv:2607.15873v2 Announce Type: replace Abstract: In contrast to a classical bit, which can only take the value $0$ or $1$, its quantum counterpart---a qubit---can exist in a superposition of $0$ and $1$. This is a superposition of data…

  55. Integrating MBSE Principles with AI to Improve the Quality of Requirements in SMEs Context
    USarXiv cs.SE (Software)

    arXiv:2611.09234v1 Announce Type: new Abstract: Model-Based Systems Engineering (MBSE) is a promising approach to improve systems engineering practices, particularly by enhancing requirement management, traceability, and early validation…

  56. Wake 5: A Python Framework for Solidity Testing, Fuzzing, and Static Analysis
    USarXiv cs.SE (Software)

    arXiv:2611.09307v1 Announce Type: new Abstract: Smart-contract fuzzers differ by an order of magnitude in throughput and by design in how they construct inputs, yet published comparisons rarely separate the two. We present Wake 5, an…

  57. Tracybot: Preserving Developer Intent by Tracing Agent-Generated Code to Prompts
    USarXiv cs.SE (Software)

    arXiv:2611.09395v1 Announce Type: new Abstract: Large language models (LLMs) are now widely used in software development, and LLM-based coding agents are given increasing autonomy. With coding agents, many design decisions are made in the…

  58. Literature Review of Mixed Reality Research
    USarXiv cs.SE (Software)

    arXiv:2312.02995v2 Announce Type: cross Abstract: In the global context, while mixed reality has been an emerging concept for years, recent technological and scientific advancements have now made it poised to revolutionize industries and…

  59. Strategic Competition and Convergence in LLM Leaderboards
    USarXiv cs.SE (Software)

    arXiv:2611.09780v1 Announce Type: cross Abstract: Leaderboards are a popular way to compare large language model (LLM) capabilities and can influence how model developers invest resources. We ask when competition on leaderboards leads…

  60. Augmentation with Dilution? A Large-Scale Empirical Study of Human Contributor Ecosystems After AI Coding Agent Adoption
    USarXiv cs.SE (Software)

    arXiv:2606.26289v2 Announce Type: replace Abstract: AI coding agents are rapidly proliferating in open-source software development, and the long-term sustainability of open-source projects is closely tied to the health of their human…

  61. pfoqcompiler: Efficient Compilation of Quantum Control in Recursive First-Order Quantum Programs
    USarXiv cs.PL (Programming)

    arXiv:2611.08503v1 Announce Type: new Abstract: Recursive quantum control allows for simple and concise descriptions of algorithms. However, a naive circuit compilation sequentializes the different branches of the quantum if-statement and…

  62. A Complete Calculus for Hamiltonian Quantum Programming
    USarXiv cs.PL (Programming)

    arXiv:2611.08675v1 Announce Type: new Abstract: Given the forces acting on a quantum particle, a Hamiltonian models its continuous evolution. Quantum computers evolve Hamiltonians to simulate physical systems, to solve optimisation…

  63. Fibered Separation Logic: Weakest Preconditions, Universal Constructions, and Local Independence
    USarXiv cs.PL (Programming)

    arXiv:2611.08685v1 Announce Type: new Abstract: This paper introduces a categorical framework for models of higher-order separation logic including the weakest precondition modality. Weakest preconditions are interpreted by strong monads…

  64. Fuss-free cumulative universes: theory and practice
    USarXiv cs.PL (Programming)

    arXiv:2607.11329v2 Announce Type: replace Abstract: Universes are central to dependent type theory, and they are notoriously difficult to handle in a way that is both correct and usable. We propose a new "fuss-free" generalised algebraic…

  65. The Program Logic of Abstract Interpretation
    USarXiv cs.PL (Programming)

    arXiv:2601.20370v3 Announce Type: replace-cross Abstract: Hoare-style program logics and abstract interpretation are two of the principal frameworks for reasoning about programs, and their affinity has long been recognised informally: both…

  66. LLM-Augmented Flow for Project Conformation and Task Complexity Evaluation Based on the TLM Framework
    USarXiv cs.SE (Software)

    arXiv:2611.08931v1 Announce Type: new Abstract: The software development process, from inception to a working product or solution, can be divided into two major phases: discovery (Discovery) and delivery (Delivery). The Discovery is…

  67. MongoBench: Do LLMs Know What a MongoDB Query Will Do?
    USarXiv cs.SE (Software)

    arXiv:2611.09065v1 Announce Type: new Abstract: LLM agents increasingly operate databases on their own: they generate queries and run them against live data. Two checks are commonly used to judge such an agent - whether it produces a valid…

  68. GreyZone: Production-quality Agentic Application Threats
    USarXiv cs.SE (Software)

    arXiv:2611.09161v1 Announce Type: new Abstract: Agents are increasingly deployed across domains such as coding, banking, and commerce. Their ability to invoke tools and change application state makes security testing important for reliable…

  69. Navigating Complexity: A User-Centered Evaluation of Project Management Tools
    USarXiv cs.SE (Software)

    arXiv:2611.09260v1 Announce Type: new Abstract: In the age of digital transformation, companies are increasingly relying on specialized software to manage the complexity of projects. However, when selecting tools, features and costs often…

  70. Deliberate Pacing for Human Oversight in Agentic Software Development
    USarXiv cs.SE (Software)

    arXiv:2611.09550v1 Announce Type: new Abstract: Agentic AI increasingly enables software development activities to proceed without continuous human involvement. While this autonomy may accelerate development, it also raises questions about…

  71. QAOA for Layered Architecture Recovery: Feasibility, Limits, and the Role of Decomposition
    USarXiv cs.SE (Software)

    arXiv:2611.09744v1 Announce Type: new Abstract: Layered architecture recovery (LAR) reconstructs a system's architectural layers from its package dependencies, and is defined as a combinatorial optimisation problem solved with classical…

  72. Agents on the Patch Path: Mining AI-Associated Security Remediation in GitHub Security Advisories
    USarXiv cs.SE (Software)

    arXiv:2611.09808v1 Announce Type: new Abstract: Autonomous coding agents are increasingly involved in software development, but their participation in real-world security remediation remains poorly understood. We investigate observable…

  73. An Empirical Study on Clustering-based Quantum Approximate Optimization Algorithm for Regression Test Case Selection
    USarXiv cs.SE (Software)

    arXiv:2611.09869v1 Announce Type: new Abstract: Regression testing assesses whether software components that have already been developed and tested continue to work correctly after modifications. Ideally, regression testing re-executes the…

  74. A Critique of GPUI
    USHacker News Front Page

    Article URL: https://blog.zortax.de/posts/a-critique-of-gpui Comments URL: https://news.ycombinator.com/item?id=50420857 Points: 116 # Comments: 72

  75. Sem86: a full-system x86 emulator without hardcoded semantics
    USlobste.rs

    Comments

  76. RIP, Harvest
    USHacker News Front Page

    Article URL: https://aphyr.com/posts/427-rip-harvest Comments URL: https://news.ycombinator.com/item?id=50420035 Points: 371 # Comments: 115

  77. Unlocking any car from X brand in most of the world
    USHacker News Front Page

    Article URL: https://shubs.io/unlocking-any-car-from-x-brand-in-most-of-the-world/ Comments URL: https://news.ycombinator.com/item?id=50419215 Points: 574 # Comments: 311