AX·NEWS
Sign in

Software Engineering

Software Engineering news — Thursday 01 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. C++ Insights – See your source code with the eyes of a Compiler
    USHacker News Front Page

    Article URL: https://github.com/andreasfertig/cppinsights Comments URL: https://news.ycombinator.com/item?id=49928361 Points: 142 # Comments: 28

  2. Several vulnerabilities have been discovered in the Linux kernel
    USHacker News Front Page

    Article URL: https://lwn.net/Articles/1097401/ Comments URL: https://news.ycombinator.com/item?id=49928121 Points: 524 # Comments: 376

  3. Frog and Toad and the Increasingly Capable Machines
    USHacker News Front Page

    Article URL: https://www.frogandtoad.ai/ Comments URL: https://news.ycombinator.com/item?id=49927760 Points: 513 # Comments: 116

  4. Court agrees with EFF: Utah's VPN law demands a technical impossibility
    USHacker News Front Page

    Article URL: https://www.eff.org/deeplinks/2026/10/court-agrees-eff-utahs-vpn-law-demands-technical-impossibility Comments URL: https://news.ycombinator.com/item?id=49927754 Points: 775 # Comments: 377

  5. Sites in ChatGPT
    USHacker News Front Page

    Article URL: https://chatgpt.com/features/sites/ Comments URL: https://news.ycombinator.com/item?id=49927747 Points: 331 # Comments: 320

  6. CSS Bed: Classless CSS themes to use as starting points in web development
    USHacker News Front Page

    Article URL: https://www.cssbed.com Comments URL: https://news.ycombinator.com/item?id=49927212 Points: 146 # Comments: 44

  7. The death of web development education
    USHacker News Front Page

    Article URL: https://molily.de/web-dev-education/ Comments URL: https://news.ycombinator.com/item?id=49927100 Points: 131 # Comments: 100

  8. Using Opus 5.5 to discover a new eyewitness record of the dodo
    USHacker News Front Page

    Article URL: https://resobscura.substack.com/p/using-opus-55-to-discover-a-new-eyewitness Comments URL: https://news.ycombinator.com/item?id=49926917 Points: 202 # Comments: 64

  9. Automatic Transmission – a data-privacy study of connected vehicles
    USHacker News Front Page

    Article URL: https://automatictransmission.khoury.northeastern.edu/index.html Comments URL: https://news.ycombinator.com/item?id=49926628 Points: 237 # Comments: 198

  10. SvelteKit 3
    USHacker News Front Page

    Article URL: https://svelte.dev/blog/sveltekit-3-is-here Comments URL: https://news.ycombinator.com/item?id=49926536 Points: 382 # Comments: 164

  11. ArXiv's Updated Rate Limit Policy
    USHacker News Front Page

    Article URL: https://blog.arxiv.org/2026/10/01/updated-rate-limit-policy/ Comments URL: https://news.ycombinator.com/item?id=49926512 Points: 118 # Comments: 56

  12. Loss of cell identity drives human aging: Two new papers
    USHacker News Front Page

    https://www.nature.com/articles/s41586-026-10955-0 https://www.cell.com/cell/abstract/S0092-8674(25)00853-0 Comments URL: https://news.ycombinator.com/item?id=49926411 Points: 353 # Comments: 168

  13. Pi 1.0
    USHacker News Front Page

    Related: Pi Durable - https://news.ycombinator.com/item?id=49925969 Comments URL: https://news.ycombinator.com/item?id=49926069 Points: 1610 # Comments: 551

  14. FLUX 3 Image
    USHacker News Front Page

    Article URL: https://bfl.ai/models/flux-3-image Comments URL: https://news.ycombinator.com/item?id=49925974 Points: 420 # Comments: 92

  15. Pi Durable
    USHacker News Front Page

    Related: Pi 1.0 - https://news.ycombinator.com/item?id=49926069 - Oct 2026 (184 comments) Comments URL: https://news.ycombinator.com/item?id=49925969 Points: 473 # Comments: 65

  16. Oxygen-deprived underwater zones may not be “dead zones” but clue to early life
    USHacker News Front Page

    Article URL: https://agupubs.onlinelibrary.wiley.com/doi/10.1029/2026AV002570 Comments URL: https://news.ycombinator.com/item?id=49925742 Points: 103 # Comments: 12

  17. We Should be Able to Change our Languages
    USlobste.rs

    Comments

  18. Anatomy of a Lean proof for software engineers
    USHacker News Front Page

    Article URL: https://agostbiro.net/posts/2026-10-anatomy-of-a-lean-proof/ Comments URL: https://news.ycombinator.com/item?id=49925602 Points: 103 # Comments: 31

  19. How to make a text box: A crash course in Unicode and OpenType - Jimmy Lefevre, BSC 2026
    USlobste.rs

    Comments

  20. Git 3.0's upcoming SHA-256 default will be a costly mistake
    USlobste.rs

    Comments

  21. Mike Tomlin spent 12 years building a Minecraft city
    USHacker News Front Page

    https://archive.ph/Kv6yS https://www.youtube.com/watch?v=_h_pQ1-5iQg https://www.theguardian.com/sport/2026/oct/01/mike-tomlin-mi... Comments URL: https://news.ycombinator.com/item?id=49925184 Points: 637 # Comments: 155

  22. Bez: Generating a browser engine from specs and tests
    USHacker News Front Page

    Article URL: https://tangled.org/burrito.space/bez Comments URL: https://news.ycombinator.com/item?id=49925036 Points: 104 # Comments: 44

  23. Vote on which of Hacker News' challenges for AI have been met
    USHacker News Front Page

    Article URL: https://stoppels.ch/goalposts/ Comments URL: https://news.ycombinator.com/item?id=49924618 Points: 187 # Comments: 229

  24. The death of web development education
    USlobste.rs

    Comments

  25. Git 3.0's upcoming SHA-256 default will be a costly mistake
    USHacker News Front Page

    Article URL: https://blog.gitbutler.com/git-3-sha-256 Comments URL: https://news.ycombinator.com/item?id=49924179 Points: 536 # Comments: 502

  26. Pidgin 3.0 Alpha 3 2.97.0 has been released
    USlobste.rs

    Comments

  27. Celebrating the 100th birthday of the kidney donated to him as a teenager
    USHacker News Front Page

    Article URL: https://www.whec.com/top-news/webster-man-celebrating-the-100th-birthday-of-the-kidney-his-mom-donated-to-him-as-a-teenager/ Comments URL: https://news.ycombinator.com/item?id=49923873 Points: 257 # Comments: 58

  28. Lists that keep track of their reversal
    USlobste.rs

    Comments

  29. Clef: our open-source decision models
    USHacker News Front Page

    Article URL: https://blog.cloudflare.com/clef-decision-models/ Comments URL: https://news.ycombinator.com/item?id=49923692 Points: 606 # Comments: 213

  30. RIP, vector database
    USHacker News Front Page

    Article URL: https://turbopuffer.com/blog/rip-vector-database Comments URL: https://news.ycombinator.com/item?id=49923466 Points: 367 # Comments: 102

  31. outis: Fight AI spam by generating and sending a fake "user unknown" bounce emails
    USlobste.rs

    Outis fights spam generating and sends a fake "user unknown" bounce for an email you received, so the sender believes your address does not exist. This isn't a new idea: I created a similar program back in 1998–1999, but I decided to…

  32. Red Hat being phased out of existence?
    USHacker News Front Page

    Article URL: https://techrights.org/n/2026/10/01/Red_Hat_Being_Phased_Out_of_Existence_Like_Many_Other_Companies.shtml Comments URL: https://news.ycombinator.com/item?id=49923056 Points: 150 # Comments: 82

  33. Figma restricts MCP access to whitelisted clients, excluding Pi
    USHacker News Front Page

    Article URL: https://twitter.com/GayaniFigma/status/2105295629941350454 Comments URL: https://news.ycombinator.com/item?id=49922729 Points: 153 # Comments: 91

  34. Various Projects Find Hidden SDR Capabilities in ESP32 Microcontrollers
    USHacker News Front Page

    Article URL: https://www.rtl-sdr.com/various-projects-independently-find-hidden-sdr-capabilities-in-esp32-microcontrollers/ Comments URL: https://news.ycombinator.com/item?id=49922674 Points: 269 # Comments: 53

  35. Ask HN: Who is hiring? (October 2026)
    USHacker News Front Page

    Please state the location and include REMOTE for remote work, REMOTE (US) or similar if the country is restricted, and ONSITE when remote work is not an option. Please only post if you personally are part of the hiring company—no…

  36. RacketCon Is Saturday
    USHacker News Front Page

    Article URL: https://con.racket-lang.org/ Comments URL: https://news.ycombinator.com/item?id=49922515 Points: 144 # Comments: 38

  37. Context Language Models
    USHacker News Front Page

    Article URL: https://arxiv.org/abs/2609.37725 Comments URL: https://news.ycombinator.com/item?id=49922437 Points: 136 # Comments: 29

  38. A look back before we look forward: A Developer Survey retrospective
    USStack Overflow Blog

    This analysis compares the 2024 and 2025 Developer Survey data across three connected stories: the evolution of AI, humans at work, and demographics and community.

  39. Cops Can Bypass iPhone's Automatic Reboot to Get into Locked Phones
    USHacker News Front Page

    Article URL: https://www.404media.co/cops-can-bypass-iphone-automatic-inactivity-reboot-graykey/ Comments URL: https://news.ycombinator.com/item?id=49922278 Points: 212 # Comments: 173

  40. The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary
    USlobste.rs

    Comments

  41. Cloudflare K2: serverless event streams
    USHacker News Front Page

    Article URL: https://blog.cloudflare.com/cloudflare-k2-streams/ Comments URL: https://news.ycombinator.com/item?id=49921923 Points: 223 # Comments: 89

  42. Google breaks promise to provide 10 years of updates to Chromebooks – OSnews
    USlobste.rs

    Comments

  43. Turbo Haskell
    USHacker News Front Page

    Article URL: https://comonad.com/reader/2026/turbo-haskell/ Comments URL: https://news.ycombinator.com/item?id=49921798 Points: 186 # Comments: 47

  44. Announcing Rust 1.99.0
    USlobste.rs

    Comments

  45. Meta Uses A.I. Data Centers to Avoid Billions in Federal Taxes
    USHacker News Front Page

    Article URL: https://www.nytimes.com/2026/09/30/technology/meta-ai-data-centers-taxes.html Comments URL: https://news.ycombinator.com/item?id=49921118 Points: 177 # Comments: 133

  46. FTC is investigating OpenAI, Anthropic and other AI companies over product risks
    USHacker News Front Page

    Article URL: https://www.cnbc.com/2026/09/30/ftc-ai-probe-openai-anthropic.html Comments URL: https://news.ycombinator.com/item?id=49921050 Points: 155 # Comments: 98

  47. Reducing the cognitive load of AI changes
    USlobste.rs

    Comments

  48. Google breaks promise to provide 10 years of updates to Chromebooks
    USHacker News Front Page

    Article URL: https://www.osnews.com/story/146052/google-breaks-promise-to-provide-10-years-of-updates-to-chromebooks/ Comments URL: https://news.ycombinator.com/item?id=49920997 Points: 265 # Comments: 122

  49. Micron CEO Says Memory Supply Will Be Much Tighter in 2027 and 2028 Than in 2026
    USHacker News Front Page

    Article URL: https://www.techpowerup.com/353296/micron-ceo-says-memory-supply-will-be-much-tighter-in-2027-and-2028-than-in-2026 Comments URL: https://news.ycombinator.com/item?id=49920932 Points: 297 # Comments: 349

  50. How to speed up the Rust compiler in September 2026
    USHacker News Front Page

    Article URL: https://nnethercote.github.io/2026/09/30/how-to-speed-up-the-rust-compiler-in-september-2026.html Comments URL: https://news.ycombinator.com/item?id=49920896 Points: 243 # Comments: 129

  51. django-modern-rest@0.16.0 release
    USlobste.rs

    Hi everyone, I am the release manager of django-modern-rest :) django-modern-rest 0.16.0 is out! Is this your first time that you hear about this project? django-modern-rest is a fully typed / fast / flexible / async-ready framework to…

  52. Is sandboxing sufficient to contain rogue agents?
    USlobste.rs

    Comments

  53. WSL containers are now generally available
    USlobste.rs

    Comments

  54. Returning from vacation? The government can search your phone without a warrant
    USHacker News Front Page

    Article URL: https://arstechnica.com/tech-policy/2026/09/immigration-advocate-sues-border-agents-for-demanding-his-cell-phone/ Comments URL: https://news.ycombinator.com/item?id=49920234 Points: 275 # Comments: 262

  55. StreetComplete on iOS is now in public beta
    USHacker News Front Page

    Article URL: https://github.com/streetcomplete/StreetComplete/issues/5421 Comments URL: https://news.ycombinator.com/item?id=49920160 Points: 545 # Comments: 144

  56. GPT-Synopsys: Frontier Intelligence to Revolutionize Chip Design
    USHacker News Front Page

    Article URL: https://news.synopsys.com/2026-09-30-OpenAI-and-Synopsys-Announce-GPT-Synopsys-Frontier-Intelligence-to-Revolutionize-Chip-Design Comments URL: https://news.ycombinator.com/item?id=49919910 Points: 173 # Comments: 102

  57. EU KIDS Act
    USlobste.rs

    Comments

  58. Who's hiring? Q4 2026
    USlobste.rs

    There was interest in expanding the scope of "Who's hiring" posts to non-software engineering positions [link1] [link2] . Some discussion took place, however no actual jobs were posted. I suggest to include that intention into this post…

  59. To grieve, or not to grieve?
    USHacker News Front Page

    Article URL: https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/ Comments URL: https://news.ycombinator.com/item?id=49919676 Points: 105 # Comments: 87

  60. IANA's email about why example.com changed
    USlobste.rs

    Comments

  61. Reviving Valve's 15-year-old e-book
    USlobste.rs

    Comments

  62. Typeclasses vs Modules
    USlobste.rs

    Comments

  63. Differences Between `Foldl` and `Foldr`
    USHacker News Front Page

    Article URL: https://blog.haskell.org/foldl-and-foldr/ Comments URL: https://news.ycombinator.com/item?id=49917900 Points: 121 # Comments: 27

  64. A Simple Language With Flow Typing (2021)
    USlobste.rs

    Comments

  65. MQSS-Selector: RL-Guided Pass Selection for an MLIR Compilation Pipeline
    USarXiv cs.PL (Programming)

    arXiv:2609.30104v2 Announce Type: replace-cross Abstract: High Performance Computing (HPC) and Quantum Computing (QC) systems are increasingly converging towards unified High Performance Computing-Quantum Computing (HPCQC) infrastructures…

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

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

  67. MallocSan: A Memory Safety Tool for Native Closed-Source Applications
    USarXiv cs.SE (Software)

    arXiv:2609.38499v1 Announce Type: new Abstract: Memory-corruption errors remain a leading cause of high-impact vulnerabilities in C and C++ software. Deterministic detection, however, remains difficult to deploy: compiler-based sanitizers…

  68. Doing More with Less Tokens: Hierarchical Reinforcement Learning for Efficient Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2609.38885v1 Announce Type: new Abstract: Recently, coding agents have emerged as a dominant paradigm for real-world software engineering (SWE) scenarios, which solve complex tasks through multi-turn interactions with development…

  69. COMPASS: Predicting the Relationship of Multiple Patches for Vulnerabilities with LLMs
    USarXiv cs.SE (Software)

    arXiv:2609.39783v1 Announce Type: new Abstract: Modern software heavily relies on code reuse, so upstream vulnerability fixes do not automatically propagate to downstream codebases. Downstream maintainers must manually adopt patches to…

  70. Approval Laundering: Systematizing Approval--Execution Binding Failures in AI Coding-Agent Harnesses
    USarXiv cs.SE (Software)

    arXiv:2609.38983v1 Announce Type: cross Abstract: Modern AI coding-agent harnesses (Claude Code, Codex CLI, Cursor) rest their security boundary on a largely unexamined assumption: that the action A a human approves is the same action A'…

  71. Trust Is Not a Score: Runtime Assurance Contracts for High-Risk AI Agents
    USarXiv cs.SE (Software)

    arXiv:2609.39717v1 Announce Type: cross Abstract: Benchmarks, audits, and agent protocols describe performance, permissions, and repair, but not how observed evidence should change an agent's authority during a consequential task. We call…

  72. ASCEND: Personal AI Agents for Autonomous Scientific Computing Across HPC Clusters and GPU Workstations
    USarXiv cs.SE (Software)

    arXiv:2609.32868v3 Announce Type: replace-cross Abstract: Traditional scientific computing requires researchers to translate intent into environment configuration, resource requests, and executable jobs, then diagnose failures from…

  73. Specification Before Generation: A Pre-Registered, Five-Model Paired Evaluation of a Specification Frame for LLM-Generated Code in Money, Time, Idempotency, and Access Tasks
    USarXiv cs.SE (Software)

    arXiv:2609.23270v2 Announce Type: replace Abstract: Code generated by large language models passes security checks at a rate that has barely moved in four years. In regulated backends, the defect classes that matter most are money…

  74. LadderTeam: Dual-Agent Laddering Elicitation Framework
    USarXiv cs.SE (Software)

    arXiv:2608.17029v2 Announce Type: replace Abstract: Eliciting detailed and actionable software requirements from end-users is a critical phase in the iterative development of a software product or application. To ensure the feedback…

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

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

  76. How Should Diffusion Language Models Edit Code?
    USarXiv cs.SE (Software)

    arXiv:2609.38257v1 Announce Type: new Abstract: Code editing requires a model to decide where to make changes, generate the new content, and preserve everything else. We study how masked diffusion language models divide these…

  77. An Empirical Study of Architectural Shift from Traditional to AI-Enabled Simulink Controllers
    USarXiv cs.SE (Software)

    arXiv:2609.38504v1 Announce Type: new Abstract: Effective AI adoption in cyber-physical systems (CPS) depends on embedding design knowledge into engineering practice. Yet as AI-enabled components increasingly replace analytically derived…

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

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

  79. A Heckler in the Hidden State: Correctness Signals in Diffusion Language Models
    USarXiv cs.SE (Software)

    arXiv:2609.36783v2 Announce Type: replace Abstract: Diffusion language models generate code by repeatedly updating a partially masked sequence. We ask whether their internal activations encode code correctness and whether that information…

  80. Learning When and How to Intervene: A Hindsight-Distilled Sentinel for Coding Agents
    USarXiv cs.SE (Software)

    arXiv:2609.39957v1 Announce Type: new Abstract: Coding agents solve repository-level tasks through sequences of actions, where a single erroneous action can misdirect subsequent decisions and increase recovery costs. Existing approaches…

  81. DoGBench: Can Agents Meet Expert Standards for User-Facing Documentation?
    USarXiv cs.SE (Software)

    arXiv:2609.39909v1 Announce Type: new Abstract: We introduce DoGBENCH (Documentation Generation Benchmark), to our knowledge, the first benchmark for generating and maintaining real user-facing software documentation. It asks whether an…

  82. From Charts to Code: A Hierarchical Benchmark for Multimodal Models
    USarXiv cs.SE (Software)

    arXiv:2510.17932v5 Announce Type: replace Abstract: We introduce Chart2Code, a new benchmark for evaluating the chart understanding and code generation capabilities of large multimodal models (LMMs). Chart2Code is explicitly designed from…

  83. Trustworthy Runtime Error Healing in Real-World Repositories: A Benchmark and Guardrail
    USarXiv cs.SE (Software)

    arXiv:2609.39086v1 Announce Type: new Abstract: Runtime error healing lets a crashed program continue by generating code that repairs its live runtime state. Recent work shows that LLMs can generate such healing code, but it is evaluated…

  84. Automatically Building Machine-Checked Assurance Cases from C Codebases to Requirements
    USarXiv cs.SE (Software)

    arXiv:2609.40119v1 Announce Type: cross Abstract: Large language models (LLMs) have shown promise in automating interactive theorem proving, yet verification of real-world C codebases requires more than discharging individual proof goals…

  85. Leveraging Game-Based Platform to Teach Code Refactoring: An Experience with Refactoria
    USarXiv cs.SE (Software)

    arXiv:2609.40086v1 Announce Type: new Abstract: Refactoring is the art of improving the internal structure of the code without altering its external behavior. Because of the topic's significance, several teaching methods and strategies…

  86. E2E-SWE: Benchmarking LLMs on Building Working Codebases from Scratch
    USarXiv cs.SE (Software)

    arXiv:2609.38335v1 Announce Type: new Abstract: Coding agents powered by large language models (LLMs) are evolving from making localized code changes to developing complete software repositories. However, evaluating repository-scale…

  87. Adaptive-GEPA: Make Your Harness Fit Heterogeneous Requests
    USarXiv cs.SE (Software)

    arXiv:2609.38762v1 Announce Type: new Abstract: Reflective optimizers such as GEPA improve language model prompts from execution traces and evaluator feedback; full-program extensions can also rewrite tools and control flow. In practice, a…

  88. From Codebase to Culprit (C2C): Reducing the Search Space for Bugs with Semantic Retrieval and Hierarchical Reinforcement Learning
    USarXiv cs.SE (Software)

    arXiv:2609.38402v1 Announce Type: new Abstract: We introduce C2C (From Codebase to Culprit), a framework for precise bug localization that progressively reduces the debugging search space across multiple levels of granularity: files…

  89. Aletheia: Permission-Minimality Testing for Coding-Agent Rules
    USarXiv cs.SE (Software)

    arXiv:2609.39678v1 Announce Type: cross Abstract: Repository instruction files guide coding agents, but also expose them to prompt injection. Malicious rules can request credential access or data transfer while the agent produces a correct…

  90. A Calculus for Units of Measure with Conversion
    USarXiv cs.PL (Programming)

    arXiv:2609.38242v1 Announce Type: new Abstract: Programs that compute with physical quantities often need to convert between units of measurement, and as the Mars Climate Orbiter showed, these conversions can be a rich source of errors…

  91. Building Atomic Structures from Natural Language
    USarXiv cs.PL (Programming)

    arXiv:2609.29595v2 Announce Type: replace-cross Abstract: Large language models can write the input parameters of a materials simulation from a prompt, but they cannot build the atomic structure those parameters describe. A crystal, a…

  92. Freely Generated Categorical Structures and Automatic Differentiation, PhD Thesis (Introduction and Conclusion)
    USarXiv cs.PL (Programming)

    arXiv:2609.40046v1 Announce Type: new Abstract: This version contains the introduction and conclusion of my PhD thesis, "Freely Generated Categorical Structures and Automatic Differentiation", together with its English and Dutch summaries…

  93. The Mode of Null-A: Compositional Computation of a Generalized Inverse
    USarXiv cs.PL (Programming)

    arXiv:2609.38497v1 Announce Type: cross Abstract: We present a novel algorithm for calculating the preimage of an affine space through a product ${J}={J}_{T-1}\cdots{J}_0$ of matrices ${J}_t$ of special form: finding the largest input…

  94. A Trust Ledger and an Execution Check for CPG-Based C-to-Lean 4 Autoformalization: Separating Declined from Silently Incorrect Translations
    USarXiv cs.PL (Programming)

    arXiv:2609.38237v1 Announce Type: new Abstract: Verifying large C codebases requires translating them into formally checkable semantics, but most autoformalization work reports a single aggregate success rate that conflates two different…

  95. Automatically Building Machine-Checked Assurance Cases from C Codebases to Requirements
    USarXiv cs.PL (Programming)

    arXiv:2609.40119v1 Announce Type: new Abstract: Large language models (LLMs) have shown promise in automating interactive theorem proving, yet verification of real-world C codebases requires more than discharging individual proof goals…

  96. Automated Prefetching for Object Spatial Programming Using Temporal Trace Graphs
    USarXiv cs.PL (Programming)

    arXiv:2609.38439v1 Announce Type: cross Abstract: Dependent database accesses can serialize application--database round trips on a request's critical path. Planning across traversal steps requires knowing both which relationships a…

  97. Vosti: Specifying, Implementing, and Verifying Deterministic LLM Inference
    USarXiv cs.PL (Programming)

    arXiv:2609.38981v1 Announce Type: cross Abstract: LLM inference systems may vary batch composition, prompt chunking, prefill/decode execution, and KV-cache reuse, eviction, or recomputation. These optimizations should not affect system…

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

    arXiv:2609.39022v1 Announce Type: new 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 can…

  99. ARCHER: Agentic Rule and Compliance Harness for Executable Regulations
    USarXiv cs.SE (Software)

    arXiv:2607.25566v2 Announce Type: replace-cross Abstract: Verifying building compliance requires validating thousands of rules against large Building Information Modeling (BIM) designs, which is laborious, capital-intensive, and…

  100. Self-Spec Verifiable Code Generation
    USarXiv cs.SE (Software)

    arXiv:2609.39568v1 Announce Type: new Abstract: Large language models (LLMs) may generate unreliable code on corner cases missed by testing, while formal verification can provide machine-checkable guarantees. Recently, researchers have…

  101. 3D Software Synthesis Driven by Constraint-Expressive Intermediate Representation
    USarXiv cs.SE (Software)

    arXiv:2507.18625v3 Announce Type: replace-cross Abstract: Graphical user interface (UI) software has undergone a fundamental transformation from traditional two-dimensional (2D) desktop/web/mobile interfaces to spatial three-dimensional…

  102. EngramBench: A Capability-Grounded Benchmark for Skill-Evolution Harnesses
    USarXiv cs.SE (Software)

    arXiv:2609.39284v1 Announce Type: new Abstract: While large language models have achieved remarkable success in isolated code generation, authentic software engineering requires sustained reasoning, complex state management, and continuous…

  103. The Hitchhiker's Guide to Monoculture: AI Homogenizes Syntax, Not (Necessarily) Semantics
    USarXiv cs.SE (Software)

    arXiv:2607.13077v3 Announce Type: replace-cross Abstract: Large language models (LLMs) have been widely reported to homogenize human expression and thought. However, I argue that convergence in language need not imply convergence in ideas…

  104. Toward Quantum Software Automation: A Quantum-Aware Harness for LLM-Guided Evolution
    USarXiv cs.SE (Software)

    arXiv:2609.38883v1 Announce Type: new Abstract: Quantum software is critical for improving the efficiency and reliability of scarce quantum hardware. However, its design still relies heavily on ad-hoc, handcrafted heuristics that are often…

  105. PatchHolmes: Agentic Patch Retrieval via Listwise Selection
    USarXiv cs.SE (Software)

    arXiv:2609.38807v1 Announce Type: cross Abstract: Patch retrieval, the task of finding the commit that fixes a known vulnerability, is the foundation of vulnerability management workflows, yet 60% to 63% of CVEs in the major advisory…

  106. Agentic AI in Industry: Adoption Level and Deployment Barriers
    USarXiv cs.SE (Software)

    arXiv:2605.14675v2 Announce Type: replace Abstract: Agentic AI is entering software engineering workflows, but empirical evidence on its transition from experimental capability to production use remains limited. We report a qualitative…

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

    arXiv:2609.38269v1 Announce Type: new 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…

  108. GDPR-Relevant Privacy Concerns in Mobile Apps Research: A Systematic Literature Review
    USarXiv cs.SE (Software)

    arXiv:2411.19142v5 Announce Type: replace Abstract: The General Data Protection Regulation (GDPR) is considered as the benchmark in the European Union (EU) for privacy and data protection standards. Since before its entry into force in…

  109. ITHICA: Intra-Thread Instruction Checking Approach for Defect-Induced Silent Data Corruptions
    USarXiv cs.SE (Software)

    arXiv:2605.15638v2 Announce Type: replace-cross Abstract: Hyperscalers are reporting silent data corruptions (SDCs), presumed to be caused by silicon manufacturing defects, as a threat to datacenter reliability. To support datacenter…

  110. TomasuLLM: Out-of-Order Speculative Execution for LLM Agents
    USarXiv cs.SE (Software)

    arXiv:2609.38201v1 Announce Type: cross Abstract: Long-running tools can dominate coding-agent latency: compilers, test suites, and repository commands take seconds to minutes while the agent idles. This observation stall presents the same…

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

    arXiv:2609.39022v1 Announce Type: 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 failures…

  112. What is going on with ceiling fans
    USHacker News Front Page

    Article URL: https://mcmansionhell.com/post/829127919552151552/what-is-going-on-with-ceiling-fans Comments URL: https://news.ycombinator.com/item?id=49917536 Points: 378 # Comments: 329

  113. Datalog Disassembly (2020)
    USlobste.rs

    Comments

  114. ESXi Exploitation in the Wild
    USlobste.rs

    Comments

  115. A brief history of the Bloomberg Terminal
    USlobste.rs

    Comments

  116. The AI Pascal’s Wager
    USlobste.rs

    Comments

  117. ASM Bots: Core War in real 8086 machine code
    USlobste.rs

    Comments

  118. Rust to WGSL transpiler `wgsl-rs` released
    USlobste.rs

    Comments

  119. Major rsync upgrade in Debian because of 33 CVEs
    USlobste.rs

    apt-listchanges --which=both -f text --since=3.4.1+ds1-5+deb13u4 /var/cache/apt/archives/rsync_3.5.0+ds1-0+deb13u1_amd64.deb apt-listchanges: Reading changelogs... apt-listchanges: News rsync (3.5.0+ds1-0+deb13u1) trixie-security…