AX·NEWS
Sign in

Software Engineering

Software Engineering news — Friday 02 October 2026

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

Open in the live feedRSS feedOn a TV

  1. I got targeted: Trying to get your credentials via a git post-checkout hook
    USlobste.rs

    Comments

  2. Lobsters Interview with Sjamaan
    USlobste.rs

    Our dear @sjamaan ( website ) is a CHICKEN scheme maintainer and professional Clojure developer. We got to know each other on IRC over a few months and discussed: CHICKEN Scheme and its 6.0.0 release Scheme's community and standardization…

  3. Zig 0.17.0 Release Notes
    USlobste.rs

    Comments

  4. Every SaaS business will become a harness around a model
    USHacker News Front Page

    Article URL: https://blog.sshh.io/p/the-harness-is-the-company Comments URL: https://news.ycombinator.com/item?id=49938616 Points: 115 # Comments: 84

  5. Respecting your users' dread of the clankers
    USlobste.rs

    Comments

  6. Zig v0.17.0
    USHacker News Front Page

    Article URL: https://ziglang.org/download/0.17.0/release-notes.html Comments URL: https://news.ycombinator.com/item?id=49938521 Points: 137 # Comments: 66

  7. Woking Electrical Control Room (2016)
    USHacker News Front Page

    Article URL: http://www.darbiansphotography.com/woking-electrical-control-room-urbex Comments URL: https://news.ycombinator.com/item?id=49938399 Points: 140 # Comments: 27

  8. Keeping Futhark off the GPU
    USlobste.rs

    Comments

  9. Updates to Full Disk Access in macOS
    USlobste.rs

    Comments

  10. Updates to Full Disk Access in macOS
    USHacker News Front Page

    Article URL: https://developer.apple.com/news/?id=p6zjojqw Comments URL: https://news.ycombinator.com/item?id=49937631 Points: 280 # Comments: 199

  11. Make Tmux the OS
    USHacker News Front Page

    Article URL: https://matduggan.com/what-does-my-dream-os-ui-look-like/ Comments URL: https://news.ycombinator.com/item?id=49937540 Points: 158 # Comments: 99

  12. Muse Gadgets
    USHacker News Front Page

    Article URL: https://gadgets.muse.ai Comments URL: https://news.ycombinator.com/item?id=49937504 Points: 231 # Comments: 104

  13. Apple Pass Designer
    USHacker News Front Page

    Article URL: https://developer.apple.com/pass-designer/ Comments URL: https://news.ycombinator.com/item?id=49937276 Points: 538 # Comments: 321

  14. Microsoft doubles down on Rust
    USlobste.rs

    Comments

  15. Klassik Revives the KDE 3 Desktop on Modern Plasma 6
    USlobste.rs

    Comments

  16. From the creator of Redis; run LLM locally with ds4
    USHacker News Front Page

    Article URL: https://dwarfstar.sh/ Comments URL: https://news.ycombinator.com/item?id=49936575 Points: 321 # Comments: 93

  17. Driving the GDEH0154D67 e-paper display with Rust
    USlobste.rs

    Comments

  18. ICC judge on what U.S. sanctions mean for her and global courts
    USHacker News Front Page

    Article URL: https://www.npr.org/2026/10/01/nx-s1-5977815/trump-icc-sanctions-kimberly-prost Comments URL: https://news.ycombinator.com/item?id=49935867 Points: 138 # Comments: 51

  19. The Four Horsemen of Agentic Coding
    USlobste.rs

    Comments

  20. Supabase is acquiring Turso
    USHacker News Front Page

    Article URL: https://supabase.com/blog/supabase-is-acquiring-turso Comments URL: https://news.ycombinator.com/item?id=49934784 Points: 162 # Comments: 85

  21. One month coding with GLM 5.3 Flash
    USHacker News Front Page

    Article URL: https://wagtail.org/blog/one-month-on-glm-53-flash/ Comments URL: https://news.ycombinator.com/item?id=49934620 Points: 210 # Comments: 165

  22. AI Makes Me Sad
    USHacker News Front Page

    Article URL: https://mondobe.com/ai-makes-me-sad Comments URL: https://news.ycombinator.com/item?id=49934487 Points: 118 # Comments: 114

  23. GitHub repository landing pages now show an accessibility tab, if provided
    USlobste.rs

    Comments

  24. JetBrains Air: Building a System of Products for Agentic Software Development
    USlobste.rs

    Comments

  25. Big Tech ruined the cloud, so we're renaming ours
    USHacker News Front Page

    Article URL: https://www.home-assistant.io/blog/2026/10/02/big-tech-ruined-the-cloud-so-were-renaming-ours/ Comments URL: https://news.ycombinator.com/item?id=49934228 Points: 155 # Comments: 55

  26. SequenceHash: multihashing for the rest of us
    USlobste.rs

    Comments

  27. The Forgetful CPU (Linux on M4)
    USHacker News Front Page

    Article URL: https://yuka.dev/blog-2026-10-02-linux-m4.html Comments URL: https://news.ycombinator.com/item?id=49933869 Points: 244 # Comments: 165

  28. Actual RFC1149 packet being auctioned
    USlobste.rs

    Comments

  29. With most information hidden, the game Stratego had stumped AI until now
    USHacker News Front Page

    https://www.nature.com/articles/s41586-026-11036-y https://arxiv.org/abs/2511.07312 Comments URL: https://news.ycombinator.com/item?id=49933740 Points: 269 # Comments: 135

  30. The forgetful CPU (Linux on M4)
    USlobste.rs

    Comments

  31. Hanami, Why?: Bits ＆ Bobs
    USlobste.rs

    Comments

  32. Decision models like Jev don't beat LLM-as-a-judge or traditional classifiers
    USHacker News Front Page

    Article URL: https://developers.redhat.com/articles/2026/10/02/benchmarking-ai-decision-models-against-traditional-guardrails Comments URL: https://news.ycombinator.com/item?id=49933476 Points: 124 # Comments: 45

  33. A map of every lighthouse
    USHacker News Front Page

    Article URL: https://mapped.earth/lighthouses/world Comments URL: https://news.ycombinator.com/item?id=49933461 Points: 177 # Comments: 76

  34. Advice to a beginning software engineer
    USlobste.rs

    Comments

  35. The Legend of von Neumann [pdf]
    USHacker News Front Page

    Article URL: https://gwern.net/doc/math/1973-halmos.pdf Comments URL: https://news.ycombinator.com/item?id=49933235 Points: 271 # Comments: 146

  36. Venice’s failed war against Constantinople led to the first bond market
    USHacker News Front Page

    Article URL: https://bigthink.com/books/a-fabulous-debt/ Comments URL: https://news.ycombinator.com/item?id=49933230 Points: 101 # Comments: 32

  37. Debian 13 as a dual WAN router
    USlobste.rs

    Comments

  38. On social reality in China
    USHacker News Front Page

    Article URL: https://www.lesswrong.com/posts/b5cSYh4emQb2qrGmK/on-social-reality-in-china Comments URL: https://news.ycombinator.com/item?id=49932402 Points: 111 # Comments: 109

  39. The Tao of Backup
    USHacker News Front Page

    Article URL: http://www.taobackup.com/index.html Comments URL: https://news.ycombinator.com/item?id=49932236 Points: 247 # Comments: 98

  40. A 12-year sequence of telescope images of a star and four planets orbiting
    USHacker News Front Page

    Article URL: https://bsky.app/profile/theplanetaryguy.com/post/3mwucf5ert22f Comments URL: https://news.ycombinator.com/item?id=49932147 Points: 382 # Comments: 78

  41. GIMP - Interview with LiamQuin
    USlobste.rs

    Comments

  42. Generic Const Args and You
    USlobste.rs

    Comments

  43. The hidden design compromises of Docker layers
    USlobste.rs

    Comments

  44. Readable Regular Expressions for JavaScript/TypeScript, Inspired by Emacs' rx
    USlobste.rs

    Comments

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

  46. Thrust vs. Steer (or: Yet Another Anecdotal Case of the Dunning-Kruger Effect)
    USlobste.rs

    Comments

  47. Show HN: Audionaut – an open-source cross-platform multitrack audio editor
    USHacker News Front Page

    Article URL: https://github.com/kvoltmer/Audionaut Comments URL: https://news.ycombinator.com/item?id=49931031 Points: 124 # Comments: 44

  48. sixteenth RacketCon this weekend
    USlobste.rs

    Sixtennth RacketCon is this weekend Comments

  49. Constraints that make developers faster
    USStack Overflow Blog

    Ryan chats with Julien Verlaguet, CEO at Skip Labs, about finding the balance between human tolerance and tooling constraints, the spectrum of typed programming languages, and building cost-effective tooling for AI agents.

  50. @storyteller-platform/epub v1.0.0 release
    USlobste.rs

    Comments

  51. Glashütte Trash Clock – A 30-minute pendulum clock made from trash
    USHacker News Front Page

    This is a functional 30-minute pendulum clock entirely from discarded materials—cardboard, zip ties, tape, a yardstick, and a paperclip escapement, built in the German Eldorado of precision watchmaking: Glashütte. It also acts as a…

  52. Shimano Bicycle Museum Review
    USHacker News Front Page

    Article URL: https://inrng.com/2026/10/shimano-bicycle-museum/ Comments URL: https://news.ycombinator.com/item?id=49930047 Points: 271 # Comments: 67

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

    arXiv:2609.33547v3 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…

  54. ABSENTIA: Detecting Broken Access Control Vulnerabilities in Web Applications
    USarXiv cs.SE (Software)

    arXiv:2610.00977v1 Announce Type: cross Abstract: Broken access control, the failure of authorization, is one of the most prevalent web security risks. Unlike injection, a flow of untrusted input into a dangerous operation, authorization…

  55. Correctness, Convergence, and AI-Generated Code Detection: A Longitudinal Study of Student and Large Language Model Code in Introductory Programming
    USarXiv cs.SE (Software)

    arXiv:2610.00863v1 Announce Type: cross Abstract: Large language models can generate plausible solutions to programming assignments, making it tempting to detect their use by matching student code against a reference bank of generated…

  56. Code Detectors Have a Half-Life: Obsolescence and Metric Illusions in LLM-Generated Code Detection
    USarXiv cs.SE (Software)

    arXiv:2610.01664v1 Announce Type: new Abstract: Code detectors can become obsolete as code-generating models evolve: a detector validated on one generation of models may not transfer to the next. We call this limited useful life a detector…

  57. Testing and Verification of Quantum Compilers through Assurance Contracts and Evidence
    USarXiv cs.SE (Software)

    arXiv:2610.00255v1 Announce Type: new Abstract: Quantum compiler assurance requires a semantic relation that matches the intended use and observations that can expose violations at the delivered interface. This critical integrative survey…

  58. Finding the Right Fit: Model-Harness Interactions across Agent Tasks
    USarXiv cs.SE (Software)

    arXiv:2610.00917v1 Announce Type: cross Abstract: Choosing an agent system means choosing both a language model and the harness through which it acts. We ask whether a strong model, harness, or pairing stays strong when the setting…

  59. Efficient Solvers for SLOPE in R, Python, Julia, and C++
    USarXiv cs.SE (Software)

    arXiv:2511.02430v4 Announce Type: replace-cross Abstract: We present a suite of packages in R, Python, Julia, and C++ that efficiently solve the Sorted L-One Penalized Estimation (SLOPE) problem. The packages feature a highly efficient…

  60. Extending LLM-based support for software engineers with ADHD
    USarXiv cs.SE (Software)

    arXiv:2610.00555v1 Announce Type: new Abstract: Software engineering workflows are often not designed to accommodate the needs of developers with Attention Deficit Hyperactivity Disorder (ADHD), despite known challenges related to task…

  61. ASAD: Adaptive Software Agents for Debugging
    USarXiv cs.SE (Software)

    arXiv:2610.00629v1 Announce Type: new Abstract: The integration of Large Language Models (LLMs) into multi-agent systems has shown great potential for automated debugging. Yet nearly all current frameworks rely on rigid, predefined…

  62. CompProv Produces Machine Readable Graphs Encoding Microscopic Algebraic Provenance for Reproducible Computation
    USarXiv cs.SE (Software)

    arXiv:2610.01203v1 Announce Type: new Abstract: The reliability of computational results in scientific research and financial modeling increasingly depends on verifiable traceability, not merely on trust in a reported output. Existing…

  63. Cross-Benchmark Transfer from RL on Agentic Coding Tasks
    USarXiv cs.SE (Software)

    arXiv:2610.00890v1 Announce Type: cross Abstract: Coding agents often fail in the last mile: they build most of a feature but drop a requirement, test only the cases their implementation already handles, break behavior that was supposed to…

  64. On the Illusion of Success: An Empirical Study of Job Reruns and Silent Failures in Industrial CI
    USarXiv cs.SE (Software)

    arXiv:2509.14347v2 Announce Type: replace Abstract: Reliability of build outcomes is a cornerstone of effective Continuous Integration (CI). Yet in practice, developers often struggle with non-deterministic issues in the code or CI…

  65. The Next Challenge for Agentic Cybersecurity: A Realistic, Contamination-Free Reverse Engineering Benchmark
    USarXiv cs.SE (Software)

    arXiv:2608.11469v2 Announce Type: replace-cross Abstract: AI agents are rapidly improving in cybersecurity when source code is available, yet much of the software most consequential to security, including malware, firmware, and proprietary…

  66. Code That Works, Environments That Don't: Measuring Environment Reproducibility in AI-Generated Software
    USarXiv cs.SE (Software)

    arXiv:2610.00425v1 Announce Type: new Abstract: Code generation has emerged as a central capability of large language models, with coding agents now able to produce functionally correct software projects from natural language prompts…

  67. MCRI: A Four-Dimensional Framework for Analyzing and Evaluating Agent Skills
    USarXiv cs.SE (Software)

    arXiv:2610.01506v1 Announce Type: cross Abstract: As agents evolve from single-tool systems into modular, composite architectures, skills are becoming an important mechanism for capability development and distribution. However, the…

  68. Emergence-as-Code as a Foundation for Reliable Self-Governance
    USarXiv cs.SE (Software)

    arXiv:2602.05458v3 Announce Type: replace Abstract: Local adaptations can preserve component health while changing whether a system meets its reliability requirements. The system-level consequence depends on the interaction affected and…

  69. Detecting Inconsistencies in Model Specifications with LLM-as-Verifier Reasoning
    USarXiv cs.SE (Software)

    arXiv:2610.01847v1 Announce Type: new Abstract: Model specifications define how large language models (LLMs) should behave, guiding alignment training, inference-time behavior, and evaluation. Yet these specifications may themselves…

  70. Groundability, Not Scale Alone: When Weak Reviewers Can Audit Strong Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.01023v1 Announce Type: new Abstract: Coding agents can return plausible patches that omit required behavior. These failures are hard to review because long traces and confident summaries often hide what was missed. We ask when a…

  71. Are AI Coders Snitches? An Empirical Study of Pretraining Data Detection on Code Large Language Models
    USarXiv cs.SE (Software)

    arXiv:2507.17389v2 Announce Type: replace Abstract: Recent advances in code large language models (CodeLLMs) have made them indispensable tools in modern software engineering. However, these models occasionally produce outputs that contain…

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

    arXiv:2609.33547v3 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…

  73. Software Project Management with LLM-Based Automation: Coordination, Validation, and Governance in Practice
    USarXiv cs.SE (Software)

    arXiv:2610.00027v1 Announce Type: new Abstract: As software engineering has evolved, development environments have increasingly integrated automated support for tasks such as testing, analysis, and code generation, requiring project…

  74. Incentives and Outcomes in Bug Bounties
    USarXiv cs.SE (Software)

    arXiv:2509.16655v2 Announce Type: replace Abstract: Bug bounty programs have contributed significantly to security in technology firms in the last decade, but little is known about the role of reward incentives in producing useful…

  75. SWE-chat: Coding Agent Interactions From Real Users in the Wild
    USarXiv cs.SE (Software)

    arXiv:2604.20779v2 Announce Type: replace-cross Abstract: AI coding agents are being adopted at scale, yet we lack empirical evidence on how people actually use them and how much of their output is useful in practice. We present SWE-chat…

  76. Understanding and Mitigating Library-Related Issues in LLM-Generated Code
    USarXiv cs.SE (Software)

    arXiv:2610.00622v1 Announce Type: new Abstract: Software practitioners increasingly rely on Large Language Models (LLMs) to generate code that integrates external libraries. However, LLMs often produce incorrect library usage, such as…

  77. From Verification Failures to Reusable Guidance for Coding Agents
    USarXiv cs.PL (Programming)

    arXiv:2609.39022v2 Announce Type: replace-cross Abstract: Coding agents need to establish that a program satisfies a specification and that the specification captures the requested behavior. We study how expert diagnosis of verification…

  78. Augmenting Rewrite Rule Sets via Knuth-Bendix Completion
    USarXiv cs.PL (Programming)

    arXiv:2610.01246v1 Announce Type: new Abstract: Equality Saturation (EqSat) is a powerful technique for program optimization, systematically exploring the search space of candidate programs to overcome the phase ordering problem. However…

  79. Fixing the Fixpoint: A Formal Theory of Convergence Detection for Incremental Recursive Computation
    USarXiv cs.PL (Programming)

    arXiv:2610.00530v1 Announce Type: new Abstract: Modern incremental computation theories like DBSP have enabled efficient incrementalization of general recursive computations. To do so, they require a runtime Fixpoint Detection (FPD)…

  80. Characterizing and Codifying Malware Sophistication
    USarXiv cs.SE (Software)

    arXiv:2610.00098v1 Announce Type: cross Abstract: 'Sophisticated' is widely used to describe malware, yet it lacks a consistent definition within academic literature. While existing software quality and complexity metrics offer some…

  81. Zero2Repo: Can Coding Agents Build Repositories from Scratch?
    USarXiv cs.SE (Software)

    arXiv:2609.38269v2 Announce Type: replace Abstract: Coding agents are increasingly asked to build software rather than patch it, yet benchmarks for from-scratch repository construction are mostly limited to a single language and depend on…

  82. HarnessAgent: Scaling Automatic Fuzzing Harness Construction with Tool-Augmented LLM Pipelines
    USarXiv cs.SE (Software)

    arXiv:2512.03420v4 Announce Type: replace-cross Abstract: Large language model (LLM)-based techniques have achieved notable progress in generating harnesses for program fuzzing. However, applying them to arbitrary functions (especially…

  83. FORALL-LEAN-AGENT for Auditable Reasoning in Formal Mathematics and Software Verification
    USarXiv cs.SE (Software)

    arXiv:2610.00885v1 Announce Type: new Abstract: Coding agents increasingly automate Lean proof development, but successful compilation alone does not establish that a candidate proves the intended statement under acceptable assumptions. We…

  84. FastCI: Efficient GPU-Intensive CI for LLM Training Frameworks
    USarXiv cs.SE (Software)

    arXiv:2610.01967v1 Announce Type: cross Abstract: As large language models (LLMs) keep growing in size and complexity, their training frameworks evolve at a rapid pace as well. Therefore, continuous integration (CI) is critical for…

  85. From Verification Failures to Reusable Guidance for Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2609.39022v2 Announce Type: replace Abstract: Coding agents need to establish that a program satisfies a specification and that the specification captures the requested behavior. We study how expert diagnosis of verification failures…

  86. What Does a Skill Actually Do? Estimands and Evaluation Validity for Tool and Skill Use in LLM Agents: A Critical Review
    USarXiv cs.SE (Software)

    arXiv:2609.33153v2 Announce Type: replace Abstract: Reported improvements from tools and reusable skills in large language model agents refer to different comparisons. This critical narrative review examines what these evaluations estimate…

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

    arXiv:2610.01471v1 Announce Type: 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. Building on…

  88. Bridging the Sim-to-Real Gap with multipanda_ros2: A Real-Time ROS2 Framework for Multimanual Systems
    USarXiv cs.SE (Software)

    arXiv:2602.02269v2 Announce Type: replace-cross Abstract: We present $multipanda\_ros2$, a novel open-source ROS2 architecture for multi-robot control of Franka Robotics robots. Leveraging ros2 control, this framework provides native ROS2…

  89. Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications
    USarXiv cs.SE (Software)

    arXiv:2606.23512v4 Announce Type: replace Abstract: Mobile apps frequently suffer from frame drops, overheating, and excessive power consumption. While developers optimize algorithms and debug code, a critical bottleneck often goes…

  90. Rules to Tools: Executable Checks for LLM Agents in Scientific Computing
    USarXiv cs.SE (Software)

    arXiv:2610.00313v1 Announce Type: cross Abstract: Scientific coding agents receive equations, boundary conditions, and output requirements in writing, then must assess the programs they revise. Rules to Tools (R2T) supplies prepared…

  91. Safety Must Survive Self-Improvement: Why Failures Persist and How Agents Recover
    USarXiv cs.SE (Software)

    arXiv:2610.01073v1 Announce Type: new Abstract: Recursive self-improvement (RSI) allows agents to carry useful changes across generations. Maintaining safety across these generations involves both preventing unsafe behavior from persisting…

  92. Associativity and Commutativity in Equality Saturation
    USarXiv cs.PL (Programming)

    arXiv:2610.01198v1 Announce Type: new Abstract: Equality saturation is a promising technique for program optimization which sidesteps the phase ordering problem. However, current e-graph implementations grow exponentially large, even for…

  93. Understanding Issues, Causes and Solutions in Open-Source LLM-based Multi-Agent Systems
    USarXiv cs.SE (Software)

    arXiv:2610.00905v1 Announce Type: new Abstract: With the advancement of LLM-based multi-agent systems (MAS), an increasing number of opensource projects are adopting multi-agent architectures as the foundation of their core functionality…

  94. Architectural Degradation: How to Measure and to Remediate
    USarXiv cs.SE (Software)

    arXiv:2610.01611v1 Announce Type: new Abstract: Context. Architectural degradation undermines software maintainability, evolvability, and quality. However, existing research remains fragmented across measurement approaches, metrics, tools…

  95. ActiveSaddler: Automated Curriculum Learning for Agent Harness Optimization
    USarXiv cs.SE (Software)

    arXiv:2610.00906v1 Announce Type: cross Abstract: Automated harness optimization can substantially improve LLM agents by iteratively updating their prompts, tool interfaces, and control logic from execution feedback. However, existing…

  96. Localizing Post-Wire Semantic Changes in MCP Agent Frameworks
    USarXiv cs.SE (Software)

    arXiv:2610.00182v1 Announce Type: new Abstract: Valid Model Context Protocol (MCP) messages do not guarantee that an agent framework preserves the distinctions downstream software needs. We present a differential testing method that…

  97. CONTRA: Discovering and Qualifying Behavior-Changing Questions for Selective Clarification in LLM Code Generation
    USarXiv cs.SE (Software)

    arXiv:2610.01769v1 Announce Type: new Abstract: Coding agents can generate code that appears correct but implements behavior the user never intended. This mismatch can arise when an agent silently resolves underspecified requirements…

  98. Trustworthy Data- and ML-Ops for Intelligent Transportation Systems and Logistics
    USarXiv cs.SE (Software)

    arXiv:2610.01282v1 Announce Type: cross Abstract: The rapid evolution of Intelligent Transportation Systems and Logistics (ITS\&L) has become a cornerstone of the modern social economy, relying heavily on the integration of Data…

  99. Continuous Process-Level Evaluation for Evolving Enterprise AI Agent Skills
    USarXiv cs.SE (Software)

    arXiv:2610.01833v1 Announce Type: cross Abstract: Enterprise AI agent skills evolve as tool APIs, models, and specifications change, yet final-output evaluation can miss process-level behavioral drift. We present a continuous evaluation…

  100. Evaluating Neural Decompilation of Dart AOT Binaries: Fine-Tuning, Metric Validity, Specification Leakage, and Reliability
    USarXiv cs.SE (Software)

    arXiv:2607.06125v2 Announce Type: replace Abstract: We present an execution-based evaluation of neural decompilation for Dart ahead-of-time binaries and an audit of what its scores measure. Across six archived adapter-baseline comparisons…

  101. A Design Theory for AI-Assisted Software Development Derived from Christopher Alexander's Theory of Form
    USarXiv cs.SE (Software)

    arXiv:2610.01372v1 Announce Type: new Abstract: Code generated by large language models (LLMs) cannot be assumed to meet specified requirements. Reviews, testing, and static analysis still apply, but which of them a sufficient harness…

  102. Refactoring React Component Hierarchies to Eliminate Prop Drilling
    USarXiv cs.SE (Software)

    arXiv:2610.01376v1 Announce Type: new Abstract: In React front-end development, Prop Drilling is the practice of propagating data through component properties across multiple levels of the component hierarchy. Despite being discouraged by…

  103. Guarded Commits: Transactional Human Approvals for LLM Workflows
    USarXiv cs.SE (Software)

    arXiv:2610.00037v1 Announce Type: cross Abstract: LLM workflows often require human approval before an irreversible external action. Most systems keep that approval outside the workflow, as an interface click or an audit entry. The…

  104. DeepSeek Harness
    USHacker News Front Page

    Article URL: https://www.deepseek.com/en/harness/ Comments URL: https://news.ycombinator.com/item?id=49929489 Points: 369 # Comments: 190

  105. Greg Kroah-Hartman – Security in the LLM Age [video]
    USHacker News Front Page

    Article URL: https://www.youtube.com/watch?v=NnV_cWeoo5Q Comments URL: https://news.ycombinator.com/item?id=49929391 Points: 306 # Comments: 111

  106. Waterfox 6.7.5 Adds a Built-in Feed Reader
    USlobste.rs

    Comments

  107. How Singapore's government-run dating service works
    USHacker News Front Page

    Article URL: https://www.singapore-samizdat.com/p/how-singapores-government-run-dating-service-firstdate-works Comments URL: https://news.ycombinator.com/item?id=49929113 Points: 168 # Comments: 111

  108. Show HN: Giving Opus 5.5 a simulated paint canvas
    USHacker News Front Page

    Article URL: https://stillwet.art/ Comments URL: https://news.ycombinator.com/item?id=49928566 Points: 352 # Comments: 106

  109. Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures
    USlobste.rs

    Comments