---
格式版本: 2
标题: "Escaping the Quicksand: A Call to Arms"
原文链接: "https://arxiv.org/abs/2608.19674"
发布日期: "2026-08-20"
发布时间校准状态: "found"
发布时间需复核: "否"
发布时间来源: "rule:local:strict_original_body"
发布时间证据: "**\\[v1\\]** Thu, 20 Aug 2026 06:07:56 UTC (71 KB)"
发布时间校准原因: "规则确认唯一严格发布时间，来源 local:strict_original_body"
发布时间校准置信度: "high"
发布时间候选数量: 18
发布时间严格候选数量: 6
发布时间原页读取状态: "source template page reused from URL open"
发布时间未找到原因: ""
发布时间校准时间: "2026-08-21T16:19:19+08:00"
发布时间仲裁状态: "skipped"
发布时间仲裁尝试次数: 0
发布时间仲裁耗时毫秒: 0
发现时间: "2026-08-21T16:17:02+08:00"
入库时间: "2026-08-21T08:19:19.750Z"
来源平台: "arXiv 学术论文搜索"
搜索渠道: "source_template"
搜索词: "https://arxiv.org/search/?query=Oracle&searchtype=all"
匹配关键词:
  - "AI"
相关厂家:
  - "Oracle"
相关专家:
  []
内容类型: "网页"
抓取工具: "Free Fetch + Defuddle"
清洗工具: "Defuddle Markdown + Defuddle/Readability 正文提取"
原始附件:
  []
AI优质: "否"
AI打分: 10
AI分档: "非优质"
AI质检状态: "不通过"
AI打分理由: "该资料为编程语言/软件工程相关学术论文，讨论规格、测试与证明，与超节点/AI Rack/机柜级AI基础设施完全无关，无任何核心部件、供电、散热或互连技术内容，也不涉及厂商量产与部署。"
AI质检模型: "ali-deepseek-v4-flash"
AI质检时间: "2026-08-21T16:19:46+08:00"
AI主题相关性: 0
AI来源权威性: 8
AI新颖性: 2
AI技术细节: 0
AI商业部署信号: 0
AI完整性: 0
AI摘要: "Peter Sewell 与 Jean Pichon-Pharabod 在论文中批评 75 年来靠测试调试的软件开发模式积累巨额技术债，且 AI 编程进一步放大风险，主张务实结合测试、规范与证明。"
AI摘要模型: "ali-deepseek-v4-flash"
AI摘要时间: "2026-09-07T02:12:02.948Z"
采集批次: "2026年8月21日13点55分53秒"
采集批次ID: "20260821-135553-743"
去重键: "https://arxiv.org/abs/2608.19674"
---

## Computer Science > Programming Languages

## Title:Escaping the Quicksand: A Call to Arms

Authors:[Peter Sewell](https://arxiv.org/search/cs?searchtype=author&query=Sewell,+P), [Jean Pichon-Pharabod](https://arxiv.org/search/cs?searchtype=author&query=Pichon-Pharabod,+J)

[View PDF](https://arxiv.org/pdf/2608.19674) [HTML (experimental)](https://arxiv.org/html/2608.19674v1)

> Abstract:Computing has been an astonishing success - but the accumulated technical debt exposes us all to huge costs in business and societal risk. For 75 years, we've built systems to prose specifications with test-and-debug development. That works well enough for industry to thrive, but it's an expensive and ineffective feedback loop, and leaves everyone relying on shaky foundations. Now, AI-enabled engineering is amplifying the success by reducing coding costs, but also amplifies the risks, by rapidly increasing technical debt, and by automating detection of the vulnerabilities therein.  
> How can we do better? Research has long pursued mathematical proof of correctness, which, unlike testing, can cover all cases. This too has advanced massively, but it remains hard to apply, both technically and because of a deep-seated cultural disconnect.  
> Instead, we argue for a pragmatic approach to flexible combinations of testing, \*specification\*, and proof, that provides more effective feedback loops for both AI and human development.  
> Most simply, one can incrementally co-develop executable-as-test-oracle partial specifications alongside conventional prose descriptions, code, and tests. This clarifies design and makes testing much more discriminating. Developers can and should do it today.  
> Or, even better, one can use specifications that support the full gamut of testing, property-based testing, symbolic execution, and proof. This enables a range of intertwined feedback loops, again both for AI and humans, from cheap testing to more expensive proof. However, making it really practical needs \*semantics infrastructure\*: specifications and tooling for the main programming languages and other abstractions, which we now more-or-less know how to build, but which is not yet in place. We call the community to arms to create and deploy it - to enable a future built on firmer ground.

| Subjects: | Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE) |
| --- | --- |
| Cite as: | [arXiv:2608.19674](https://arxiv.org/abs/2608.19674) \[cs.PL\] |
|  | (or [arXiv:2608.19674v1](https://arxiv.org/abs/2608.19674v1) \[cs.PL\] for this version) |
|  | [https://doi.org/10.48550/arXiv.2608.19674](https://doi.org/10.48550/arXiv.2608.19674) |

## Submission history

From: Peter Sewell \[[view email](https://arxiv.org/show-email/c4c3d006/2608.19674)\]  
**\[v1\]** Thu, 20 Aug 2026 06:07:56 UTC (71 KB)

[Which authors of this paper are endorsers?](https://arxiv.org/auth/show-endorsers/2608.19674) | Disable MathJax ([What is MathJax?](https://info.arxiv.org/help/mathjax.html))