中文资讯阮一峰周刊 Fri, 11 Sep 2026 正文 ok 521 words

科技爱好者周刊（第 412 期）：禁止 issue，只用 PR

英文标题：科技爱好者周刊（第 412 期）：禁止 issue，只用 PR

本期讨论 Laravel 禁止提交 issue、仅接受 Pull Request 的新规则，认为这一做法可减少垃圾反馈，并在 AI 辅助生成代码的背景下推动用户直接参与修复。Anthropic 借助 Claude AI 在 11 天内将费马大定理证明形式化为 Lean 程序，最终代码达 1300 万行，展示了 AI 在数学证明验证方面的潜力。本期还关注特斯拉对外销售 Cybercab、戴森带摄像头的电动牙刷，以及面向视障人士的 AI 手杖。工具与资源部分涵盖 Tailwind CSS 组件库、SSH 防护、Markdown 预览、DNSSEC 教程等开发者内容。

打开原文相关 2 · 机会 0

1.4 KB

93.2 KB

5.8 KB

3.1 KB

45.4 KB

6.2 KB

34.2 KB

11.6 KB

26.3 KB

19.1 KB

33.7 KB

25.4 KB

28.0 KB

38.1 KB

37.7 KB

35.9 KB

57.1 KB

68.5 KB

16.8 KB

29.6 KB

中文

这里记录每周值得分享的科技内容，周五发布。

本杂志开源，欢迎投稿。另有《谁在招人》服务，发布程序员招聘信息。合作请邮件联系（[email protected]）。

封面

上海前滩太古里举办的“英雄联盟 15 周年”展览。（via）

禁止 issue，只用 PR

上周，PHP 框架 Laravel 宣布了一项新规定：禁止提交 issue，只能提交 Pull Request。

乍一看，这个规定太荒谬了。用户不能提交 issue，怎么报告问题呢？难道要每个人都读懂源码，自己动手解决问题！

但是仔细想想，你会发现这个措施很合理，甚至值得推广。

（1）没有了垃圾 issue。

如果一个用户愿意花时间创建 PR，说明他对这个问题更上心。那些机器人和骚扰者，只会提交垃圾 issue，根本不愿意多花时间为项目做贡献。

（2）对维护者更方便。

项目维护者从 PR 里面得到的信息，远远多于 issue，更利于理解和解决问题，投入的时间也更少。

（3）没有增加用户的提交难度。

用户即使不懂源码，也能提交 PR。

他可以向 AI 描述问题，让 AI 生成 PR。在 AI 时代，提交 PR 几乎和提交 issue 一样简单。

（4）禁止 issue 的根本原因是，开源项目资源不足，应付不了激增的 issue。

AI 时代，项目不再应鼓励用户把问题抛出来，指望别人来解决，而应鼓励大家一起为项目贡献力量。

史上最长的数学程序

上周，Anthropic 公司使用 Claude AI，完成了一个史上最长的数学程序：程序化证明了费马大定理。

17 世纪，法国数学家费马提出一个著名猜想：大于 2 的整数，不可能满足下面的等式。

后世的数学家发现，这个猜想难得超乎想象，根本无法证明。直到三百多年后的 1995 年，英国数学家安德鲁·怀尔斯才最终证明了费马大定理是正确的。

安德鲁·怀尔斯的证明一共有 129 页，即使是专业的数学家也要花几个月才能读懂。

自从这个证明提出后，数学界一直致力于将它翻译成计算机语言，实现机器证明，从而可以自动化验证推理过程。

这个从人工证明到机器证明的翻译项目，也是超难、工作量超大，迟迟没有完成。直到上周，一个研究团队宣布，Claude AI用了 11 天终于完成了，将安德鲁·怀尔斯的证明翻译成了 Lean 语言的程序。

Lean 语言是微软研究院在 2013 年提出的一种专门用于数学定理证明的编程语言。

研究人员本来只是想试一下 Claude AI 的数学研究能力，没想到它真的完成了这个超难的、无人完成的项目。

在证明最终结果前，Claude 验证了超过 3 万个辅助定理，用到了其中 2 万 9 千多个，消耗了数十亿 Token，最终代码长达 1300 万行。

这是有史以来最长的数学程序，不敢想象如果让人类的一个数学家团队来写要多久？所有代码现在就公布在 GitHub 上面。

这件事的意义在于，现在有大量的数学证明，无法验证是否正确，即使是数学家也要花很多时间才能看懂。现在，事实证明，AI 可以用来验证这些证明是否正确。

最后，这里有一篇安德鲁·怀尔斯专访，他讲述自己的人生故事，推荐给大家。

采访者问他：“你为了证明费马大定理，苦苦探索了这么多年。这段旅程现在结束了，你想必会有点伤感吧？”

安德鲁回答说，就像打完一场大战，感觉解脱了。

“确实有些伤感，但同时也有一种巨大的成就感，还感到终于自由了。我曾如此痴迷于这个问题，无时无刻不在思考它----早上醒来，晚上睡着----这种情况持续了多年。长时间思考一件事，确实很不容易。这段特殊的历程现在终于结束了，我的内心终于平静下来了。”

科技动态

1、特斯拉出售 Cybercab

特斯拉在美国推出 Cybercab 出租车。根据马斯克的说法，特斯拉将来的主营业务，不再是生产汽车，而是经营无人驾驶出租车。

本周，特斯拉又宣布，这些出租车是对外出售的。

你购买无人驾驶出租车，不是为了自己乘坐，而是为了投资。每次载客收费，你和特斯拉对半分。

由于这些车辆 24 小时运营，马斯克一直说，只要购买了它们，当你睡觉的时候，它们就会为你挣钱。

问题是，你购买了这辆车，就需要承担它的折旧和贬值，还需要额外购买 15000 美元的自动驾驶功能包。很难想象，这种白天运营的车辆，能支撑几年。

特斯拉把车卖给你，就不再拥有车辆硬件，变成了运营你的车辆，从重资产公司变成轻资产公司。在你睡觉的时候，你的车还能帮它挣钱。

2、戴森电动牙刷

戴森公司，就是生产吸尘器和电吹风的那家公司，推出了电动牙刷。

它的特别之处在于，牙刷上有一个摄像头，还有一个照明灯。

它不仅可以让你用手机查看口腔情况，更重要的是，它会根据摄像头拍到的景象，自动判断需要向哪里喷水，加大清洁力度。

我觉得，都已经做到这个程度了，不如做一个自动刷牙器，你张开嘴，它自动就把牙刷完了。

3、AI 手杖

哈佛大学工程学院的工程师，为盲人和视障人士，发明了一款 AI 手杖。

它需要跟手机配合使用。手机利用摄像头、GPS、运动和方向传感器捕捉到实时数据，再结合导航软件，自动找到下一步前进的方向，传给手杖。

手杖则发出各种哔哔声，提示用户到底是向前走，还是向左走或向右走。如果用户走错方向，它还会发出警报声。

我感觉，这个发明确实对于盲人很有价值，但需要手机全程打开，且摄像头还要能拍到街面。这还不如把手机功能集成到手杖上，就可以做出更强的智能手杖。

文章

1、李·霍洛威的悲剧故事（英文）

1981 年出生的李·霍洛威（Lee Holloway）是 Cloudflare 的创始工程师，公认的技术天才。上图是 Cloudflare 的三个创始人，他在中间。

但是，36 岁时他患上了早发性痴呆，大脑萎缩，后来发展到连话都没法说完整了。

2、开放模型 2026 年夏季述评（英文）

Hugging Face 分析开放模型的最新发展情况，可以了解中国模型在整个 AI 市场上目前的地位。

3、我分解了 90 年代 RSA 密钥（英文）

互联网通信的安全，完全取决于密钥能否被破解。作者尝试破解 1999 年颁发的 512 位 RSA 密钥（目前的密钥至少是 2048 位）。

结果，他的台式机用了 32 个小时，就破解成功。如果用 GPU 集群，大概 1 个小时就能完成。

所以，加密货币从长远来看，也不安全，时不时就必须升级加密算法。

4、HTML 中不需要 initial-scale 属性（英文）

网页自适应视口，不再需要指定initial-scale=1.0，只写width=device-width即可。

早期 iPhone 横屏时，页面不会自动改变宽度，为了解决这个问题，就引入了 initial-scale 属性。

5、JavaScript 递归的处理方法（英文）

使用递归时，嵌套的栈过多就会报错，尾递归可以解决这个问题。但是 JS 运行时目前不支持尾递归，本文教你怎么办。

6、我在后院建了一个工作室（英文）

一个美国程序员在自己的后院，搭了一间简易工作室。他详细记录了建设过程，配了图片。

工具

1、FlyonUI

一个基于 Tailwind CSS 的页面组件库。

2、endlessh-go

一个抵御恶意 SSH 登录的工具，它不会阻断那些请求，而是让它们一直处在等待状态，从而增加对方的成本。它支持 Grafana 面板。

3、PuTTYgen

Windows 平台生成密钥对的工具。

4、gh gfm-preview

一个 Go 语言程序，用来新建一个服务，查看 Markdown 渲染结果。

5、caddy-waf

Web 服务器软件 Caddy 的应用防火墙（waf）插件，支持正则规则和 IP/DNS/ASN/国家黑名单来阻拦恶意请求。（@abriziosalmi 投稿）

6、一息

一个部署在 Cloudwork Worker 的网页应用，利用 iOS 的“快捷指令”，在打开某个 App 前自动跳转到该页面，10 秒后再决定是否打开该 App。（@Defiabell 投稿）

7、ctty

一个开源的终端应用，在终端图形界面中，管理 SSH、串口、Telnet 等连接。（@zsuroy 投稿）

8、vet

一个 Bash 脚本检查工具，可以用它运行网上下载的脚本，它会告诉你脚本做了哪些变动，得到你的批准后才会实际运行。

9、Krep

一个 grep 命令的替代品，用来在文本文件搜索指定字符串，据说比 grep 速度快 50 倍。

10、Inbucket

一个测试邮件发送功能的应用程序，嵌入你的应用，用它测试应用的邮件发送功能，自带 Web 后台。

资源

1、黑客的 Linux 基础知识（Linux Basics for Hackers）

一个英文教程，用通俗语言解释 Linux 基础概念，可以当做入门教材。

2、DNSSEC 的工作原理

这个英文网站使用大量漫画，解释 DNS 安全扩展（DNSSEC）的机制，它可以防止 DNS 投毒。

3、Gorgeous GRUB

这个仓库收集系统启动软件 Grub 的各种启动画面主题。

图片

1、美国公路的奇特建筑

美国号称是汽车轮子上的国家，没车的话，寸步难行。

经常有人在公路边修建奇特的房子，希望吸引过路旅客的注意。

美国国会图书馆有一个图片集，包含了 11,710 张这种房子的彩色图片，大家可以查看。

文摘

1、在开始构建任何东西之前，问自己三个问题

我从事产品开发已有 10 年，开发过一些失败的

English / 原文

è¿éè®°å½æ¯å¨å¼å¾åäº«çç§æå å®¹ï¼å¨äºåå¸ã

å°é¢

ä¸æµ·åæ»©å¤ªå¤éä¸¾åç"è±éèç15å¨å¹´"å±è§ãï¼viaï¼

ç¦æ¢ issueï¼åªç¨ PR

ï¼1ï¼æ²¡æäºåå¾ issueã

ï¼2ï¼å¯¹ç»´æ¤è æ´æ¹ä¾¿ã

ï¼3ï¼æ²¡æå¢å ç¨æ·çæäº¤é¾åº¦ã

ç¨æ·å³ä½¿ä¸ææºç ï¼ä¹è½æäº¤ PRã

ä»å¯ä»¥å AI æè¿°é®é¢ï¼è®© AI çæ PRãå¨ AI æ¶ä»£ï¼æäº¤ PR å ä¹åæäº¤ issue ä¸æ ·ç®åã

å²ä¸æé¿çæ°å¦ç¨åº

å®å¾·é²åçè¯´ï¼å°±åæå®ä¸åºå¤§æï¼æè§è§£è±äºã

"ç¡®å®æäºä¼¤æï¼ä½åæ¶ä¹æä¸ç§å·¨å¤§çæå°±æï¼è¿æå°ç»äºèªç±äºãææ¾å¦æ¤ç´è¿·äºè¿ä¸ªé®é¢ï¼æ æ¶æ å»ä¸å¨æèå®----æ©ä¸éæ¥ï¼æä¸å ¥ç¡----è¿ç§æ åµæç»äºå «å¹´ãé¿æ¶é´æèä¸ä»¶äºï¼ç¡®å®å¾ä¸å®¹æãè¿æ®µç¹æ®çåç¨ç°å¨ç»äºç»æäºï¼æçå å¿ç»äºå¹³éä¸æ¥äºã"