AX·NEWS
Sign in

Software Engineering

Software Engineering news — Wednesday 07 October 2026

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

Open in the live feedRSS feedOn a TV

  1. The Mathocalypse
    USlobste.rs

    Comments

  2. Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90
    USlobste.rs

    Comments

  3. Archaeologists Are Reconstructing the 'Invisible' Technologies of the Stone Age
    USHacker News Front Page

    Article URL: https://www.smithsonianmag.com/science-nature/archaeologists-are-reconstructing-the-invisible-technologies-of-the-stone-age-from-rope-to-thread-and-twine-180989534/ Comments URL: https://news.ycombinator.com/item?id=49998992…

  4. Margaret Hamilton, who led software development for the Apollo program, has died
    USHacker News Front Page

    Article URL: https://news.mit.edu/2026/margaret-hamilton-computing-pioneer-dies-1007 Comments URL: https://news.ycombinator.com/item?id=49998895 Points: 2004 # Comments: 233

  5. WSL3 Performance is about 5-60% faster than WSL2 depending on the workload
    USHacker News Front Page

    Article URL: https://tonym.us/wsl2-vs-wsl3-benchmarks.html Comments URL: https://news.ycombinator.com/item?id=49998801 Points: 218 # Comments: 195

  6. New gTLD Program: 2026 Round applications
    USlobste.rs

    Comments

  7. Part 4: Safety and governance for LLM systems: guardrails, PII, audit, and memory
    USStack Overflow Blog
  8. Part 3: Knowing when your agent doesn’t know: the confidence layer
    USStack Overflow Blog
  9. Part 2: Evals as a deployment gate — and how to know when they drift
    USStack Overflow Blog
  10. All our houses are built on sand now
    USlobste.rs

    Comments

  11. Part 1: Make your AI agents boring: the determinism layer
    USStack Overflow Blog
  12. Part 6: An operating system for coding agents: the disciplined build
    USStack Overflow Blog

    Coding agents are great for an afternoon and mediocre for a quarter. Here’s the small set of files and rules — with the actual configs — that keeps quality from decaying across months and thousands of edits, whether you run one agent or a…

  13. Implementing a Modular Master-Agent Telemetry ＆ Diagnostic Framework in Python: Prime-Sentinel Command (PSC)
    USStack Overflow Blog
  14. 'Jonathan' is the oldest land animal on Earth
    USHacker News Front Page

    Article URL: https://www.404media.co/oldest-living-land-animal-jonathan-the-tortoise/ Comments URL: https://news.ycombinator.com/item?id=49998066 Points: 258 # Comments: 145

  15. When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan's International Internet Disconnection
    USlobste.rs

    Comments

  16. Software developers are not okay
    USlobste.rs

    Comments

  17. The Mathocalypse
    USHacker News Front Page

    Article URL: https://scottaaronson.blog/?p=10169 Comments URL: https://news.ycombinator.com/item?id=49997718 Points: 359 # Comments: 374

  18. Eye of Sauron: Long-Range Hidden Spy Camera Detection
    USHacker News Front Page

    Article URL: https://www.usenix.org/conference/usenixsecurity24/presentation/zhang-qibo Comments URL: https://news.ycombinator.com/item?id=49997481 Points: 320 # Comments: 76

  19. Meta and Microsoft take steps to reduce employee usage of Claude AI
    USHacker News Front Page

    Article URL: https://www.rswebsols.com/news/meta-and-microsoft-take-steps-to-reduce-employee-usage-of-claude-ai/ Comments URL: https://news.ycombinator.com/item?id=49997161 Points: 239 # Comments: 228

  20. Push ifs up and fors down: The idiom, its algebra, and its limits
    USHacker News Front Page

    Article URL: https://debasishg.github.io/blog/push-ifs-up-fors-down/ Comments URL: https://news.ycombinator.com/item?id=49997073 Points: 163 # Comments: 74

  21. Calling a function in C without naming it
    USlobste.rs

    Comments

  22. A 5.3M-year-old deep-sea whale necropolis in the Diamantina Zone
    USHacker News Front Page

    Article URL: https://www.nature.com/articles/s41586-026-10546-z Comments URL: https://news.ycombinator.com/item?id=49996639 Points: 127 # Comments: 9

  23. On Git Refs
    USlobste.rs

    Comments

  24. Claude Haiku 5.5
    USHacker News Front Page

    Article URL: https://www.anthropic.com/claude-haiku-5-5 Comments URL: https://news.ycombinator.com/item?id=49996437 Points: 1024 # Comments: 477

  25. rat's minimal register allocator
    USlobste.rs

    Comments

  26. GPT‑6 and Intelligent UI for everyone
    USHacker News Front Page

    Article URL: https://openai.com/index/gpt-6-for-everyone/ Comments URL: https://news.ycombinator.com/item?id=49996425 Points: 725 # Comments: 427

  27. In Vienna and Beijing, the first (thorium) nuclear clocks begin to tick
    USHacker News Front Page

    https://archive.ph/1PBHj https://www.nature.com/articles/s41586-026-11084-4 Comments URL: https://news.ycombinator.com/item?id=49996406 Points: 170 # Comments: 51

  28. Docker Agent
    USHacker News Front Page

    Article URL: https://github.com/docker/docker-agent Comments URL: https://news.ycombinator.com/item?id=49996259 Points: 287 # Comments: 130

  29. DuckDB Ducklake
    USHacker News Front Page

    Article URL: https://github.com/duckdb/ducklake Comments URL: https://news.ycombinator.com/item?id=49996149 Points: 216 # Comments: 27

  30. Man discovers his parents' coffee machine used 1TB of data in 10 days
    USHacker News Front Page

    https://x.com/NomadsGalaxy/status/2107284088247689290 Comments URL: https://news.ycombinator.com/item?id=49995495 Points: 882 # Comments: 533

  31. Creating distro build tooling for a small community
    USlobste.rs

    Comments

  32. Zeroization, part 1: Wiping can make things worse
    USlobste.rs

    Comments

  33. Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app
    USHacker News Front Page

    Article URL: https://bigwords.page/ Comments URL: https://news.ycombinator.com/item?id=49994443 Points: 665 # Comments: 154

  34. Navier–Stokes Lost in Translation
    USHacker News Front Page

    Article URL: https://arxiv.org/abs/2610.08144 Comments URL: https://news.ycombinator.com/item?id=49994145 Points: 290 # Comments: 177

  35. GitHub Incident with Git Operations, Pull Requests and Actions
    USHacker News Front Page

    Article URL: https://www.githubstatus.com/incidents/djlmxz2zd0j7 Comments URL: https://news.ycombinator.com/item?id=49994027 Points: 126 # Comments: 74

  36. Visa, Mastercard, Major Banks Facing New Litigation over 'Anticompetitive' Fees
    USHacker News Front Page

    Article URL: https://www.classaction.org/news/visa-mastercard-major-banks-facing-new-litigation-over-anticompetitive-merchant-credit-card-transaction-fees Comments URL: https://news.ycombinator.com/item?id=49993914 Points: 455 # Comments…

  37. Why were Victorian elites so effective?
    USHacker News Front Page

    Article URL: https://worksinprogress.co/issue/the-seven-vices-of-highly-effective-victorians/ Comments URL: https://news.ycombinator.com/item?id=49993908 Points: 194 # Comments: 321

  38. Animated ASCII Art for Web Pages
    USHacker News Front Page

    Article URL: https://ascii.rest/ Comments URL: https://news.ycombinator.com/item?id=49993857 Points: 401 # Comments: 71

  39. Twenty-two pending curl vulnerabilities
    USlobste.rs

    Comments

  40. C for Rust Programmers
    USlobste.rs

    Comments

  41. Best Books/Courses/Channels to Leapfrog on AI/ML Material
    USlobste.rs

    Assuming I have been on hibernation since 2018-19 time frame, which materials - books, MOOC courses and YT channels would be recommended for me to get started with understanding all the current progress on AI/ML. Ideally a resource like…

  42. AI-assisted proof of optimal packing for 11 squares
    USHacker News Front Page

    Article URL: https://github.com/Queuingtheorydotcom/11SquaresFormalized Comments URL: https://news.ycombinator.com/item?id=49993121 Points: 104 # Comments: 48

  43. Chromium Hardening Guide
    USlobste.rs

    Comments

  44. ETH-68: Ethernet Audio Interface for Linux
    USHacker News Front Page

    Article URL: https://naturalsystems.io/eth68 Comments URL: https://news.ycombinator.com/item?id=49992994 Points: 205 # Comments: 131

  45. Unrolled code
    USlobste.rs

    Comments

  46. Introducing mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps
    USlobste.rs

    Comments

  47. Anti-Patterns in Software Blogging
    USlobste.rs

    Comments

  48. Anti-Patterns in Software Blogging
    USHacker News Front Page

    Article URL: https://refactoringenglish.com/blog/anti-patterns-software-blogging/ Comments URL: https://news.ycombinator.com/item?id=49992257 Points: 257 # Comments: 134

  49. House with 15m underground tunnels for sale for 300k
    USHacker News Front Page

    Article URL: https://www.readingchronicle.co.uk/news/26612080.house-15m-underground-tunnels-sale-300k/ Comments URL: https://news.ycombinator.com/item?id=49992125 Points: 192 # Comments: 175

  50. Escape Analysis in Go: Stack or Heap? - YouTube
    USlobste.rs

    Comments

  51. Show HN: A walkable 3D art history museum built from Wikipedia
    USHacker News Front Page

    From Li Cheng to Banksy Comments URL: https://news.ycombinator.com/item?id=49992057 Points: 121 # Comments: 50

  52. 2D Vehicles
    USHacker News Front Page

    Article URL: https://patkerr.co.uk/2d-vehicles/ Comments URL: https://news.ycombinator.com/item?id=49991852 Points: 598 # Comments: 113

  53. Google Playground: Create and play custom games
    USHacker News Front Page

    https://labs.google/playground Comments URL: https://news.ycombinator.com/item?id=49991823 Points: 140 # Comments: 212

  54. An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust
    USlobste.rs

    Comments

  55. Shipping JPEG XL in Chrome
    USlobste.rs

    Comments

  56. The Data Race That Wasn't a Bug (and the One That Was)
    USlobste.rs

    Comments

  57. God of War on PSP, recompiled to WebAssembly and running in the browser
    USHacker News Front Page

    Article URL: https://github.com/snuri00/psp-web-recomp Comments URL: https://news.ycombinator.com/item?id=49991243 Points: 142 # Comments: 76

  58. Shipping JPEG XL in Chrome
    USHacker News Front Page

    Article URL: https://developer.chrome.com/blog/jpeg-xl-in-chrome Comments URL: https://news.ycombinator.com/item?id=49991227 Points: 532 # Comments: 352

  59. Koreader reading statistics and highlights sync for spaced repetition
    USlobste.rs

    Comments

  60. How In-Game Overlays Work (2022)
    USlobste.rs

    this only talks about direct3d, no mention of vulkan's layers feature Comments

  61. Nobel Prize in Chemistry 2026 to Henri B. Kagan and Kenso Soai
    USHacker News Front Page

    Article URL: https://www.nobelprize.org/prizes/chemistry/2026/press-release/ Comments URL: https://news.ycombinator.com/item?id=49990470 Points: 285 # Comments: 53

  62. Faster streaming HTML with batches and aggregates
    USlobste.rs

    Comments

  63. A font recreated from photographs of classic Commodore 64 keycaps
    USHacker News Front Page

    Article URL: https://github.com/szabadkai/c64-keyboard-font/ Comments URL: https://news.ycombinator.com/item?id=49990224 Points: 369 # Comments: 62

  64. Inside the Mojo compiler
    USlobste.rs

    Comments

  65. Explaining the Magelight XP glitch in Skyrim
    USlobste.rs

    Comments

  66. Headers Up! What's New in httpd and relayd
    USlobste.rs

    Comments

  67. Reasons to dislike AI coding
    USlobste.rs

    Comments

  68. Hackers obtain counterfeit TLS certificates for Google and other large services
    USHacker News Front Page

    Article URL: https://arstechnica.com/security/2026/10/hackers-obtain-counterfeit-tls-certificates-for-google-and-other-large-services/ Comments URL: https://news.ycombinator.com/item?id=49988230 Points: 100 # Comments: 32

  69. Pattern-Guided Graph Synthesis for Suppressing Known Defects in DL Compiler Fuzzing
    USarXiv cs.SE (Software)

    arXiv:2610.06968v1 Announce Type: cross Abstract: Fuzzing is effective at finding bugs in deep learning (DL) compilers, but existing fuzzers repeatedly trigger faults they have already uncovered. Current fuzzers diversify the generated…

  70. Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
    USarXiv cs.SE (Software)

    arXiv:2604.23509v3 Announce Type: replace Abstract: Business logic bugs violate intended business semantics and are particularly prevalent in enterprise software. Yet most existing unit test generation techniques are code-centric, making…

  71. When Tools Lie: Reliability of Mathematical Agents Under Corrupted Tool Feedback
    USarXiv cs.SE (Software)

    arXiv:2610.08097v1 Announce Type: cross Abstract: Mathematical problem solving often requires deterministic computational steps that agents delegate to tools and implicitly trust. Yet tools can fail silently, returning plausible but…

  72. PBT-Bench: Benchmarking AI Agents on Property-Based Testing
    USarXiv cs.SE (Software)

    arXiv:2605.15229v4 Announce Type: replace Abstract: Existing code benchmarks measure whether an agent can produce any test that reproduces a known bug, or whether it can produce a patch that fixes a described issue. Neither isolates the…

  73. CISB-Bench: An Auditable Source--IR Dataset of Compiler-Introduced Security Bugs
    USarXiv cs.SE (Software)

    arXiv:2610.07635v1 Announce Type: cross Abstract: Compiler-introduced security bugs (CISBs) arise when an optimization, lowering, or instrumentation decision changes a security-relevant property of the generated program. They are difficult…

  74. Online Sign Language Interpretation System
    USarXiv cs.SE (Software)

    arXiv:2610.07872v1 Announce Type: cross Abstract: The Walloon Region commissioned this study to improve deaf people's access to public services for the new millennium. It focuses on sign language users, about 25,000 adults in the…

  75. SAFESHIELD: A Decision-Organization Framework for Deployment-Time Safety of Small Language Models
    USarXiv cs.SE (Software)

    arXiv:2610.07276v1 Announce Type: new Abstract: Deployment-time safety of language models is commonly implemented through runtime guardrails such as input moderation, routing, retrieval verification, and output filtering. Existing…

  76. Harness Engineering for Software Engineering via Modular Executable Dev-Primitives
    USarXiv cs.SE (Software)

    arXiv:2610.07832v1 Announce Type: new Abstract: Large language models (LLMs) equipped with terminal access have demonstrated strong capabilities in automating software engineering tasks. However, existing agents remain brittle on…

  77. CLEAR: Causal Context-Based Agentic Reasoning for Vulnerability Detection
    USarXiv cs.SE (Software)

    arXiv:2608.03134v2 Announce Type: replace-cross Abstract: Detecting source code vulnerabilities is increasingly difficult as modern security flaws are rooted in complex causal dependencies between execution flows, control conditions, and…

  78. The EPIC Framework for Spec-Driven Development
    USarXiv cs.SE (Software)

    arXiv:2610.07534v1 Announce Type: new Abstract: One practitioner we interviewed said their team writes "must" instead of "should" when instructing a coding agent, because the agent may treat "should" as optional. Small wording choices…

  79. ZonoGPT: Towards An Abstract Domain for Verifying Large GPT Models
    USarXiv cs.SE (Software)

    arXiv:2609.34457v2 Announce Type: replace-cross Abstract: Transformer-based models are widely used for reasoning, coding, and multimodal agentic tasks. To provide formal assurance of desirable behaviors, such as robustness, safety, and…

  80. RAPO-Sol: Retrieval-Augmented Preference Optimization for Repository-Level Solidity Code Generation
    USarXiv cs.SE (Software)

    arXiv:2610.08429v1 Announce Type: new Abstract: Smart contracts written in Solidity manage assets, permissions, and irreversible state changes, making code generation both useful and security-critical. Repository-level Solidity generation…

  81. Learning from Failures: A Failure-Driven Prompt Refinement for LLM-Based Vulnerability Analysis
    USarXiv cs.SE (Software)

    arXiv:2610.08405v1 Announce Type: new Abstract: Large Language Models have emerged as promising tools for software vulnerability analysis, but their effectiveness depends heavily on prompt design. Existing research primarily compares…

  82. A Case Study in Assuring AI-Written Software
    USarXiv cs.SE (Software)

    arXiv:2610.08651v1 Announce Type: new Abstract: Software-engineering agents can enable people without formal software training to build systems they could not otherwise implement and simultaneously can produce more code than even experts…

  83. Beyond the Leaderboard: Multi-Dimensional Evaluation of Dense and Mixture-of-Experts Models for Automated Program Repair
    USarXiv cs.SE (Software)

    arXiv:2610.08173v1 Announce Type: new Abstract: Automated Program Repair (APR) with language models is usually evaluated by whether a generated patch passes the test suite, which can hide differences in maintainability, security, and…

  84. FC-SWE: Failure-Conditioned RL for Long-Horizon Software Engineering Agents
    USarXiv cs.SE (Software)

    arXiv:2610.07898v1 Announce Type: cross Abstract: Repository-level software engineering (SWE) is a challenging long-horizon setting: agents must reason over extended interactions, use tools, and adapt to stateful environments. Recent work…

  85. ASAP: Assembly-Source Aligned Pseudocode Refinement For Binary Decompilation
    USarXiv cs.SE (Software)

    arXiv:2610.06900v1 Announce Type: cross Abstract: Large language models (LLMs) are increasingly used in binary decompilation to refine the C-like pseudocode produced by traditional rule-based decompilers. While this pseudocode is useful…

  86. When Does a Second Model Help? Cross-Model Review in LLM Verification
    USarXiv cs.SE (Software)

    arXiv:2610.01471v2 Announce Type: replace-cross Abstract: Large language models now generate code, documentation, and analyses, and are increasingly used to review such output. We ask when a second review by a different model helps…

  87. WarpDRF: Data-Race Freedom for Warp-Level Programming
    USarXiv cs.PL (Programming)

    arXiv:2610.07541v1 Announce Type: new Abstract: Warp primitives such as tensor core operations, shuffles, reductions, and barriers are critical to high-performance GPU kernels, and every major GPU language supports some set of them. The…

  88. ParanoiaEval: Benchmarking Unnecessary Defensive Work in Agentic Coding
    USarXiv cs.SE (Software)

    arXiv:2610.08662v1 Announce Type: cross Abstract: As coding agents increasingly undertake real-world work autonomously, judging whether their risk treatments are warranted has become important. Existing work evaluates related agent…

  89. Palette: A Modular, Controllable, and Efficient Framework for On-demand Authorized Safety Alignment Relaxation in LLMs
    USarXiv cs.SE (Software)

    arXiv:2605.24154v2 Announce Type: replace-cross Abstract: Current safety alignment of foundation models largely follows a \emph{one-size-fits-all} paradigm, applying the same refusal policy across users and contexts. As a result, models…

  90. ES-Trace: Auditing Ethical-Sourcing Disclosure of Code Generation Models Beyond Model Cards
    USarXiv cs.SE (Software)

    arXiv:2610.07762v1 Announce Type: new Abstract: Code generation models have been increasingly used in software development, but their development raises ethical-sourcing concerns involving intellectual property, privacy, fairness, labour…

  91. GPU Acceleration of Awkward Arrays: Using Python cuda.compute
    USarXiv cs.SE (Software)

    arXiv:2610.08238v1 Announce Type: cross Abstract: Awkward Array is a widely used library in high-energy physics (HEP) for representing and manipulating nested, variable-length data in Python. Previous CHEP contributions have explored GPU…

  92. ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization
    USarXiv cs.SE (Software)

    arXiv:2602.15983v5 Announce Type: replace Abstract: Large language models (LLMs) can translate natural-language problem descriptions into optimization code, but the code is prone to silent failures: it executes and returns a…

  93. CLAD: Constrained Abstract Domain for Neural Network Verification
    USarXiv cs.SE (Software)

    arXiv:2609.34628v2 Announce Type: replace Abstract: Neural network verification (NNV) formally verifies that a network satisfies a specified property for all inputs within a defined region. Modern NNV tools employ abstract domains to…

  94. When Old Facts Return: Re-Reads, Reverts, and the Limits of Temporal Memory
    USarXiv cs.SE (Software)

    arXiv:2610.07715v1 Announce Type: new Abstract: A memory system can retire an obsolete value and later restore it merely because the same old statement appears again. A re-read of an old source and a genuine revert can produce the same…

  95. Acquiring and Verifying Repository Norms for Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.07757v1 Announce Type: new Abstract: Changes produced by coding agents can pass functional tests while leaving repository contribution requirements unmet. Following repository-specific norms requires identifying guidance…

  96. How Much Evidence Should a Coding Agent's Self-Correction Carry? Adaptive Dirichlet Evidence for Self-Distillation
    USarXiv cs.SE (Software)

    arXiv:2610.08514v1 Announce Type: cross Abstract: Execution feedback lets coding agents revise programs and learn from their own corrections. A correction's learning weight should reflect both the transitions supported by its executions…

  97. Pattern-Guided Graph Synthesis for Suppressing Known Defects in DL Compiler Fuzzing
    USarXiv cs.PL (Programming)

    arXiv:2610.06968v1 Announce Type: new Abstract: Fuzzing is effective at finding bugs in deep learning (DL) compilers, but existing fuzzers repeatedly trigger faults they have already uncovered. Current fuzzers diversify the generated…

  98. Cleave: Scaling Tensor Program Optimization via Decoupled Algebraic Search and Operator Scheduling
    USarXiv cs.PL (Programming)

    arXiv:2610.07742v1 Announce Type: new Abstract: Optimized kernels such as FlashAttention and FlashDecoding are crucial for accelerating today's large models. Most of them are handwritten by experts because existing ML compilers cannot…

  99. A Validated Dataset and Benchmark for Coherent Multi-Diagram SysML Models
    USarXiv cs.SE (Software)

    arXiv:2610.07356v1 Announce Type: new Abstract: Systems engineers use several diagrams to describe the structure and behavior of systems. Engineers create these diagrams together to make sure that they use the same elements and remain…

  100. CogAdapt: Cognition-informed Sparse Adaptation of Code LLMs
    USarXiv cs.SE (Software)

    arXiv:2610.07446v1 Announce Type: new Abstract: Large language models (LLMs) have become increasingly capable of generating code. However, achieving stronger code-generation performance still often relies on costly model adaptation, i.e…

  101. Recursive Game Creator: An Agentic Product-Level Experience-Oriented Game Harness
    USarXiv cs.SE (Software)

    arXiv:2610.08621v1 Announce Type: cross Abstract: Recent game design agents have made substantial progress in generating playable games. However, program correctness does not ensure an enjoyable experience for players. We present Recursive…

  102. Theory building in software engineering: Operationalization
    USarXiv cs.SE (Software)

    arXiv:2412.02384v2 Announce Type: replace Abstract: This work is part of a research project whose ultimate goal is to systematize a procedure for constructing theories in software engineering. The proposed methodology involves four phases…

  103. Catching Developers in the Flow: Low-Latency Agentic Program Repair at Google Scale
    USarXiv cs.SE (Software)

    arXiv:2610.07289v1 Announce Type: new Abstract: Manual repair of program failures is time-consuming and disruptive for software developers, particularly during the pre-submit phase where test failures occur within continuous integration…

  104. Newer and Bigger, but Safer? A Longitudinal Study of the Functionality-Security Gap in LLM-Generated Code
    USarXiv cs.SE (Software)

    arXiv:2610.08240v1 Announce Type: new Abstract: Large Language Models (LLMs) are widely used to generate code. Although their functional plausibility keeps improving, the generated code often contains security vulnerabilities. The…

  105. CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
    USarXiv cs.SE (Software)

    arXiv:2610.07557v1 Announce Type: new Abstract: Static-analysis checker synthesis requires agents to interpret a defect specification, inspect a repository, implement analyzer-specific logic, and refine the checker through repeated…

  106. Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
    USarXiv cs.SE (Software)

    arXiv:2603.27224v5 Announce Type: replace Abstract: Memory leaks remain prevalent in real-world C/C++ software. Static analyzers such as CodeQL provide scalable program analysis but frequently miss such bugs because they cannot recognize…

  107. ASAP: Assembly-Source Aligned Pseudocode Refinement For Binary Decompilation
    USarXiv cs.PL (Programming)

    arXiv:2610.06900v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used in binary decompilation to refine the C-like pseudocode produced by traditional rule-based decompilers. While this pseudocode is useful, it…

  108. HarnessSecurity-Bench: Do Security Mechanisms Really Protect Coding Agent Harnesses?
    USarXiv cs.SE (Software)

    arXiv:2610.07639v1 Announce Type: cross Abstract: Coding agent harnesses mediate tool use and authorize actions, yet their security mechanisms and runtime effects remain incompletely characterized. We present HarnessSecurity, the first…

  109. The art of defusing a second world war bomb
    USHacker News Front Page

    Article URL: https://www.theguardian.com/news/ng-interactive/2026/oct/06/it-could-knock-a-whole-street-down-the-art-of-defusing-a-second-world-war-bomb Comments URL: https://news.ycombinator.com/item?id=49987858 Points: 108 # Comments: 86

  110. OpenAI shares mathematics research catalogue
    USlobste.rs

    Comments

  111. How fast is Python 3.15?
    USlobste.rs

    Comments

  112. Strands Decider 2B: a small, open-source, decision model
    USHacker News Front Page

    Article URL: https://strandsagents.com/blog/introducing-strands-decider/ Comments URL: https://news.ycombinator.com/item?id=49987076 Points: 249 # Comments: 69

  113. Chernobyl particles reveal unexpectedly stable nuclear fuel after 40 years
    USHacker News Front Page

    Article URL: https://phys.org/news/2026-10-chernobyl-particles-reveal-unexpectedly-stable.html Comments URL: https://news.ycombinator.com/item?id=49986919 Points: 158 # Comments: 67

  114. I hired an illustrator to draw my house. Now it's my Home Assistant dashboard
    USHacker News Front Page

    Article URL: https://antonfrolov.substack.com/p/i-hired-an-illustrator-to-draw-my Comments URL: https://news.ycombinator.com/item?id=49986882 Points: 866 # Comments: 192

  115. ESP32-C3 Adblock
    USHacker News Front Page

    Article URL: https://github.com/M-Abozaid/esp32-c3-adblock Comments URL: https://news.ycombinator.com/item?id=49986862 Points: 167 # Comments: 63

  116. When random is not actually random enough
    USlobste.rs

    Comments

  117. Raspberry Pi Desktop now available for PC and Mac
    USlobste.rs

    Comments

  118. Is COSMIC DE mogging KDE Plasma?
    USlobste.rs

    Comments

  119. json2dir: Directory archives, made human-readable
    USlobste.rs

    Comments