#代码重构

共 5 篇相关资讯,按重要度与时间排序,每 3 小时更新。

★ 4

Gemini 4 Argon 曝光:助 Chrome 完成六百万行代码重构

Hacker News 热帖讨论 Gemini 4 Argon 帮助 Chrome 团队将核心网页处理逻辑从约六百万行遗留代码中分离,完成跨数百文件的架构重构。该能力有望让网页在标签页、侧边栏与浮窗间无缝迁移且不重载。

Hacker News19 天前
★ 2

RefactorProof 基准:代码重构后 LLM 生成证明稳定性测试

论文提出 RefactorProof,从 VERINA 任务派生 458 个 Lean 认证变体,检验程序重构后证明是否仍有效。结果显示专用证明器(DeepSeek-Prover-V2-7B、Goedel-Prover-V2)的未改动证明存活率反而高于参考证明,但失败不等于修复成本高。

arXiv cs.AI5 天前
★ 2

开发者用 LLM 删除 1.9 万行死编译器代码

一位开发者撰文记录如何借助 LLM 识别并删除编译器项目中约 1.9 万行死代码,同时强调不盲目信任模型输出,需人工验证每一步删除。文章展示了 AI 辅助大规模重构的可行路径与风险控制方法。

Hacker News – LLM11 天前

这个主题的相关资产

相关标签

代码重构 最新资讯与动态(5 篇) - 智讯 AI News