AX·NEWS
Sign in

Software Engineering

Software Engineering news — Friday 06 November 2026

89 stories from 7 sources, every one in English. Each links to its publisher.

Open in the live feedRSS feedOn a TV

  1. Libghostty 1.0
    USlobste.rs

    Comments

  2. RealPage rent-pricing case wraps with nearly $360M to renters
    USHacker News Front Page

    Article URL: https://www.multifamilydive.com/news/realpage-rent-pricing-case-360m-renters/873553/ Comments URL: https://news.ycombinator.com/item?id=50399991 Points: 164 # Comments: 131

  3. The Port That Does Not Exist
    USlobste.rs

    Comments

  4. Hacking the meta ray-ban smartglasses
    USlobste.rs

    Comments

  5. AI is dramatically accelerating AI research
    USHacker News Front Page

    Article URL: https://www.planned-obsolescence.org/p/ai-is-dramatically-accelerating-ai Comments URL: https://news.ycombinator.com/item?id=50397994 Points: 330 # Comments: 292

  6. A Jev that can ask Opus for help gives Opus accuracy at 4x lower cost
    USHacker News Front Page

    Article URL: https://hightouch.com/blog/llm-judges-identity-resolution Comments URL: https://news.ycombinator.com/item?id=50397429 Points: 559 # Comments: 137

  7. Firecracker VM Escape: PwnEscape Part 2
    USHacker News Front Page

    Article URL: https://pwn.ai/blog/firecracker-escape Comments URL: https://news.ycombinator.com/item?id=50397219 Points: 269 # Comments: 115

  8. Restaurant Delivery Payment-Skimming Campaign
    USHacker News Front Page

    Article URL: https://www.infohawk.com/news/2026-11-05-scamwich-restaurant-skimming Comments URL: https://news.ycombinator.com/item?id=50397017 Points: 134 # Comments: 66

  9. Nondeterminism in Futhark
    USlobste.rs

    Comments

  10. RSS Club: CSS-Tricks Redesign Preview
    USCSS-Tricks

    Hey you wonderful RSS subscribers! We just soft-pushed a site redesign and wanted to give ya'll the first heads-up. A full write-up is coming but here are the high-level details. RSS Club: CSS-Tricks Redesign Preview originally handwritten…

  11. We know 15k websites are infected. how do we tell them?
    USHacker News Front Page

    Article URL: https://scotthelme.co.uk/we-know-15-579-websites-are-infected-how-do-we-tell-them/ Comments URL: https://news.ycombinator.com/item?id=50396064 Points: 164 # Comments: 139

  12. How we continuously validate formal specifications in production
    USlobste.rs

    Comments

  13. Bug Finding Considered Harmful?
    USlobste.rs

    Comments

  14. Devvm.dev: One VM for every project
    USHacker News Front Page

    Article URL: https://devvm.dev/ Comments URL: https://news.ycombinator.com/item?id=50395450 Points: 163 # Comments: 62

  15. Notes on San Marino
    USHacker News Front Page

    Article URL: https://mattlakeman.org/2026/11/05/notes-on-san-marino/ Comments URL: https://news.ycombinator.com/item?id=50395183 Points: 118 # Comments: 47

  16. Anthropic IPO buyers see valuation as low as $1.1T
    USHacker News Front Page

    https://epyhia.com/anthropic-ipo-valuation-talks-drop-to-1-3... Comments URL: https://news.ycombinator.com/item?id=50394906 Points: 228 # Comments: 483

  17. First steps in bare-metal programming using UEFI
    USHacker News Front Page

    Article URL: https://kevinboone.me/efitest_index.html Comments URL: https://news.ycombinator.com/item?id=50394855 Points: 230 # Comments: 42

  18. Rune: A native GPU-rendered Rust UI framework for macOS, Windows, Linux and web
    USHacker News Front Page

    Article URL: https://github.com/anomalyco/rune Comments URL: https://news.ycombinator.com/item?id=50394569 Points: 138 # Comments: 100

  19. Deus Ex
    USHacker News Front Page

    Article URL: https://www.filfre.net/2026/11/deus-ex/ Comments URL: https://news.ycombinator.com/item?id=50393758 Points: 318 # Comments: 160

  20. The MustCreate Pattern for Go Tests
    USlobste.rs

    Comments

  21. Upgrading NetBSD from 11.0 to 11.1
    USlobste.rs

    Comments

  22. Pushing the Limits with getaddrinfo
    USlobste.rs

    Comments

  23. Local-first meeting notetaker. On-device transcription, no stored audio, E2E encrypted sync
    USlobste.rs

    Comments

  24. Gemini Omni 1.2 Flash
    USHacker News Front Page

    Article URL: https://blog.google/innovation-and-ai/technology/developers-tools/introducing-gemini-omni-1-2-flash/ Comments URL: https://news.ycombinator.com/item?id=50392118 Points: 345 # Comments: 233

  25. Making musl and proprietary NVIDIA drivers work together
    USlobste.rs

    Comments

  26. GitHub Inbox unread count is missing digits
    USlobste.rs

    Comments

  27. Tesla winds down Cybertruck production after years of poor sales in few markets
    USHacker News Front Page

    Article URL: https://www.nbcnews.com/tech/tech-news/tesla-wind-cybertruck-production-years-poor-sales-markets-rcna607817 Comments URL: https://news.ycombinator.com/item?id=50391456 Points: 1112 # Comments: 1982

  28. We've built an open-source feature flag server for 11 years
    USHacker News Front Page

    Article URL: https://github.com/Unleash/unleash Comments URL: https://news.ycombinator.com/item?id=50391145 Points: 129 # Comments: 94

  29. Living beyond the limits of survival: wood ants trapped in a gigantic pitfall (2016)
    USHacker News Front Page

    Article URL: https://jhr.pensoft.net/articles.php?id=9096 Comments URL: https://news.ycombinator.com/item?id=50390525 Points: 143 # Comments: 46

  30. Dutch 'idealist' bank ASN blocks non-Google Android, including GrapheneOS
    USHacker News Front Page

    Article URL: https://github.com/PrivSec-dev/banking-apps-compat-report/issues/105 Comments URL: https://news.ycombinator.com/item?id=50390124 Points: 584 # Comments: 374

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

  32. Practical guide on out of tree mitigations on Linux
    USlobste.rs

    Comments

  33. Chomsky and the two cultures of statistical learning (2011)
    USHacker News Front Page

    Article URL: https://www.norvig.com/chomsky.html Comments URL: https://news.ycombinator.com/item?id=50389570 Points: 123 # Comments: 99

  34. A New Community For In-House UX People
    DESmashing Magazine

    You might have already read my name every now and then here at Smashing Magazine. I’m Paul Boag. I’ve written three books with Smashing and 77 articles (yes, I counted), and I sit on Smashing’s advisory board. So when Vitaly and the…

  35. Multiplayer tanks that demolish real buildings from OpenStreetMap
    USHacker News Front Page

    Article URL: https://worldstrike.fun/ Comments URL: https://news.ycombinator.com/item?id=50389420 Points: 144 # Comments: 89

  36. Kugelblitz – Mac-Native Google Earth Alternative
    USHacker News Front Page

    Article URL: https://apps.metaebene.me/en/kugelblitz Comments URL: https://news.ycombinator.com/item?id=50389370 Points: 229 # Comments: 60

  37. Blender's UI and Runtime: Much Faster Than GPUI
    USHacker News Front Page

    Article URL: https://github.com/ppmpreetham/BUI Comments URL: https://news.ycombinator.com/item?id=50389333 Points: 655 # Comments: 263

  38. Britain to make salary disclosure in job ads mandatory
    USHacker News Front Page

    Article URL: https://www.reuters.com/business/world-at-work/britain-make-salary-disclosure-job-ads-mandatory-2026-11-05/ Comments URL: https://news.ycombinator.com/item?id=50389222 Points: 456 # Comments: 360

  39. Welcome to life in the chip age
    USStack Overflow Blog

    Ryan sits down with Rakesh Kumar, professor of computer engineering at the University of Illinois Urbana-Champaign, about the astounding complexity of manufacturing modern semiconductors, the massive environmental and geopolitical…

  40. Search for everyone
    USlobste.rs

    Comments

  41. I struggle to believe that AI R＆D is ingenious
    USHacker News Front Page

    Article URL: https://www.lesswrong.com/posts/DALNiKBjMGMF8grme/arjun-panickssery-s-shortform?commentId=fJtaHHHfx45tD7BSL Comments URL: https://news.ycombinator.com/item?id=50388513 Points: 131 # Comments: 108

  42. How Python Audio Libraries Change Across Releases: Module Structure and Documentation
    USarXiv cs.SE (Software)

    arXiv:2611.06947v1 Announce Type: new Abstract: Developers who upgrade a Python audio library need to know what changed in the code they import and whether the release notes say so. Release notes and breaking changes have been mined for…

  43. TimeArch: A Multi-Agent Approach for Software Architecture Design
    USarXiv cs.SE (Software)

    arXiv:2611.06921v1 Announce Type: new Abstract: Generative AI is making software implementation faster, but not necessarily better architected. Most current GenAI coding workflows move directly from prompts to code, while the architectural…

  44. NUMA-Torch: Compiler-Driven NUMA-Aware LLM Prefill on Multi-Socket CPUs
    USarXiv cs.PL (Programming)

    arXiv:2611.07105v1 Announce Type: cross Abstract: For sufficiently large transformer-based Large Language Models (LLMs), whose parameters cannot be retained in on-chip caches, prefill throughput on multi-socket CPUs is often limited by…

  45. Take It From Here: Evaluating Coding Agents On Project Takeover
    USarXiv cs.SE (Software)

    arXiv:2611.07307v1 Announce Type: new Abstract: Coding agents increasingly collaborate on long-term projects. When taking over a project, they need to recover currently applicable requirements from the interaction history and update them…

  46. Fast Unsupervised Anomaly Detection Methods on Software Logs - An Empirical Study
    USarXiv cs.SE (Software)

    arXiv:2611.07760v1 Announce Type: new Abstract: Anomaly detection on software logs ensures system reliability through failure identification, root cause analysis and fault localization. While supervised models show excellent performance…

  47. RouteAlign: Aligning Task Requirements with Model Profiles for LLM Service Selection
    USarXiv cs.SE (Software)

    arXiv:2611.08162v1 Announce Type: new Abstract: LLM service selection requires performance evidence that reflects the demands of the current task. Aggregate scores obscure differences in capability and difficulty, while semantically…

  48. Cognitive Tours: Making Understanding a Deliverable in AI-Assisted Development
    USarXiv cs.SE (Software)

    arXiv:2611.08456v1 Announce Type: new Abstract: Generative AI and agentic coding are accelerating software development, leading to concerns about technical debt. But two less visible forms of debt, cognitive debt and intent debt, are…

  49. Follow the Policy, Fail the Benchmark: Auditing and Revising Policy-Based Decision Benchmarks
    USarXiv cs.SE (Software)

    arXiv:2611.07042v1 Announce Type: cross Abstract: Policy-based decision benchmarks evaluate whether systems apply written rules to financial and operational cases. Yet a rule-following response can be marked wrong when the benchmark…

  50. Symmetry-Aware Surrogate-Assisted Testing of UAVs
    USarXiv cs.SE (Software)

    arXiv:2611.08012v1 Announce Type: cross Abstract: We investigate a symmetry-aware surrogate-assisted testing approach for UAV autopilots. The proposed approach exploits geometric symmetries between flight missions by trans- forming…

  51. Characterizing Robustness in Semantic Code Clone Detection
    USarXiv cs.SE (Software)

    arXiv:2606.25272v2 Announce Type: replace Abstract: Semantic code clone detection seeks to recognize shared functionality across different implementations, making robustness to behavior-preserving changes central to its effectiveness…

  52. Large Language Models for Multi-Lingual Equivalent Mutant Detection: An Extended Empirical Study
    USarXiv cs.SE (Software)

    arXiv:2607.00511v2 Announce Type: replace Abstract: Mutation testing is a powerful technique for ensuring software quality. However, the presence of equivalent mutants introduces unnecessary costs and biases, limiting its practical…

  53. Vibe Coding in Software Development: A Multivocal Literature Review
    USarXiv cs.SE (Software)

    arXiv:2607.21652v2 Announce Type: replace Abstract: Vibe coding is an AI-assisted software development approach in which developers express intent in natural language and large language models generate code. To our knowledge, no review has…

  54. Executable but Unfaithful: Mock Object, Stub, and Assertion Generation by LLMs and Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.14629v2 Announce Type: replace Abstract: Mocking is a foundational practice in unit testing, enabling developers to isolate the code under test by replacing real dependencies with simulated alternatives. Automating the…

  55. Fix One, Miss Another: Leveraging Historical Bug Fixes to Uncover Residual Bugs in Database Systems
    USarXiv cs.SE (Software)

    arXiv:2611.07739v1 Announce Type: new Abstract: Database management systems (DBMSs) implement SQL constructs through grammar-driven dispatch handlers. Although handlers for syntactic siblings implement different SQL constructs, they often…

  56. ReConMem: A Graph-Based Dual Memory System for Repository-Oriented Conversations
    USarXiv cs.SE (Software)

    arXiv:2611.07759v1 Announce Type: new Abstract: LLM-based code assistants are increasingly used in iterative repository-level development, where effective assistance requires jointly leveraging evolving conversational history and…

  57. Adapt the Object to the Subject: Representative Study Material for Empirical Software Engineering
    USarXiv cs.SE (Software)

    arXiv:2611.07772v1 Announce Type: new Abstract: External validity is a central concern in empirical software engineering, yet the debate has largely focused on whether study participants are representative. How well the study objects they…

  58. Compositional Loop Invariant Inference for Multiphase Programs via Structured Neurosymbolic Reasoning
    USarXiv cs.SE (Software)

    arXiv:2611.07882v1 Announce Type: new Abstract: Loop invariants are essential for deductive program verification, yet automatically inferring them for {multiphase programs}, whose loops contain conditional branches that induce multiple…

  59. Requirements Nobody Wrote Down: Emergence in a Public-Sector ML Pipeline
    USarXiv cs.SE (Software)

    arXiv:2611.07951v1 Announce Type: new Abstract: Governments increasingly use machine learning (ML) to handle data volumes beyond their analytical capacity, yet little is known about how requirements arise and evolve as an ML experiment…

  60. Hard Issue, Weak Model, or Bad Run? Rethinking Failure Prediction for Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2611.08285v1 Announce Type: new Abstract: Trajectory-based failure predictors for software engineering (SE) agents read the partial trajectory of a run to flag whether it is going right or wrong. If it is going wrong, the run can be…

  61. Replay Is a Family of Assertions: Fork-Safety in Event-Sourced Agent Runtimes
    USarXiv cs.SE (Software)

    arXiv:2611.06924v1 Announce Type: cross Abstract: Event-sourced agent runtimes commonly claim deterministic replay, cheap forking, and lineage. These are families of assertions, not one guarantee. A fixed-log fold may be deterministic…

  62. Recursively Testing and Vibe Debugging a Google AI Studio Generated Vibe-Coded Database Software Application
    USarXiv cs.SE (Software)

    arXiv:2611.06952v1 Announce Type: cross Abstract: This research paper proposes a broader definition of vibe coding, extending the original one with non-developers and natural languages other than English, and introduces the notion of vibe…

  63. Code, Commits, and Complexity in the GenAI Era: A Longitudinal Study of Team-Based Capstone Projects
    USarXiv cs.SE (Software)

    arXiv:2611.07297v1 Announce Type: cross Abstract: Generative AI tools are now widely available to students, but little is known about how team-based project codebases have changed since they appeared. This matters when project courses use…

  64. QDiff: Differential Testing of Quantum Software Stacks
    USarXiv cs.SE (Software)

    arXiv:2611.08220v1 Announce Type: cross Abstract: Over the past few years, several quantum software stacks (QSS) have been developed in response to rapid hardware advances in quantum computing. A QSS includes a quantum programming…

  65. AI Slop and the Software Commons
    USarXiv cs.SE (Software)

    arXiv:2604.16754v4 Announce Type: replace Abstract: We argue that AI slop in software development is creating a tragedy of the commons. Slop is cheap to generate but expensive to review, and its costs fall on shared resources such as…

  66. SymFC: Configurable Semantics for All Paths Symbolic Execution in Haskell via Embeddings
    USarXiv cs.PL (Programming)

    arXiv:2611.07916v1 Announce Type: new Abstract: Lightweight methods like QuickCheck have proven to be successful in functional languages and beyond, as they let users specify properties as Boolean functions directly in code. We can…

  67. GUARDTs: Decentralized Access Control for Replicated Data Types
    USarXiv cs.PL (Programming)

    arXiv:2611.08083v1 Announce Type: new Abstract: Replicated data types providing strong eventual consistency offer a principled foundation for developing decentralized software. Yet existing approaches to programming such data types leave…

  68. Towards Comprehensive Mobile Application Testing for User-centric Feature Coverage via Simulating Real-World Users with Personas
    USarXiv cs.SE (Software)

    arXiv:2611.06922v1 Announce Type: new Abstract: LLM agents are increasingly used for black-box mobile application testing, where the ultimate goal is the comprehensive coverage of the features users rely on. However, most existing studies…

  69. A Multi-Modal Robotic Framework for Physical GUI Interaction Testing
    USarXiv cs.SE (Software)

    arXiv:2611.06939v1 Announce Type: new Abstract: Automated testing of mobile applications remains challenging when realistic user interactions must be reproduced and GUI behavior verified without relying on invasive mechanisms such as…

  70. Beyond the Agent Harness: Boundary Criteria for Software-Factory Orchestration - A Single-Operator Case Study
    USarXiv cs.SE (Software)

    arXiv:2611.06946v1 Announce Type: new Abstract: Several recent systems add a layer above the coding-agent harness that organises many agent runs into continuous delivery. The existence of such a layer is not our contribution. What is…

  71. When Does Combining Software-Effort Estimates Help? Evidence from Four Public Project Datasets
    USarXiv cs.SE (Software)

    arXiv:2611.06948v1 Announce Type: new Abstract: Combining estimates can reduce individual prediction errors, but an ensemble may also dilute an unusually accurate estimator or repeat errors shared by its members. We study these competing…

  72. Operationalizing Responsible AI in MLOps and ML Production: A Systematic Literature Review
    USarXiv cs.SE (Software)

    arXiv:2611.06961v1 Announce Type: new Abstract: Artificial intelligence (AI)-enabled systems are increasingly deployed in operational environments where machine learning (ML) models interact with changing data, users, infrastructure, and…

  73. When Can Self-Play Fix a False Belief? Answer Keys, Pass Bands and Replacement Rules in an Execution-Grounded Loop
    USarXiv cs.SE (Software)

    arXiv:2611.06965v1 Announce Type: new Abstract: Self-play loops in which a model writes tasks, derives an answer key and trains on its own matching solutions are often called grounded when the key comes from executing code. We ask which…

  74. Call-Level Revision Contracts for LLM-Authored Workflows
    USarXiv cs.SE (Software)

    arXiv:2611.06967v1 Announce Type: new Abstract: Durable execution engines replay a recorded history and do not compare activity payloads. When a model repairs a workflow that failed partway through, it must either pay again for calls that…

  75. An LLM-Orchestrated Neuro-Symbolic Framework for Verifying Diagnostic Signal Reachability in Electronic Systems
    USarXiv cs.SE (Software)

    arXiv:2611.07040v1 Announce Type: new Abstract: Diagnostic Signal Reachability (DSR) captures whether board-level health signals are observable by management controllers, including baseboard management controllers (BMCs), complex…

  76. Req2Rust: A Requirements-Guided Agent Harness for Project-Level C++-to-Rust Migration
    USarXiv cs.SE (Software)

    arXiv:2611.07442v1 Announce Type: new Abstract: Memory-safety concerns make Rust an attractive target for modernizing legacy C/C++ systems, yet project-level C++ migration must balance semantic fidelity with Rust-oriented reconstruction…

  77. Route Before Response: Fail-Closed Routing for LLM-Enabled Customer-Service Software
    USarXiv cs.SE (Software)

    arXiv:2611.07534v1 Announce Type: new Abstract: LLM-enabled customer-service software in financial institutions must choose a downstream service before responding. Classifiers and LLM routers can identify a relevant label or destination…

  78. AiXapply: Fast and Reliable Full-File Code Integration with Specialized Small Models for IDE Workflows
    USarXiv cs.SE (Software)

    arXiv:2611.07634v1 Announce Type: new Abstract: Large language models increasingly assist developers by proposing small code edits, yet reliably integrating a partial update snippet into an existing file while preserving unrelated content…

  79. Uncovering Systematic Blind Spots in Graph Database Testing through Integration and Process-Level Analysis
    USarXiv cs.SE (Software)

    arXiv:2611.07754v1 Announce Type: new Abstract: Graph databases are becoming foundational infrastructure for connected data, and a growing body of automated testing techniques has uncovered many bugs across mature graph database systems…

  80. Automatic Assistance to Reduce Information Overload during Software Issue Report Understanding
    USarXiv cs.SE (Software)

    arXiv:2611.07109v1 Announce Type: new Abstract: Modern issue tracking systems are used to log an issue and track it from its inception to closure. Issue reports with diverse discussions from stakeholders can be large and verbose, making…

  81. A Low Similarity Score Does Not Show Independence after Source-Conditioned Repository Rewriting
    USarXiv cs.SE (Software)

    arXiv:2611.07887v1 Announce Type: new Abstract: Maintainers sometimes cite a low token-similarity score as evidence that an LLM-assisted rewrite of a copyleft project is independent of the original. We test what such a score can support…

  82. Clojure Distilled
    USlobste.rs

    Comments

  83. From Linux to Wikipedia: How Volunteers Build the Internet
    USHacker News Front Page

    Article URL: https://thereader.mitpress.mit.edu/from-linux-to-wikipedia-how-volunteers-build-the-internet/ Comments URL: https://news.ycombinator.com/item?id=50388122 Points: 320 # Comments: 124

  84. US FAA says it will phase out floppy disks from air traffic control by 2028
    USHacker News Front Page

    Article URL: https://www.reuters.com/world/us/us-faa-says-it-will-phase-out-floppy-disks-air-traffic-control-by-2028-2026-11-05/ Comments URL: https://news.ycombinator.com/item?id=50388001 Points: 391 # Comments: 318

  85. Pwn.college
    USHacker News Front Page

    Article URL: https://pwn.college/ Comments URL: https://news.ycombinator.com/item?id=50387796 Points: 262 # Comments: 43

  86. Nvidia Kubernetes Engine (NVKE)
    USHacker News Front Page

    Article URL: https://github.com/dsx-ai-factory/nvke Comments URL: https://news.ycombinator.com/item?id=50387738 Points: 112 # Comments: 24

  87. How Windows Bootloader Starts the Kernel
    USlobste.rs

    Comments

  88. X-87 - DOS 256 bytes
    USlobste.rs

    Comments

  89. Inkling 2 Small
    USHacker News Front Page

    Article URL: https://thinkingmachines.ai/news/inkling-2-small/ Comments URL: https://news.ycombinator.com/item?id=50386338 Points: 269 # Comments: 87