实证研究揭示 Git 默认合并算法存在逻辑缺陷
rickasaurus · x · 2026-08-12
Marc Brooster 发布了一项关于 Git 三方合并（three-way merge）健全性的实证研究。研究发现，在默认的 ort 策略下，Git 会发生无冲突提示却静默输出错误结果的“不健全”合并。
研究基于 2007 年探讨 Diff3 的论文，提供了一个最小可复现的反例，并附带了一个用于搜索此类错误合并的模糊测试器（fuzzer）和一个能将反例最小化的工具。目前已在 Git 2.50.1 版本中成功复现。
「编程与Agent」频道最新
- 伯克利AI Agent与机器学习演讲合集：智能体工程正走向科学化 — seanwbren · 2026-08-12
- 成本仅 2 美元：用代码生成骨架结合视频模型制作高保真场景 — mattshumer_ · 2026-08-12
- 分享实用 AI 编码工作流：用 Codex 一键审计 Sentry 埋点 — zeeg · 2026-08-12
- 开发者详解：19 个 AI 智能体协同 86 个数据源生成销售情报报告 — Active-Ad9071 · 2026-08-12
- Serverless Framework 推出无状态 MCP 服务器部署方案 — DavidWells · 2026-08-12
- 别盲目堆砌Agent：四人核心架构胜过20个并行 — PrajwalTomar_ · 2026-08-12