阮一峰的网络日志·· 2026-09-11AI 评估 · 59/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
科技爱好者周刊第 412 期：禁止 issue，只用 PR
科技爱好者周刊（第 412 期）：禁止 issue，只用 PR
AI 导读
Laravel 上周宣布新规定，禁止提交 issue，只能提交 Pull Request，作者认为此举可减少垃圾 issue、便于维护者理解问题，且 AI 时代用户可借 AI 生成 PR。周刊还提到 Anthropic 用 Claude 完成费马大定理的 Lean 语言机器证明，代码长达 1300 万行，消耗数十亿 Token，已公布在 GitHub 上。
来源：阮一峰的网络日志 · ruanyifeng.com