AX·NEWS
Sign in

Software Engineering

Software Engineering news — Monday 12 October 2026

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

Open in the live feedRSS feedOn a TV

  1. The Origin Story of Kid Pix
    USHacker News Front Page

    Article URL: http://red-green-blue.com/kid-pix-the-early-years Comments URL: https://news.ycombinator.com/item?id=50064673 Points: 180 # Comments: 42

  2. Blood cells from 80-year-old donor become stem cells with molecular age under 20
    USHacker News Front Page

    https://pmc.ncbi.nlm.nih.gov/articles/PMC13634082/ Comments URL: https://news.ycombinator.com/item?id=50064536 Points: 143 # Comments: 94

  3. I turned my unused Kindle into a photo frame with GPT-6 Astra
    USHacker News Front Page

    Article URL: https://nirajrajgor.com/blog/kindle-photo-frame-with-ai Comments URL: https://news.ycombinator.com/item?id=50064318 Points: 123 # Comments: 79

  4. RJ Mitte has died
    USHacker News Front Page

    Article URL: https://news.sky.com/story/breaking-bad-star-rj-mitte-dies-aged-34-13598332 Comments URL: https://news.ycombinator.com/item?id=50063831 Points: 186 # Comments: 56

  5. Janas: Run LLMs larger than RAM by streaming experts from SSD
    USHacker News Front Page

    Article URL: https://github.com/prabanta-dev/janas Comments URL: https://news.ycombinator.com/item?id=50063717 Points: 203 # Comments: 74

  6. AI is a tool and using it well takes skill
    USHacker News Front Page

    Article URL: https://yyhh.org/blog/2026/10/ai-is-a-tool/ Comments URL: https://news.ycombinator.com/item?id=50063427 Points: 741 # Comments: 573

  7. Phreak.ing – Internet Phone Switch
    USHacker News Front Page

    Article URL: https://phreak.ing/ Comments URL: https://news.ycombinator.com/item?id=50063417 Points: 120 # Comments: 33

  8. Intel D270 GPU AI Accelerator–Up to 480 GB LPDDR5X
    USHacker News Front Page

    Article URL: https://www.intel.com/content/www/us/en/products/details/discrete-gpus/data-center-gpu/d-series.html Comments URL: https://news.ycombinator.com/item?id=50063365 Points: 291 # Comments: 166

  9. Who Is Vfmaddrnd231pd?
    USHacker News Front Page

    Article URL: https://purplesyringa.moe/blog/who-is-vfmaddrnd231pd/ Comments URL: https://news.ycombinator.com/item?id=50063138 Points: 240 # Comments: 21

  10. A modern web app in c
    USlobste.rs

    Comments

  11. Writing a Demoscene Intro for the ZX Spectrum
    USHacker News Front Page

    Article URL: https://www.markround.com/blog/2026/zx-spectrum-intro Comments URL: https://news.ycombinator.com/item?id=50061859 Points: 164 # Comments: 33

  12. Making big downloads resumable in Firefox
    USHacker News Front Page

    Article URL: https://lunarwatcher.codeberg.page/til/firefox/resumable-big-downloads.html Comments URL: https://news.ycombinator.com/item?id=50061791 Points: 264 # Comments: 124

  13. MIT class project turns into an FDA-cleared treatment for tremors
    USHacker News Front Page

    Article URL: https://news.mit.edu/2026/mit-class-project-turns-into-fda-cleared-treatment-for-tremors-1002 Comments URL: https://news.ycombinator.com/item?id=50061659 Points: 256 # Comments: 53

  14. Introducing OpenFatigue
    USHacker News Front Page

    Article URL: https://openfatigue.ai/ Comments URL: https://news.ycombinator.com/item?id=50061278 Points: 157 # Comments: 31

  15. Speeding up the Unreal editor by… not using unnecessarily secure hash methods
    USlobste.rs

    Comments

  16. Codex CLI installs a persistent, self-updating background daemon by default
    USHacker News Front Page

    Article URL: https://github.com/openai/codex/issues/48195 Comments URL: https://news.ycombinator.com/item?id=50060694 Points: 542 # Comments: 272

  17. Just say no to OpenAI and Anthropic
    USHacker News Front Page

    Article URL: https://micahflee.com/just-say-no-to-openai-and-anthropic/ Comments URL: https://news.ycombinator.com/item?id=50060500 Points: 130 # Comments: 80

  18. 512 bytes at a time: reconstructing IBM i save-file checksums
    USlobste.rs

    Comments

  19. ESP32 As Your Raspberry Pi’s Linux Wireless Co-processor
    USlobste.rs

    Comments

  20. 'AI' Is Not a Tool by Rich Hickey
    USHacker News Front Page

    https://gist.github.com/svieira/619d60dea942a8d4498cba3bb6b1... Comments URL: https://news.ycombinator.com/item?id=50060269 Points: 214 # Comments: 105

  21. your c is not standard c
    USlobste.rs

    Comments

  22. AI coding agents generate more code, but not more software
    USHacker News Front Page

    Article URL: https://arstechnica.com/ai/2026/10/ai-coding-agents-generate-more-code-but-not-more-software/ Comments URL: https://news.ycombinator.com/item?id=50059523 Points: 292 # Comments: 252

  23. What I've been seeing lately (in software)
    USlobste.rs

    Comments

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

  25. Thinking will become a hobby
    USHacker News Front Page

    Article URL: https://www.spinellis.gr/blog/20261008/?li261008 Comments URL: https://news.ycombinator.com/item?id=50059204 Points: 236 # Comments: 317

  26. Muse Wonder
    USHacker News Front Page

    Article URL: https://research.meta.ai/blog/muse-wonder Comments URL: https://news.ycombinator.com/item?id=50059115 Points: 614 # Comments: 328

  27. Launch HN: Agent37 (YC F26) – Low-cost agent sandboxes for running agents
    USHacker News Front Page

    Hey HN, I’m Vishnu from Agent37 ( https://agent37.com ). We build sandboxes for running AI agents at under 10% of the cost of most sandbox providers. Our customers spend an average of $0.37/month per sandbox. You can view a video…

  28. A Modern Web App in C
    USHacker News Front Page

    Article URL: https://prophitt.me/writing/a-modern-web-app-in-c Comments URL: https://news.ycombinator.com/item?id=50058528 Points: 675 # Comments: 297

  29. nobloat/poll - designing a minimal poll tool
    USlobste.rs

    Comments

  30. GLM-Legal: Advancing Agentic Legal Intelligence
    USHacker News Front Page

    Article URL: https://z.ai/blog/glm-legal Comments URL: https://news.ycombinator.com/item?id=50058507 Points: 651 # Comments: 353

  31. French supermarkets suffer fridge shutdown after 'unprecedented' cyberattack
    USHacker News Front Page

    Article URL: https://uk.finance.yahoo.com/news/french-supermarket-chains-cyberattack-forced-115141288.html Comments URL: https://news.ycombinator.com/item?id=50057956 Points: 121 # Comments: 82

  32. Parsing JSON at tens of gigabytes per second… in Python
    USlobste.rs

    Comments

  33. Kevin Kelly's 2016 AI Predictions, 10 Years Later
    USHacker News Front Page

    Article URL: https://taylor.town/kk-ai-2026 Comments URL: https://news.ycombinator.com/item?id=50057668 Points: 179 # Comments: 66

  34. Fridges in French supermarkets hit by cyber attack
    USHacker News Front Page

    Article URL: https://www.bbc.com/news/articles/crq5nzxv9q4yo Comments URL: https://news.ycombinator.com/item?id=50057551 Points: 117 # Comments: 71

  35. Why aren't AI companies being charged for hacking?
    USHacker News Front Page

    Article URL: https://mortoray.com/why-arent-ai-companies-being-charged-for-hacking/ Comments URL: https://news.ycombinator.com/item?id=50057278 Points: 249 # Comments: 226

  36. Finding a $90,000 Remote Code Execution Vulnerability in Google
    USlobste.rs

    Comments

  37. Solar panels that plug into your wall
    USHacker News Front Page

    https://archive.ph/NEPz3 Comments URL: https://news.ycombinator.com/item?id=50056822 Points: 223 # Comments: 239

  38. Beyond the AI noise: How Stack Overflow is rethinking tech hiring
    USStack Overflow Blog

    It’s gotten exponentially harder to identify talent that we feel is a good fit for our teams at the top of the application funnel.

  39. (Post-Quantum) Cryptographic Right Answers
    USlobste.rs

    Comments

  40. Turn a WiFi 7 Router into a 320Msps Software Defined Radio Receiver
    USHacker News Front Page

    Article URL: https://github.com/h0m3us3r/w1700k-sdr Comments URL: https://news.ycombinator.com/item?id=50055593 Points: 383 # Comments: 104

  41. French supermarket chains say cyberattack forced refrigerator shutdown
    USlobste.rs

    This popped up and reminded me strangely of a story post a month ago here: https://lobste.rs/s/ygjo0g/i_think_military_commissary_freezers And, lo and behold, the very same controller supplier is mentioned in both the earlier US article…

  42. Incident with Actions, Pull Requests and Issues
    USHacker News Front Page

    Article URL: https://www.githubstatus.com/incidents/93njd414rpbx Comments URL: https://news.ycombinator.com/item?id=50055375 Points: 141 # Comments: 128

  43. Hackers activate automatic defrosting accross European supermarket fridges
    USHacker News Front Page

    https://www.reuters.com/business/retail-consumer/french-supe... , https://www.bbc.com/news/articles/crq5nzxv9q4yo , https://www.lemonde.fr/en/france/article/2026/10/12/french-s... Related…

  44. Citroen revives the 2CV for an electric age
    USHacker News Front Page

    Article URL: https://www.bbc.com/news/articles/c620r33plgppo Comments URL: https://news.ycombinator.com/item?id=50055220 Points: 375 # Comments: 422

  45. How to effectively debug when you no longer understand the code
    USlobste.rs

    Comments

  46. QGIS bans AI assisted contributions
    USHacker News Front Page

    https://lists.osgeo.org/pipermail/qgis-developer/2026-Septem... Comments URL: https://news.ycombinator.com/item?id=50054751 Points: 358 # Comments: 391

  47. Living in the Weimar era of Ruby
    USlobste.rs

    Comments

  48. Phloem: Git history grown like a slime mold
    USHacker News Front Page

    Article URL: https://phloem.stemdeck.app/ Comments URL: https://news.ycombinator.com/item?id=50054465 Points: 100 # Comments: 20

  49. Type-safe HTML templating in Zig
    USlobste.rs

    Comments

  50. Deloitte falsified documents to evade tax on Abramovich's wealth
    USHacker News Front Page

    Article URL: https://www.bbc.com/news/articles/c64g1l5389kvo Comments URL: https://news.ycombinator.com/item?id=50054207 Points: 526 # Comments: 178

  51. Linus Torvalds Working On A Hefty Linux Kernel Improvement With Claude Code
    USlobste.rs

    Comments

  52. Ledger confirms spy chip implant behind wallet crypto thefts
    USHacker News Front Page

    https://www.heise.de/en/news/Crypto-thieves-sell-hardware-wa... https://crypto.news/ledger-confirms-hidden-chip-in-crypto-wa... https://www.youtube.com/watch?v=8JnHdr30v4g https://www.youtube.com/watch?v=Nf4FEFlgv3Q…

  53. Fingerprints are the new cookies
    USlobste.rs

    Comments

  54. 900-Page Pre-Pantone Guide to Color from 1692 (With Complete High-Res Scan)
    USHacker News Front Page

    Article URL: https://www.openculture.com/2026/10/a-900-page-pre-pantone-guide-to-color-from-1692.html Comments URL: https://news.ycombinator.com/item?id=50053487 Points: 254 # Comments: 44

  55. Linux boots on iPhone 11
    USlobste.rs

    Comments

  56. PK-88 TNC Hardware Modifications
    USlobste.rs

    Comments

  57. Catch a Bird – I made it for my own sanity
    USHacker News Front Page

    Article URL: https://catchabird.com Comments URL: https://news.ycombinator.com/item?id=50053384 Points: 355 # Comments: 103

  58. Writing a Demoscene Intro for the ZX Spectrum
    USlobste.rs

    Comments

  59. Implementing kubernetes node bin packing
    USlobste.rs

    Comments

  60. Fable Took My Job
    USHacker News Front Page

    Article URL: https://cendyne.dev/posts/2026-10-11-fable-took-my-jorb.html Comments URL: https://news.ycombinator.com/item?id=50053216 Points: 116 # Comments: 106

  61. We Put Fighting Game Netcode in Brood War
    USlobste.rs

    Comments

  62. Zod 4.6.6 compromised by malware?
    USHacker News Front Page

    Article URL: https://github.com/colinhacks/zod/commit/d821685ea6732436fcdf786a81d076958471e467 Comments URL: https://news.ycombinator.com/item?id=50052814 Points: 156 # Comments: 45

  63. I Found a $90k Remote Code Execution Vulnerability in Google
    USHacker News Front Page

    Article URL: https://simonkoeck.com/writeups/google-devsite-flask-session-pickle-rce Comments URL: https://news.ycombinator.com/item?id=50052638 Points: 160 # Comments: 77

  64. Show HN: PS2 games statically recompiled to WebAssembly
    USHacker News Front Page

    Article URL: https://github.com/snuri00/ps2-web-recomp Comments URL: https://news.ycombinator.com/item?id=50052251 Points: 275 # Comments: 145

  65. Postgres isn't slow, your storage is
    USHacker News Front Page

    Article URL: https://clickhouse.com/blog/posette-talk-recap-postgres-isnt-slow-your-storage-is Comments URL: https://news.ycombinator.com/item?id=50052163 Points: 132 # Comments: 135

  66. Attack of the Vibe Coded Photoshop Clones
    USHacker News Front Page

    Article URL: https://www.shokunin.studio/blog/2026/10/9/attack-of-the-vibe-coded-photoshop-clones Comments URL: https://news.ycombinator.com/item?id=50052156 Points: 105 # Comments: 120

  67. Research Firm Calls Anthropic's IPO 'Unprecedented Test of Investor Gullibity'
    USHacker News Front Page

    Article URL: https://www.cnbc.com/2026/10/07/anthropic-will-be-most-ridiculous-ipo-of-year-analyst-says.html Comments URL: https://news.ycombinator.com/item?id=50051583 Points: 164 # Comments: 103

  68. Type-safe HTML templating in Zig
    USHacker News Front Page

    Article URL: https://lalinsky.com/2026/10/11/type-safe-html-templating-in-zig.html Comments URL: https://news.ycombinator.com/item?id=50051573 Points: 236 # Comments: 83

  69. Will Linux phones become a viable alternative to the Android/iOS duopoly?
    USHacker News Front Page

    Article URL: https://amosbbatto.wordpress.com/2026/10/05/linux-phones-alternative/ Comments URL: https://news.ycombinator.com/item?id=50051530 Points: 202 # Comments: 219

  70. 3-2-1 Backup Strategy with restic and Backblaze B2
    USlobste.rs

    Comments

  71. Understanding Verification Vulnerabilities in Cross-chain Bridges: An Empirical Study
    USarXiv cs.SE (Software)

    arXiv:2610.13170v1 Announce Type: cross Abstract: With the rapid development of blockchain technology, numerous heterogeneous blockchains have emerged, each featuring distinct architectures, consensus mechanisms, and application…

  72. Co-Modifying Application Code and Deployment Infrastructure: A Causal Study of AI Agent Pull Requests
    USarXiv cs.SE (Software)

    arXiv:2610.12849v1 Announce Type: new Abstract: Current software engineering agents are evaluated predominantly inside isolated sandboxes against synchronous local tests. However, deploying features in collaborative repositories requires…

  73. CTML: A Comprehensive Framework for Continuous Testing in Machine Learning Operations
    USarXiv cs.SE (Software)

    arXiv:2610.12515v1 Announce Type: new Abstract: The increasing use of machine learning (ML) systems in production has highlighted some important weaknesses in traditional software testing methods. Unlike regular software, ML systems can…

  74. Bistable by Construction: Wall-Clock-Calibrated State Monitors Have No Moment-Detection Regime at Agent Cadence
    USarXiv cs.SE (Software)

    arXiv:2606.19386v2 Announce Type: replace Abstract: Runtime monitors for autonomous agents commonly threshold an accumulated internal state - a behavioural baseline, a drift statistic, or, in our prior work, a modelled affective state. We…

  75. Vulnerable Models in the AI Supply Chain: An Empirical Study of Adoption, Propagation, and Usage Patterns
    USarXiv cs.SE (Software)

    arXiv:2610.12893v1 Announce Type: cross Abstract: The rapid integration of Artificial Intelligence (AI) models has established a complex supply chain, but many of these shared artifacts harbor severe vulnerabilities such as insecure…

  76. SWE-Duel: Towards a Self-Scaling Arena for Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.12569v1 Announce Type: cross Abstract: Static coding benchmarks are fixed at release. Over time their tasks leak into training data, and stronger agents eventually saturate them. We argue that a benchmark should instead aim to…

  77. (When) Should a Software Factory be Lights-off? Benchmarking Code Review Agents on Bug Detection
    USarXiv cs.SE (Software)

    arXiv:2610.13668v1 Announce Type: new Abstract: With the advances of coding agents, software developers are spending more time reviewing code than writing code. As human review velocity falls behind agentic code generation, it is tempting…

  78. A-SAW: The Agentic Software Architecture Workflow
    USarXiv cs.SE (Software)

    arXiv:2610.13647v1 Announce Type: new Abstract: AI assistance in software engineering focuses on implementation and verification, leaving the design phase, and in particular the maintenance of architecture documentation, comparatively…

  79. Beyond Fault Localization: A Trajectory-Level Study of LLM Agents for Microservice Root Cause Analysis
    USarXiv cs.SE (Software)

    arXiv:2608.21310v2 Announce Type: replace Abstract: Automated microservice root cause analysis (RCA) is usually evaluated by whether the final answer localizes the fault source. This is insufficient for on-call site reliability engineers…

  80. OpenCollab: A Multi-Agent Coding Framework with Programmable Collaboration and Controllable Runtime
    USarXiv cs.SE (Software)

    arXiv:2609.38345v2 Announce Type: replace Abstract: Multi-agent coding systems are designed to tackle complex software engineering tasks through collaboration. However, existing evaluations typically assume configured organizations are…

  81. The Spec Growth Engine: Spec-Anchored, Code-Coupled, Drift-Enforced Architecture for AI-Assisted Software Development
    USarXiv cs.SE (Software)

    arXiv:2606.27045v2 Announce Type: replace Abstract: AI coding agents dramatically accelerate implementation speed but introduce two structural failure modes that existing spec-driven approaches do not fully solve: (1) context explosion …

  82. Negative and Fractional Types in the Fidelity Framework
    USarXiv cs.PL (Programming)

    arXiv:2606.04352v3 Announce Type: replace Abstract: Programs routinely create temporary data, retain state and revisit earlier results. Negative and fractional types benefit those activities in a type-resolved account of computation…

  83. A Baseline Assessment for the Agentic Web Technology Stack
    USarXiv cs.SE (Software)

    arXiv:2610.13703v1 Announce Type: cross Abstract: The fast pace in which protocols, frameworks, and technologies are being proposed for LLM-based agents results in a complex scenario for anyone aiming to create state-of-the-art AI…

  84. SWE-Bench Pro Verified: A Reliable Benchmark for Software Engineering Agents
    USarXiv cs.SE (Software)

    arXiv:2609.08149v3 Announce Type: replace-cross Abstract: SWE-Bench Pro has emerged as a standard benchmark for evaluating software engineering agents on challenging repository-level tasks. However, our analysis work show that its…

  85. Fix What's Wrong, Keep What's Right: Hallucination Repair for LLM-Based Optimization Modeling
    USarXiv cs.SE (Software)

    arXiv:2610.12529v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly being explored to automate operations research modeling, reduce modeling time and lower the expertise barrier to optimization based decision…

  86. Solving VeriContest with a Lean-Backed Rust Verifier
    USarXiv cs.SE (Software)

    arXiv:2610.03994v2 Announce Type: replace-cross Abstract: VeriContest is a benchmark of 1007 competitive-programming problems in Rust, each with a Verus specification, a judge-accepted solution, and a Verus proof. Its authors report that…

  87. Proceedings of the Seventh miniKanren and Relational Programming Workshop (miniKanren 2025)
    USarXiv cs.PL (Programming)

    arXiv:2610.12505v1 Announce Type: new Abstract: The miniKanren and Relational Programming Workshop brings together researchers, implementors, and users of the miniKanren family of relational programming languages, including miniKanren…

  88. REINS: Agent-guided Thread Scheduling for Concurrency Bug Detection and Reproduction
    USarXiv cs.SE (Software)

    arXiv:2610.13421v1 Announce Type: new Abstract: Concurrency bugs manifest only under specific thread interleavings, making them hard to detect and reproduce. Existing controlled concurrency testing techniques take over thread scheduling to…

  89. SCCGBench: Executability-Oriented Evaluation for Real-World Web Service-Call Code Generation
    USarXiv cs.SE (Software)

    arXiv:2610.12920v1 Announce Type: new Abstract: LLM-generated service-call code is increasingly important for service computing, where developers rely on large language models (LLMs) to compose services and invoke third-party services…

  90. PyCache Trap: The Inspection-Execution Gap in Agent Skill Scanners
    USarXiv cs.SE (Software)

    arXiv:2610.10612v2 Announce Type: replace-cross Abstract: Agent skills combine instructions with executable resources, giving third-party packages access to an agent's runtime. Existing skill scanners inspect documentation and visible…

  91. HAFixAgent: History-Aware Agentic Program Repair
    USarXiv cs.SE (Software)

    arXiv:2511.01047v4 Announce Type: replace Abstract: Automated program repair (APR) has recently shifted toward large language models and agent-based systems, while prior work shows that repository history can help repair single-line bugs…

  92. Agent4Spec: An LLM-based Agentic System to Optimize API Specifications through Automated Validation and Market Analysis
    USarXiv cs.SE (Software)

    arXiv:2610.13273v1 Announce Type: new Abstract: API specifications serve as critical documentation for modern software development, directly impacting integration efficiency and client code generation. While recent advancements have…

  93. Evaluation of Software Quality Through Refactoring Commit-Impact Analysis
    USarXiv cs.SE (Software)

    arXiv:2610.12890v1 Announce Type: new Abstract: The aim of this study is to conduct an empirical analysis of the correlation between code modifications and software quality. This will be achieved by examining the effects of changes made…

  94. MARGoS: A Configuration-Driven Platform for Reproducible MARL Experiments in ARGoS
    USarXiv cs.SE (Software)

    arXiv:2610.13772v1 Announce Type: new Abstract: Multi-agent reinforcement learning (MARL) has become a prominent research direction, particularly within collective robotics, where the ARGoS simulator is widely used to study emergent swarm…

  95. Meta-Reflective Evolution Effectively Improves Production AI Systems
    USarXiv cs.SE (Software)

    arXiv:2610.12794v1 Announce Type: cross Abstract: Large Language Model (LLM)-guided evolutionary optimization has successfully improved prompts, programs, and even entire AI systems. Most optimization methods select a candidate from the…

  96. Leakage-Resistant Evaluation of AI-Generated Database Specifications in Specification-Driven Migration
    USarXiv cs.SE (Software)

    arXiv:2610.12778v1 Announce Type: new Abstract: This paper presents a leakage-resistant framework and benchmark (LRFB) for measuring evaluators of AI-generated Oracle PL/SQL specifications. The benchmark contains 494 labelled…

  97. Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs
    USarXiv cs.PL (Programming)

    arXiv:2401.01114v3 Announce Type: replace Abstract: Although Rust claims to enable fearless concurrency, concurrency errors remain prevalent in practical applications, with deadlocks particularly prominent and harmful. Current static…

  98. Beyond Binary Verifiable Rewards: Behavioral Self-Rewarding for SWE Agents
    USarXiv cs.SE (Software)

    arXiv:2610.12598v1 Announce Type: cross Abstract: Reinforcement learning with verifiable rewards (RLVR) provides reliable supervision for software engineering agents through executable tests, but binary rewards fail to distinguish…

  99. Quantitative Verification of Infinite-State Networks
    USarXiv cs.PL (Programming)

    arXiv:2610.11991v2 Announce Type: replace-cross Abstract: Many network protocols and distributed systems combine recursion, unbounded local state, and quantitative behaviour such as cost, latency, or reliability. Existing decidability…

  100. A Simplified Layout Algebra for GPU Kernels
    USarXiv cs.PL (Programming)

    arXiv:2610.13679v1 Announce Type: new Abstract: The layout algebra behind NVIDIA's CuTe library describes how tensor tiles map onto threads and memory. A layout is a shape with a stride for each entry, so a coordinate's address is the sum…

  101. Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs
    USarXiv cs.SE (Software)

    arXiv:2401.01114v3 Announce Type: replace-cross Abstract: Although Rust claims to enable fearless concurrency, concurrency errors remain prevalent in practical applications, with deadlocks particularly prominent and harmful. Current static…

  102. VortexSynth: Profile-guided benchmark reconstruction for GPU architecture research
    USarXiv cs.PL (Programming)

    arXiv:2610.12661v1 Announce Type: cross Abstract: GPU architecture research requires representative benchmarks that can execute on new designs. However, many vendor-tailored workloads and library kernels cannot run directly on research…

  103. CAPE - Context-Aware Prioritization Engine for Vulnerability Scoring and Management
    USarXiv cs.SE (Software)

    arXiv:2610.13071v1 Announce Type: cross Abstract: Vulnerability patching is critical for safeguarding an enterprise's software ecosystem from cyber attacks. However, patching requires adequate preparation for potential system downtime and…

  104. Returning to Development States: When Full Sandbox Snapshots Help Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2610.13841v1 Announce Type: cross Abstract: Coding agents often make useful progress before they fail, but retry-from-scratch discards the machine state created along the way. This makes failure recovery an interesting search…

  105. SWE-DeceptionBench: Benchmarking Deceptive Behaviors of LLMs Across the Software Development Lifecycle
    USarXiv cs.SE (Software)

    arXiv:2610.13626v1 Announce Type: new Abstract: Large Language Models (LLMs) are increasingly used throughout the software development lifecycle. This growing reliance on LLMs raises concerns about their trustworthiness, with deception…

  106. Understanding and Mitigating Cross-Session Attacks via Persistent Artifacts in Agent Skill Composition
    USarXiv cs.SE (Software)

    arXiv:2610.13227v1 Announce Type: cross Abstract: Agent skills extend the capabilities of AI agents by bundling instructions, code, and resources into reusable packages. During skill execution, agents may produce or modify artifacts, such…

  107. Escaping the Self-Repair Trap: Improving Test Oracle Generation via Dual-Context Awareness
    USarXiv cs.SE (Software)

    arXiv:2608.05917v2 Announce Type: replace Abstract: Large Language Models (LLMs) have shown strong potential for regression-oracle completion, where a test prefix is given and the current program version is treated as expected behavior…

  108. API Benchmark Scores Do Not Reliably Transfer to Chatbot Interfaces
    USarXiv cs.SE (Software)

    arXiv:2609.08861v3 Announce Type: replace-cross Abstract: Benchmark scores are a central currency in model releases: they inform purchasing decisions, shape public trust, and influence policy. Yet, a key assumption underlying benchmark…

  109. Identity-Based Signing Shifts, Not Solves, Usability: Evidence from Five Identity-Based Signing Ecosystems
    USarXiv cs.SE (Software)

    arXiv:2603.17133v2 Announce Type: replace Abstract: Identity-based software signing tools aim to make software artifact provenance verifiable while reducing the burden of long-lived key management. These tools are becoming critical…

  110. Quantifying SMT Solver Instability for Formal Verification
    USarXiv cs.SE (Software)

    arXiv:2610.12649v1 Announce Type: new Abstract: Program verification has become commonplace in software development projects, and much of its feasibility can be attributed to the potential of SMT solvers to automate model checking and…

  111. TestSuiteBench: Coding Agents Struggle to Generate Strong Test Suites from Specifications
    USarXiv cs.SE (Software)

    arXiv:2610.13065v1 Announce Type: new Abstract: Coding agents are increasingly used to create large software projects. While code-generation benchmarks have scaled accordingly to full applications, test-generation benchmarks remain limited…

  112. AgentSWE: Can Coding Agents Build the Agent You Actually Want?
    USarXiv cs.SE (Software)

    arXiv:2610.13361v1 Announce Type: new Abstract: As the production of software passes into the hands of software itself, coding agents are increasingly commissioned to build agents fitted to their users' own workflows. This delegation…

  113. ProgramGym: Scaling Training Environments for Long-Horizon Program Reproduction Agents
    USarXiv cs.SE (Software)

    arXiv:2610.13395v1 Announce Type: new Abstract: Coding agents are increasingly used to build programs from scratch as software engineers do rather than to resolve issues within a repository or to generate a repository from a given…

  114. SoftwareGym: Scaling Computer-Use Agent Training with Diverse Synthesized Software Environments
    USarXiv cs.SE (Software)

    arXiv:2610.12611v1 Announce Type: cross Abstract: Computer-use agents (CUAs) are rapidly improving, yet synthesizing diverse and reliable software environments at scale remains challenging. Native application environments require…

  115. COBALT: Contextual Bandit Learning with Offline Trajectories for Multi-Turn Code Generation
    USarXiv cs.SE (Software)

    arXiv:2602.03806v2 Announce Type: replace-cross Abstract: Training large language models (LLMs) for multi-turn code generation typically relies on online reinforcement learning (RL), in which models learn from repeatedly generated online…

  116. Not All Correct Fixes Run Alike: An Empirical Study of Patch Performance in Repository-Level Issue Resolution
    USarXiv cs.SE (Software)

    arXiv:2610.13563v1 Announce Type: new Abstract: Repository-level issue-resolution benchmarks such as SWE-bench evaluate submitted patches primarily based on whether they pass the correctness tests, leaving the runtime performance of…

  117. Coexponential Exploration in the Clef Programming Language
    USarXiv cs.PL (Programming)

    arXiv:2610.12911v1 Announce Type: new Abstract: Clef was created as a concurrent programming language whose compiler tracks state ownership, waiting computations and request dependencies. We develop a coexponential account of stateful…

  118. Don't Guess, Just Ask: Evaluating Interactive Requirement Clarification for Repository-Level Software Development
    USarXiv cs.SE (Software)

    arXiv:2610.13022v1 Announce Type: new Abstract: As LLMs become increasingly capable of implementing software, a critical bottleneck emerges: whether they truly understand what users want. Users often begin with vague intent, leaving…

  119. When LLM Decompilers Recompile More and Preserve Less
    USlobste.rs

    Comments

  120. Do dentists know what they're doing?
    USHacker News Front Page

    Article URL: https://mapwriting.substack.com/p/dentists Comments URL: https://news.ycombinator.com/item?id=50050553 Points: 913 # Comments: 646

  121. Refurb weekend II: Alpha Micro Eagle 300 and friends
    USlobste.rs

    Comments

  122. CSS for underlines
    USlobste.rs

    Comments

  123. 'AI' is Not a Tool
    USlobste.rs

    Comments

  124. Doory – Open-Source Canva
    USHacker News Front Page

    Article URL: https://github.com/shaongitbd/doory Comments URL: https://news.ycombinator.com/item?id=50049872 Points: 184 # Comments: 68

  125. Local Indexing to reduce tool calling and token usage
    USHacker News Front Page

    Article URL: https://tedhaley.ca/pensieve/ Comments URL: https://news.ycombinator.com/item?id=50049508 Points: 109 # Comments: 36