Database Schema Drift: Why Your Docs Are Always Wrong
Somewhere in your company there's a schema diagram. Maybe it's an ERD in Confluence, a .sql file someone exported two migrations ago, or a wiki page titled "Dat…
Englishdev.to Database
最新资讯
言栖资讯收录 137868 篇 AI、开发与建站文章（English），按发布时间排序，支持搜索与按语言筛选。
PostgreSQL 14 stops on November 12: test your old dumps first
On 12 November 2026, PostgreSQL 14 gets its final release. After that date, no more fixes, not even for a security flaw. One week later, PostgreSQL 19 is due to…
Englishdev.to Database
Are LLM Safety Judges Policy-Invariant? A Three-Principle Stress-Test
arXiv:2605.06161v2 Announce Type: replace-cross Abstract: LLM-as-a-Judge pipelines have become the de facto evaluator for agent safety, yet existing benchmarks …
EnglisharXiv cs.SE
Executable but Unfaithful: Mock Object, Stub, and Assertion Generation by LLMs and Coding Agents
arXiv:2610.14629v2 Announce Type: replace Abstract: Mocking is a foundational practice in unit testing, enabling developers to isolate the code under test by re…
EnglisharXiv cs.SE
Refactoring React Component Hierarchies to Eliminate Prop Drilling
arXiv:2610.01376v2 Announce Type: replace Abstract: In React front-end development, Prop Drilling is the practice of propagating data through component properti…
EnglisharXiv cs.SE
SaltBench: A Referee-Gated Protocol for Measuring Method Effects in Machine-Checked Software Work
arXiv:2609.11076v4 Announce Type: replace Abstract: SaltBench asks how a machine referee (a proof kernel, program verifier or withheld test suite) changes how a…
EnglisharXiv cs.SE
Vibe Coding in Software Development: A Multivocal Literature Review
arXiv:2607.21652v2 Announce Type: replace Abstract: Vibe coding is an AI-assisted software development approach in which developers express intent in natural la…
EnglisharXiv cs.SE
Large Language Models for Multi-Lingual Equivalent Mutant Detection: An Extended Empirical Study
arXiv:2607.00511v2 Announce Type: replace Abstract: Mutation testing is a powerful technique for ensuring software quality. However, the presence of equivalent …
EnglisharXiv cs.SE
Characterizing Robustness in Semantic Code Clone Detection
arXiv:2606.25272v2 Announce Type: replace Abstract: Semantic code clone detection seeks to recognize shared functionality across different implementations, maki…
EnglisharXiv cs.SE
AI Slop and the Software Commons
arXiv:2604.16754v4 Announce Type: replace Abstract: We argue that AI slop in software development is creating a tragedy of the commons. Slop is cheap to generat…
EnglisharXiv cs.SE
QDiff: Differential Testing of Quantum Software Stacks
arXiv:2611.08220v1 Announce Type: cross Abstract: Over the past few years, several quantum software stacks (QSS) have been developed in response to rapid hardwa…
EnglisharXiv cs.SE
Detecting Silent Faults at the Environment-Trainer Boundary in Reinforcement Learning
arXiv:2611.08144v1 Announce Type: cross Abstract: Robot reinforcement learning increasingly runs environments outside the trainer: in another process, on anothe…
EnglisharXiv cs.SE
Symmetry-Aware Surrogate-Assisted Testing of UAVs
arXiv:2611.08012v1 Announce Type: cross Abstract: We investigate a symmetry-aware surrogate-assisted testing approach for UAV autopilots. The proposed approach …
EnglisharXiv cs.SE
tok: a textual concrete syntax of BPMN and DMN for humans and AI agents
arXiv:2611.07945v1 Announce Type: cross Abstract: tok is a plain-text notation for Business Process Model and Notation (BPMN) 2.0.2 process models and Decision …
EnglisharXiv cs.SE
Don't Prompt Your Agents. Equip Them: Skillware as a Modular Standard for Sovereign, Auditable, and Deterministic Capability Execution for Logical Systems
arXiv:2611.07652v1 Announce Type: cross Abstract: Current autonomous logical systems rely on a fragile assumption: that language models should dynamically write…
EnglisharXiv cs.SE
Rule-Guided and Trajectory-Aware Repair for LLM-Based HLS Generation
arXiv:2611.07324v1 Announce Type: cross Abstract: Large language models (LLMs) offer a promising path for directly generating functionally correct and synthesiz…
EnglisharXiv cs.SE
Code, Commits, and Complexity in the GenAI Era: A Longitudinal Study of Team-Based Capstone Projects
arXiv:2611.07297v1 Announce Type: cross Abstract: Generative AI tools are now widely available to students, but little is known about how team-based project cod…
EnglisharXiv cs.SE
Follow the Policy, Fail the Benchmark: Auditing and Revising Policy-Based Decision Benchmarks
arXiv:2611.07042v1 Announce Type: cross Abstract: Policy-based decision benchmarks evaluate whether systems apply written rules to financial and operational cas…
EnglisharXiv cs.SE
Replay Is a Family of Assertions: Fork-Safety in Event-Sourced Agent Runtimes
arXiv:2611.06924v1 Announce Type: cross Abstract: Event-sourced agent runtimes commonly claim deterministic replay, cheap forking, and lineage. These are famili…
EnglisharXiv cs.SE
Cognitive Tours: Making Understanding a Deliverable in AI-Assisted Development
arXiv:2611.08456v1 Announce Type: new Abstract: Generative AI and agentic coding are accelerating software development, leading to concerns about technical debt…
EnglisharXiv cs.SE