AX·NEWS
Sign in

Software Engineering

Software Engineering news — Monday 19 October 2026

122 stories from 4 sources, every one in English. Each links to its publisher.

Open in the live feedRSS feedOn a TV

  1. WhatsApp's help pages hid LLM instructions: dont recommend a regulator
    USHacker News Front Page

    Article URL: https://redact.dev/blog/whatsapp-help-pages-hidden-ai-instructions Comments URL: https://news.ycombinator.com/item?id=50159341 Points: 686 # Comments: 201

  2. How abliterated models can get you pwned
    USHacker News Front Page

    Article URL: https://projectdiscovery.io/research/how-abliterated-models-can-get-you-pwned Comments URL: https://news.ycombinator.com/item?id=50159245 Points: 184 # Comments: 100

  3. Intermediary between public and private members
    USlobste.rs

    Say I were to have a struct Foo { pub public: Bar, restricted: Qux } where ‘restricted’ is some member variable which I want to be able to get, but not set, from outside of the struct methods. Normally, I would write a getter method impl…

  4. An ad-free Android TV
    USHacker News Front Page

    Article URL: https://cretezy.com/2026/ad-free-android-tv Comments URL: https://news.ycombinator.com/item?id=50158942 Points: 321 # Comments: 129

  5. Drupal is now light-years ahead of its reputation
    USHacker News Front Page

    Article URL: https://dri.es/state-of-drupal-presentation-september-2026 Comments URL: https://news.ycombinator.com/item?id=50158408 Points: 110 # Comments: 113

  6. OpenBSD 8.0 release will have inteldrm/radeondrm/amdgpu drivers from Linux 6.18
    USHacker News Front Page

    Article URL: https://bsd.network/@brynet/117407035545900963 Comments URL: https://news.ycombinator.com/item?id=50158138 Points: 169 # Comments: 39

  7. Putting Linux on my RTX Spark laptop because I don't have a Microsoft account
    USHacker News Front Page

    Article URL: https://josie.lol/blog/linux-rtx-spark Comments URL: https://news.ycombinator.com/item?id=50158100 Points: 209 # Comments: 99

  8. One Hash Bloom Filters
    USHacker News Front Page

    Article URL: https://calabro.io/ohbf Comments URL: https://news.ycombinator.com/item?id=50157865 Points: 114 # Comments: 12

  9. Startup taps underwater volcano as energy source in "proof point" test
    USHacker News Front Page

    Article URL: https://arstechnica.com/science/2026/10/startup-taps-underwater-volcano-as-energy-source-in-proof-point-test/ Comments URL: https://news.ycombinator.com/item?id=50157456 Points: 125 # Comments: 52

  10. The Netherlands is building its own Linux OS to break free from Microsoft
    USlobste.rs

    Comments

  11. The reverts will continue until morale improves
    USHacker News Front Page

    Article URL: http://peter.eisentraut.org/blog/2026/10/09/the-reverts-will-continue-until-morale-improves Comments URL: https://news.ycombinator.com/item?id=50156206 Points: 159 # Comments: 26

  12. In Context
    USlobste.rs

    Comments

  13. 2026 is an exciting year for the Rust compiler (and me)
    USlobste.rs

    Comments

  14. What is this worth?
    USlobste.rs

    Comments

  15. Mercury 3: Diffusion at scale
    USHacker News Front Page

    Article URL: https://www.inceptionlabs.ai/blog/introducing-mercury-3 Comments URL: https://news.ycombinator.com/item?id=50155245 Points: 206 # Comments: 80

  16. Android apps running native on macOS
    USHacker News Front Page

    Article URL: https://github.com/kksimp/Mac.apk Comments URL: https://news.ycombinator.com/item?id=50154624 Points: 291 # Comments: 156

  17. Making all divisions slower to fix a bug in 0.000000000000000000542% of cases
    USlobste.rs

    Comments

  18. MiniMax M3.1 Flash
    USHacker News Front Page

    Article URL: https://www.minimax.io/blog/minimax-m31f Comments URL: https://news.ycombinator.com/item?id=50154540 Points: 497 # Comments: 209

  19. I no longer care to work on any Ruby gems so I've archived all my repositories
    USHacker News Front Page

    Article URL: https://po-ru.com/2026/10/18/why-im-no-longer-updating-this-repository Comments URL: https://news.ycombinator.com/item?id=50154518 Points: 379 # Comments: 359

  20. Finding a home amidst the wreckage
    USlobste.rs

    Comments

  21. DeepSeek banned from U.S. federal civilian agencies under new DHS order
    USHacker News Front Page

    https://public-inspection.federalregister.gov/2026-21447.pdf Comments URL: https://news.ycombinator.com/item?id=50154244 Points: 510 # Comments: 434

  22. Dungeon Generation in the Gnomish Mines of NetHack
    USHacker News Front Page

    Article URL: https://www.boristhebrave.com/2026/10/18/dungeon-generation-in-the-gnomish-mines-of-nethack/ Comments URL: https://news.ycombinator.com/item?id=50154109 Points: 127 # Comments: 16

  23. Degraded availability for GitHub Actions, GitHub Pages and Webhooks
    USHacker News Front Page

    Article URL: https://www.githubstatus.com/incidents/8tzbpcnl75jp Comments URL: https://news.ycombinator.com/item?id=50153934 Points: 138 # Comments: 109

  24. One Hash Bloom Filters
    USlobste.rs

    Comments

  25. Removing a Type Assertion with Object.assign
    USlobste.rs

    Comments

  26. Ukraine claims first drone evacuation of wounded soldier
    USHacker News Front Page

    Article URL: https://www.nbcnews.com/world/ukraine/ukraine-first-drone-evacuation-wounded-soldier-frontlines-hexacopter-rcna604310 Comments URL: https://news.ycombinator.com/item?id=50153664 Points: 374 # Comments: 277

  27. CERN and Mistral join forces to accelerate AI for science
    USHacker News Front Page

    Article URL: https://home.cern/cern-and-mistral-join-forces-to-accelerate-ai-for-science/ Comments URL: https://news.ycombinator.com/item?id=50153630 Points: 286 # Comments: 55

  28. Code is clay now
    USHacker News Front Page

    Article URL: https://www.albertodenia.com/writing/code-is-clay-now Comments URL: https://news.ycombinator.com/item?id=50153531 Points: 176 # Comments: 115

  29. Wine ported to OpenBSD
    USlobste.rs

    Comments

  30. Maybe There Was an Egg Cartel After All
    USHacker News Front Page

    Article URL: https://www.politico.com/news/magazine/2026/10/18/egg-prices-conspiracy-affordability-issue-01100411 Comments URL: https://news.ycombinator.com/item?id=50152970 Points: 142 # Comments: 101

  31. Hanami, Why?: Model Citizens
    USlobste.rs

    Comments

  32. A5 v1.0 | A5
    USlobste.rs

    Comments

  33. Maxwell: A new kind of model that sits between code and hardware
    USHacker News Front Page

    Hi HN, I'm Gal from doubleAI. We've built Maxwell, a new kind of frontier model we call a Code Execution Model. It sits between your code and the hardware. No humans in the loop! Maxwell makes the code run faster as it runs, without ever…

  34. Plex vulnerabilities being exploited in the wild to drop a cryptominer
    USHacker News Front Page

    Article URL: http://www.boredhackerblog.info/2026/10/plex-vulnerabilities-being-exploited-in.html Comments URL: https://news.ycombinator.com/item?id=50152321 Points: 154 # Comments: 75

  35. Wine Ported to OpenBSD
    USHacker News Front Page

    Article URL: https://marc.info/?l=openbsd-ports&m=179236125692175 Comments URL: https://news.ycombinator.com/item?id=50152307 Points: 600 # Comments: 199

  36. Making dns_erlang Fast: Binary Tricks for the BEAM
    USlobste.rs

    Comments

  37. Borrow Checking Zero-Cost Cyclic Mutability
    USlobste.rs

    Comments

  38. Show HN: Qwen3-4B with the AI writing tics trained out
    USHacker News Front Page

    Article URL: https://100toolkit.com/blog/deslop-model/ Comments URL: https://news.ycombinator.com/item?id=50151928 Points: 128 # Comments: 95

  39. Static Analysis for the Uninitialized
    USlobste.rs

    Comments

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

  41. The obscure trust looming over Anthropic's IPO
    USHacker News Front Page

    Article URL: https://www.wsj.com/tech/ai/anthropic-ipo-private-trust-188f41f7?st=RtdGHg&reflink=desktopwebshare_permalink Comments URL: https://news.ycombinator.com/item?id=50151376 Points: 120 # Comments: 84

  42. Timestral: Mistral's time-series foundation models
    USlobste.rs

    Comments

  43. Ask HN: How to deal with shipping AI-written code you don't understand?
    USHacker News Front Page

    I saw this LinkedIn post from a Meta engineer and it resonated with me: https://www.linkedin.com/posts/ali-hamie_im-an-engineer-at-m... > I'm an engineer at Meta and I never felt this uncomfortable doing my job. I'm writing code these days…

  44. Alternatives to Animal Testing Are Finally Taking Off
    USHacker News Front Page

    Article URL: https://spectrum.ieee.org/alternatives-to-animal-testing Comments URL: https://news.ycombinator.com/item?id=50150927 Points: 322 # Comments: 97

  45. Let's Encrypt is adding two additional remote perspectives for domain validation
    USHacker News Front Page

    Article URL: https://community.letsencrypt.org/t/lets-encrypt-is-adding-two-additional-remote-perspectives-for-domain-validation/252166 Comments URL: https://news.ycombinator.com/item?id=50150809 Points: 246 # Comments: 77

  46. Documents: Police officer gave her Flock login to her ICE agent husband
    USHacker News Front Page

    Article URL: https://www.wjcl.com/article/savannah-police-officer-ice-agent-flock-access/74135816 Comments URL: https://news.ycombinator.com/item?id=50150750 Points: 201 # Comments: 104

  47. Timestral: Mistral release time-series foundation models
    USHacker News Front Page

    Article URL: https://mistral.ai/news/timestral/ Comments URL: https://news.ycombinator.com/item?id=50150434 Points: 556 # Comments: 104

  48. Way to Play Super Mario 64: On Apple Vision Pro
    USHacker News Front Page

    Article URL: https://www.pagetable.com/303 Comments URL: https://news.ycombinator.com/item?id=50150214 Points: 189 # Comments: 82

  49. What Is Gridifcation
    USHacker News Front Page

    Article URL: https://musicalform.substack.com/p/what-is-gridifcation Comments URL: https://news.ycombinator.com/item?id=50150163 Points: 408 # Comments: 201

  50. I built a drone with only one motor [video]
    USHacker News Front Page

    Article URL: https://www.youtube.com/watch?v=Ndftcft6XhU Comments URL: https://news.ycombinator.com/item?id=50150089 Points: 619 # Comments: 139

  51. The Decoherence Trap
    USHacker News Front Page

    Article URL: https://maevyn.codes/decoherence Comments URL: https://news.ycombinator.com/item?id=50149861 Points: 144 # Comments: 60

  52. Tor VPN Beta: What we've learned building our own VPN for Android from scratch
    USlobste.rs

    Comments

  53. The 7.3 kernel has been released
    USlobste.rs

    Comments

  54. Beginning of the Ende (a community Deno fork)
    USlobste.rs

    Comments

  55. A Bazel Bard
    USlobste.rs

    Comments

  56. Linux 7.3 Released
    USHacker News Front Page

    Article URL: https://lwn.net/Articles/1101143/ Comments URL: https://news.ycombinator.com/item?id=50149392 Points: 550 # Comments: 250

  57. Crawlers, floods and fleets: a year of keeping our digital collections open
    USlobste.rs

    Comments

  58. Programming Language Fundamentals in Agda
    USlobste.rs

    Comments

  59. Tmux and Claude Code: Sessions, Send-Keys, and the Ceiling
    USHacker News Front Page

    Article URL: https://crystl.dev/guides/tmux-for-ai-agents/ Comments URL: https://news.ycombinator.com/item?id=50148855 Points: 113 # Comments: 78

  60. Composite objects and C++26 the std::polymorphic type
    USlobste.rs

    Comments

  61. DeepSeek V4.1 Flash 1017 (Max)
    USHacker News Front Page

    Article URL: https://artificialanalysis.ai/models/deepseek-v4-1-flash-1017 Comments URL: https://news.ycombinator.com/item?id=50148452 Points: 138 # Comments: 46

  62. Why is GitOps so good?
    USlobste.rs

    Comments

  63. Efficient Extraction for Effectful E-graphs
    USlobste.rs

    Comments

  64. A response to claims about flatpak being insecure
    USlobste.rs

    Comments

  65. Superset Decompilation
    USarXiv cs.SE (Software)

    arXiv:2603.28002v2 Announce Type: replace-cross Abstract: Decompilation is the task of recovering high-level source from a compiled binary. Conventionally, it is implemented as a series of analyses and rewrites over a single…

  66. WEAVE: Weaving Real-World Code Evolution into Dependency-Structured Tasks for Benchmarking and Training Code Agents
    USarXiv cs.SE (Software)

    arXiv:2610.22039v2 Announce Type: replace Abstract: Real-world software engineering rarely consists of isolated changes. Features, migrations, and systematic fixes often unfold across multiple pull requests (PRs), requiring coordinated…

  67. Cross-Dialect Generalization Without Retraining: Benchmarks and Evaluation of Schema-Derived Constrained Decoding for MLIR
    USarXiv cs.PL (Programming)

    arXiv:2607.18254v2 Announce Type: replace-cross Abstract: Multi-Level Intermediate Representation (MLIR) underlies modern ML compiler infrastructure (TensorFlow, JAX/StableHLO, PyTorch Inductor, IREE), yet appears only in trace amounts in…

  68. SIEVE: A Parameterized GitHub Corpus Builder for Software Engineering Research
    USarXiv cs.SE (Software)

    arXiv:2610.22544v1 Announce Type: new Abstract: Software engineering research increasingly relies on large, richly annotated corpora of real-world code. Still, researchers typically assemble these with ad-hoc scripts or static, pre-built…

  69. No One-Size-Fits-All: Adaptive Code Editing with Feature-Based Strategy Selection
    USarXiv cs.SE (Software)

    arXiv:2610.22881v1 Announce Type: new Abstract: Large language models have shown strong potential in automating code editing (CE) tasks, yet most existing systems rely on a fixed CE strategy (i.e., one-step, search-replace, and plan-apply)…

  70. Monitor-Validity Failures: LLM Safety Evidence Paths at Evolving Framework Boundaries
    USarXiv cs.SE (Software)

    arXiv:2610.23362v1 Announce Type: cross Abstract: Modern LLM applications rely on runtime monitors that inspect tool calls, traces, streams, detector outputs, and verifier inputs. This creates an interface-reliability problem: a framework…

  71. SWE-Prometheus: Measuring Engineering Governance Improvements in Real-World Repositories
    USarXiv cs.SE (Software)

    arXiv:2609.29465v3 Announce Type: replace-cross Abstract: Large language model based coding agents have made substantial progress on repository-level software engineering tasks. Existing repository benchmarks, however, usually start from a…

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

    arXiv:2609.39717v2 Announce Type: replace-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…

  73. Operon: Incremental Construction of Ragged Data via Named Dimensions
    USarXiv cs.PL (Programming)

    arXiv:2511.16080v2 Announce Type: replace Abstract: Modern data processing workflows frequently encounter ragged data: collections with variable-length elements that arise naturally in domains like natural language processing, scientific…

  74. ForTress: Bringing Assurance and Determinism for LLM-Driven Fortran-to-Python Translation
    USarXiv cs.SE (Software)

    arXiv:2610.22528v1 Announce Type: new Abstract: Modernizing mature scientific software from Fortran to Python can improve accessibility and integration with modern computing tools, but manual rewriting is expensive. Large language models…

  75. Arbitrary Functors as Modalities in a Linear Calculus
    USarXiv cs.PL (Programming)

    arXiv:2610.23023v1 Announce Type: new Abstract: We study modalities in the linear lambda calculus, by interpreting them as endofunctors in monoidal closed categories. We support functors that do not distribute over products, including…

  76. VulnSAGE: Adjudicating SAST Reports by Connecting LLM Reasoning to Program Structure
    USarXiv cs.SE (Software)

    arXiv:2610.23035v1 Announce Type: new Abstract: Static Application Security Testing (SAST) reports flag operations whose safety depends on project-specific context, and maintainers must decide which reports describe real defects. Large…

  77. Empirical Insights from AI-Powered Software Engineering in Practice
    USarXiv cs.SE (Software)

    arXiv:2610.23632v1 Announce Type: new Abstract: Generative Artificial Intelligence (GenAI) is becoming indispensable in future software engineering. Its application spans a wide spectrum - from assisted development to autonomous software…

  78. Understanding LLM Hallucinations Caused by Soft Errors
    USarXiv cs.SE (Software)

    arXiv:2610.22520v1 Announce Type: new Abstract: While hallucinations in Large Language Models (LLMs) have been extensively studied from a software perspective, limited attention has been paid to hardware-level factors. In this paper, we…

  79. AuditKIT: A Unified Evaluation Spine for Benchmarking, Judging, and Comparing Large Language Models and Agentic Systems
    USarXiv cs.SE (Software)

    arXiv:2610.22511v1 Announce Type: cross Abstract: Evaluating language models and agents requires combining benchmark accuracy, judge-based assessment, runtime performance, tool-use behavior, and retrieval quality. Differences in…

  80. Pluvio: Assembly Clone Search for Out-of-domain Architectures and Libraries through Transfer Learning and Conditional Variational Information Bottleneck
    USarXiv cs.SE (Software)

    arXiv:2307.10631v2 Announce Type: replace Abstract: The practice of code reuse is crucial in software development for a faster and more efficient development lifecycle. In reality, however, code reuse practices lack proper control…

  81. Epistemological Debt: A Conceptual Framework for AI-Dependent Software Engineering
    USarXiv cs.SE (Software)

    arXiv:2604.26855v4 Announce Type: replace Abstract: This paper proposes a conceptual framework for Epistemological Debt, a liability that AI-dependent software engineering creates and conventional engineering metrics miss: the share of a…

  82. FeatureFuzz: Treating Bug-prone Features as Core Primitives for Compiler Fuzzing
    USarXiv cs.SE (Software)

    arXiv:2601.12360v3 Announce Type: replace Abstract: CI/CD pipelines often execute build and test tasks with high privileges, making the compilation stage security-sensitive. In this setting, malicious pull requests may exploit carefully…

  83. Enjoying the Product but Not Joining the Builders: Investigating Why Students Don't Contribute to OSS
    USarXiv cs.SE (Software)

    arXiv:2610.22664v1 Announce Type: new Abstract: Open-source software (OSS) participation provides students with authentic exposure to collaborative, real-world software development, yet active contributions remain limited. This short paper…

  84. Towards Agentic Proof Harness Engineering
    USarXiv cs.SE (Software)

    arXiv:2610.23241v1 Announce Type: new Abstract: Formal verification of real-world projects requires substantial manual effort, from specifying correctness properties to constructing the infrastructure needed to check them. We envision…

  85. SpinControl: Control Software for Prototyping and Benchmarking of Spin-Qubit Devices and Measurement Protocols
    USarXiv cs.SE (Software)

    arXiv:2610.23316v1 Announce Type: cross Abstract: Quantum computers require software to control the states of the qubits. As the actions on qubits grow in complexity with circuit execution, calibration, and benchmarking, the complexity of…

  86. Efficient Program Reduction for Library Fuzzing Harnesses
    USarXiv cs.SE (Software)

    arXiv:2610.23054v1 Announce Type: new Abstract: Library fuzzing harnesses translate generated inputs into API calls. When a complex harness triggers a crash, developers must determine whether the cause is a library defect or invalid…

  87. An Interactive GraphRAG Workspace for Reifying, Auditing, and Steering Conversational AI Memories
    USarXiv cs.SE (Software)

    arXiv:2610.23559v1 Announce Type: new Abstract: Conversational Large Language Models (LLMs) are widely employed in software engineering for code generation, debugging, and architectural design. However, as developers engage in…

  88. A Longitudinal Study of Dependency Reclassifications in JavaScript Projects
    USarXiv cs.SE (Software)

    arXiv:2604.08747v5 Announce Type: replace Abstract: Modern software projects depend on third-party dependencies, whose declarations must be maintained as projects evolve. Prior work has focused on dependency version updates, while much…

  89. CIDR: A Large-Scale Industrial Source Code Dataset for Software Engineering Research
    USarXiv cs.SE (Software)

    arXiv:2605.12153v3 Announce Type: replace Abstract: We present the Curated Industrial Developer Repository (CIDR), a large-scale dataset of real-world software repositories collected from industrial partners. The dataset comprises 4,687…

  90. The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
    USarXiv cs.PL (Programming)

    arXiv:2509.05462v2 Announce Type: replace-cross Abstract: Hasegawa showed that control flow in programming languages---while loops and if-then-else statements---can be modeled using traced cocartesian categories, such as the category Set_*…

  91. Recall-Oriented Precise Binary-to-Source Function Matching
    USarXiv cs.SE (Software)

    arXiv:2610.23546v1 Announce Type: new Abstract: Binary-to-source function matching supports software composition analysis by identifying reused third-party code, but existing embedding-based approaches restrict subsequent refinement to…

  92. Towards Agentic Cloud Engineering: Graph and Loop Engineering with a Zero-Trust Agent Harness
    USarXiv cs.SE (Software)

    arXiv:2609.00050v2 Announce Type: replace Abstract: Agentic AI is enabling cloud-based workflows in which autonomous agents reason over operational state, invoke authorized tools, modify software and infrastructure, deploy services, verify…

  93. Code Skill Server: A Large-Scale Search Engine for Code Generation Skills
    USarXiv cs.SE (Software)

    arXiv:2610.23186v1 Announce Type: new Abstract: Agent skills have proven to be an effective technique for improving agent ability on specific tasks, including software engineering, natural science, and mathematics. During such a process…

  94. Eliciting Specifications: When Does Interactive Clarification Help?
    USarXiv cs.SE (Software)

    arXiv:2610.22382v1 Announce Type: new Abstract: LLMs can generate Lean specifications from task descriptions, but those descriptions are often underspecified or ambiguous and may omit verifier-relevant edge cases, yielding imperfect formal…

  95. EnterpriseSynth: Zero-Execution SFT and Evaluation Data from OpenAPI Specs
    USarXiv cs.SE (Software)

    arXiv:2610.22412v1 Announce Type: new Abstract: Tool-using large language model agents require substantial training and evaluation data, yet collecting execution traces from enterprise APIs is often unsafe, expensive, or infeasible because…

  96. Between Spoilers and Guesswork: Avoiding Over-Specification in Coding Benchmarks
    USarXiv cs.SE (Software)

    arXiv:2610.22760v1 Announce Type: cross Abstract: Benchmarks drive AI progress, but are hampered by task under-specification and over-specification. Task under-specification causes guesswork, where solutions have to make things up, or…

  97. Robust Function Calling for LLM Agents Under Interface Drift
    USarXiv cs.SE (Software)

    arXiv:2610.23342v1 Announce Type: cross Abstract: Tool-augmented language-model agents rely on interface text: tool descriptions, argument schemas, and the candidate tool list shown at inference time. These interfaces often change after…

  98. Are We Testing the Wrong Quantum Bugs? A Study of Fault Representation Gaps in Quantum Software Testing
    USarXiv cs.SE (Software)

    arXiv:2610.22089v2 Announce Type: replace Abstract: Quantum software relies on compilers, intermediate representations, and execution frameworks that transform programs before execution. Faults in these components can change the behavior…

  99. Veri-Sure: Multi-Agent RTL Code Generation with Temporal Tracing, Slicing and Formal Verification
    USarXiv cs.SE (Software)

    arXiv:2601.19747v2 Announce Type: replace-cross Abstract: In the rapidly evolving field of Electronic Design Automation (EDA), the deployment of Large Language Models (LLMs) for Register-Transfer Level (RTL) code generation has emerged as…

  100. A Theoretical Analysis of Test-Driven Code Generation
    USarXiv cs.SE (Software)

    arXiv:2602.06098v4 Announce Type: replace Abstract: Code assistants are increasingly utilized in test-driven software development, yet the theoretical mechanisms behind their environment-interaction strategies remain underexplored. We…

  101. A Taxonomy of Predicate Transformer Monads for Specifying Monadic Programs
    USarXiv cs.PL (Programming)

    arXiv:2610.23604v1 Announce Type: new Abstract: Monads of weakest precondition predicate transformers are the foundation of several verification frameworks for monadic programs. For specifying monadic computations with nondeterminism and…

  102. Mizzle: A Complete Concurrent Incorrectness Logic with Applications to Agentic Bug Certification
    USarXiv cs.PL (Programming)

    arXiv:2607.11611v2 Announce Type: replace Abstract: Large language models are increasingly used to find bugs in real-world programs, but they also produce a flood of false alarms that waste developers' time. We propose to prevent these…

  103. Enforcing Code Reasoning in Agentic Scaffold for More Effective Issue Resolution
    USarXiv cs.SE (Software)

    arXiv:2610.23782v1 Announce Type: new Abstract: Reasoning is central to ReAct-based programming agents, yet whether and how they reason about code remains unclear. We study 7,955 issue-resolution trajectories from six single- and…

  104. Superset Decompilation
    USarXiv cs.PL (Programming)

    arXiv:2603.28002v2 Announce Type: replace Abstract: Decompilation is the task of recovering high-level source from a compiled binary. Conventionally, it is implemented as a series of analyses and rewrites over a single representation…

  105. Where Does the Performance Go? Understanding and Recovering Performance Regressions in C-to-Rust Translation
    USarXiv cs.PL (Programming)

    arXiv:2610.23044v1 Announce Type: cross Abstract: Rust is increasingly adopted as a memory-safe successor to C, and transpilers such as \crust{} can migrate entire C projects while preserving their behavior. Preserving behavior, however…

  106. Benchmarking and Enhancing Design-Aware Code Review in the Linux Kernel
    USarXiv cs.SE (Software)

    arXiv:2610.21925v2 Announce Type: replace Abstract: Code review often requires reasoning beyond local correctness. In mature software systems, reviewers must recognize design trade-offs introduced by a proposed change, compare alternative…

  107. Are We Testing the Wrong Quantum Bugs? A Study of Fault Representation Gaps in Quantum Software Testing
    USarXiv cs.PL (Programming)

    arXiv:2610.22089v2 Announce Type: replace-cross Abstract: Quantum software relies on compilers, intermediate representations, and execution frameworks that transform programs before execution. Faults in these components can change the…

  108. VulnSAGE: Adjudicating SAST Reports by Connecting LLM Reasoning to Program Structure
    USarXiv cs.PL (Programming)

    arXiv:2610.23035v1 Announce Type: cross Abstract: Static Application Security Testing (SAST) reports flag operations whose safety depends on project-specific context, and maintainers must decide which reports describe real defects. Large…

  109. When Double Rounding is Correct
    USarXiv cs.PL (Programming)

    arXiv:2610.09005v2 Announce Type: replace Abstract: Number libraries, which implement number formats and their arithmetic in software, are used to simulate hardware, making hardware behavior reproducible and thus verifiable and easier to…

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

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

  111. MLOps-Bench: Benchmarking AI Agents on Production ML Engineering in Real Repositories
    USarXiv cs.SE (Software)

    arXiv:2610.23506v1 Announce Type: new Abstract: AI agents are increasingly expected to modify and maintain machine-learning systems in production, yet existing benchmarks primarily evaluate either competition-style ML experimentation or…

  112. MergeShuffle: Reconstruct Shared Libraries for Improved Performance and Security
    USarXiv cs.SE (Software)

    arXiv:2610.22952v1 Announce Type: new Abstract: Debloating shared libraries has been an active research topic for years. Tools for shared library debloating rely on either static or dynamic analysis techniques to discover which parts of…

  113. What the heck is /pkg?
    USlobste.rs

    Comments

  114. What requirements don't you have?
    USlobste.rs

    Comments

  115. ZX Spectrum Next Laptop
    USHacker News Front Page

    Article URL: https://www.dorchester3d.com/printing/blog/2020/11/zx-spectrum-next-laptop-version-2 Comments URL: https://news.ycombinator.com/item?id=50147799 Points: 103 # Comments: 19

  116. Superlite: A Faster Alternatie to Superpowers
    USHacker News Front Page

    Article URL: https://contextfirst.blog/superlite-hand-an-agent-a-spec/ Comments URL: https://news.ycombinator.com/item?id=50147492 Points: 131 # Comments: 61

  117. Updates to site guidelines and AI/LLM tags
    USlobste.rs

    Hey folks, I've been having to perform an increasing number of moderation actions surrounding the vibecoding tag and AI/LLM related content. I started reading Lobsters because it had the most interesting viewpoints related to computing…

  118. BBC Master Pi 1MHz Domesday
    USlobste.rs

    Dominic Plunkett has updated the BBC Micro PiMHz software to emulate most of the hardware for a BBC AIV system, including the LV player! Just add a trackball/mouse and a PiTubeDirect and you'll be able to run the Domesday disc! This video…

  119. Starcraft: Ashfall
    USHacker News Front Page

    Article URL: https://starcraft-shooter-2026.pages.dev/ Comments URL: https://news.ycombinator.com/item?id=50147233 Points: 512 # Comments: 154

  120. Inline rendering with document.currentScript
    USlobste.rs

    Comments

  121. Speeding up code review with `small-change`
    USlobste.rs

    Comments

  122. Dynamic Packages
    USlobste.rs

    Comments