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

ç§‘æŠ€çˆ±å¥½è€ å‘¨åˆŠï¼ˆç¬¬ 412 期）：禁止 issue，只用 PR - 阮一峰的网络日志

ç§‘æŠ€çˆ±å¥½è€ å‘¨åˆŠï¼ˆç¬¬ 412 期）：禁止 issue，只用 PR

ä½œè€ ï¼š 阮一峰

日期： 2026年9月11日

div class="asset-body"

è¿™é‡Œè®°å½•æ¯å‘¨å€¼å¾—åˆ†äº«çš„ç§‘æŠ€å† å®¹ï¼Œå‘¨äº”å‘å¸ƒã€‚

/div

div id="more" class="asset-more"

本杂志 开源 ，欢迎 投稿 。另有 《谁在招人》 服务，发布程序员招聘信息。合作请 邮件联系 （ [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、 特斯拉出售 Cyber​​cab

特斯拉在美国推出 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年，开发过一些失败的产品，它们要么过于复杂，要么缺乏鲜明的特色。我在犯过这些错误后，总结出三个限制条件。

后来，构建任何东西之前，我都会问自己三个问题。只有这三个问题都得到肯定回答，我才开发这个东西。

（1）能不能把产品介绍写成一页纸的概要？

å¦‚æžœä¸€ä¸ªé¡¹ç›®çš„ä»‹ç»éœ€è¦è¶ è¿‡ä¸€é¡µçº¸æ‰èƒ½å†™å®Œï¼Œé‚£å°±è¯´æ˜Žå®ƒå¤ªå¤æ‚äº†ï¼Œä¸è¦å¼€å‘ã€‚

（2ï¼‰æ ¸å¿ƒæŠ€æœ¯èƒ½ä¸èƒ½ä¸Žäº§å“åˆ†ç¦»ï¼Ÿ

äº§å“ä¼šä¸æ–­è°ƒæ•´æ–¹å‘ï¼Œè€Œæ ¸å¿ƒæŠ€æœ¯åˆ™å§‹ç»ˆå¦‚ä¸€ï¼Œå¹¶æŒç»­å‘å±•ã€‚

å°†æ ¸å¿ƒæŠ€æœ¯ä¸Žäº§å“åˆ†ç¦»ï¼Œèƒ½è¿«ä½¿ä½ è·³å‡ºäº§å“æœ¬èº«çš„å±€é™åŽ»æ€è€ƒã€‚

æ¯”å¦‚ï¼Œæ‰‹æœºçš„æ ¸å¿ƒæŠ€æœ¯æ˜¯ç§»åŠ¨é€šä¿¡ã€‚æŸä¸€ç§æ‰‹æœºå¯èƒ½ä¼šå¤±è´¥ï¼Œä½†ç§»åŠ¨é€šä¿¡ä¸ä¼šã€‚

（3ï¼‰äº§å“æœ‰æ²¡æœ‰ä¸€ä¸ªæ ¸å¿ƒç‰¹è‰²ï¼Ÿ

è¿™ä¸ªç‰¹è‰²æ¸ æ™°æ˜Žäº†ï¼Œèµ‹äºˆä½ çš„äº§å“ç‹¬ç‰¹çš„ä¸ªæ€§ã€‚ä¾‹å¦‚ï¼Œæ¸¸æˆ MineCraft å®Œå ¨ç”±æ–¹å—æž„æˆï¼Œå®œå®¶åˆ™æä¾›å¹³æ¿åŒ è£ ã€è‡ªè¡Œç»„è£ çš„å®¶å ·ã€‚

ä½ é€‰æ‹©çš„è¿™ä¸ªç‰¹è‰²å¯ä»¥è®©ä½ ç¼©å°å†³ç­–ç©ºé—´ï¼Œä¸“æ³¨äºŽçœŸæ­£é‡è¦çš„é—®é¢˜ã€‚å¦‚æžœä½ çš„äº§å“æ²¡æœ‰ç‰¹è‰²ï¼Œæˆ–è€ é€‰æ‹©äº†é”™è¯¯çš„ç‰¹è‰²,ä½ å°±ä¼šæ‰“é€ å‡ºä¸€ä¸ªè‡ƒè‚¿çš„äº§å“ï¼Œè¯•å›¾é¢é¢ä¿±åˆ°ã€‚

言论

1、

AI æ›¿ä»£ä½œå®¶ï¼Œæˆ‘æ²¡æœ‰å‡ºå£°ï¼Œå› ä¸ºæˆ‘ä¸æ˜¯ä½œå®¶ã€‚

然后，AI æ›¿ä»£è‰ºæœ¯å®¶ï¼Œæˆ‘æ²¡æœ‰å‡ºå£°ï¼Œå› ä¸ºæˆ‘ä¸æ˜¯è‰ºæœ¯å®¶ã€‚

现在，AI 替代程序员，已经没有人能为我说话了。

-- 《然后 AI 替代程序员了》

2、

目前，每五个新注册的顶级域名，就有一个是诈骗域名。

-- 《域名的恶意注册》

3、

人们让 AI 大量解决数学难题，但是数学难题是不可再生的，如今好的问题已经变得稀缺。

è‡ªåŠ¨åŒ–å·¥å ·è§£é¢˜ï¼Œå¹¶æ²¡æœ‰å¢žåŠ äººç±»çš„æ•°å­¦æ€ç»´ï¼ŒæŸå®³äº†æœªæ¥çš„æ•°å­¦å‘å±•ã€‚

-- 陶哲轩 ，著名数学家

4、

世界正在"电动化"ï¼Œç”µæ± å’Œç”µåŠ¨æœºæž„æˆäº†ç”Ÿæ´»çš„åŸºç¡€ï¼Œå†åŠ ä¸Š AI 的飞速发展，意味着我们周围许多"æ— æ„è¯†ä¹‹ç‰©"将变得智能化，能够自主思考和移动。

-- Noah Smith ，美国经济分析师

5、

科学分成两种。"科学1"是一种理想化的追求真理，"科学2"æ˜¯å®žé™ çš„ç§‘å­¦å®žè·µï¼Œæ›´å¤šæ˜¯ä¸€ç§ç¤¾äº¤æ´»åŠ¨ï¼Œè¦è€ƒè™‘ç¤¾ä¼šå’Œæ”¿æ²»çŽ°å®žã€‚

å¦‚æžœä½ æ˜¯ä¸€ä¸ªåšå£«ç”Ÿï¼Œä½ å¿ é¡»çŸ¥é“ï¼Œä½ ä¸»è¦ä»Žäº‹ç§‘å­¦2，而不是科学1。

-- 《博士生不要试图改革科学》

往年回顾

流量变现正在崩塌 （#365）

一份谷歌离职报告 （#315）

WiFi 的后面是 LiFi （#265）

互联网最喜欢的行为模式 （#215）

（完）

文档信息

• 版权声明：自由转载-非商用-非衍生-保持署名（ åˆ›æ„å ±äº«3.0许可证 ）

• 发表日期： 2026å¹´9月11日