发现 Knuth 算法 D 隐藏数十年 Bug，顺便修了 LLVM
jedisct1 · x · 2026-08-20
作者在实现 Knuth 《TAOCP》中的长除法算法 D 时，发现证明存在漏洞并找到了反例，从而修正了一个隐藏数十年的 Bug，期间还发现了 LLVM 实现中的问题。
「研究」频道最新
- 专家辩论低资源语言迁移：校准问题 vs 真实能力 — willdepue · 2026-08-20
- IBM新研究：措辞变化致LLM基准分波动高达74.7个百分点 — rohanpaul_ai · 2026-08-20
- 零后端把LLM输出变成3D历史地图，WebGL应用开源 — Silent-Assumption292 · 2026-08-20
- Joseph Suarez 发布强化学习资源汇总 — jsuarez · 2026-08-20
- Jeff Dean 谈离职 Google：想去小公司做很棒的事 — firstadopter · 2026-08-20
- 提出 RAM 评分量化 HuggingFace 模型相对下载热度 — natolambert · 2026-08-20