跳到正文
9月11日周五
  1. 阮一峰的网络日志26

    科技爱好者周刊(第 412 期):禁止 issue,只用 PR

    Laravel 框架宣布新规定,禁止提交 issue,只能提交 Pull Request,理由是 PR 能过滤垃圾提交、给维护者更多信息,且 AI 时代提交 PR 几乎和提交 issue 一样简单。Anthropic 用 Claude AI 耗时 11 天,将安德鲁·怀尔斯 129 页的费马大定理证明翻译成 Lean 语言程序,代码长达 1300 万行,已公布在 GitHub。

9月4日周五