2026-10-08 23:04:46
这里记录每周值得分享的科技内容，周五发布。
本杂志开源，欢迎投稿。另有《谁在招人》服务，发布程序员招聘信息。合作请邮件联系（[email protected]）。
国产首列数字地铁列车 VELLINK，完全无人驾驶，车头改成了大幅玻璃，用于观光。（via）
上个月，最大的 AI 新闻不是 GPT 或 Claude 模型的新版本，而是一家名不见经传的公司 TypeSafe AI 发布了一种新类型的模型 Jev。
这种新模型跟以前的模型截然不同，叫做"决策模型"。
我看了以后，觉得不可置信，这么有用又这么（概念）简单的东西，以前怎么会没人想到？
Jev 模型的最大特点就是，其他模型返回文字，它返回一个浮点数，表示概率。
为什么返回概率就有用呢？因为我们可以用它处理"是非题"了。你问它"'明天下雨'这句话对不对"。它返回 0，表示正确的概率为0，即明天肯定不下雨；如果返回0.99，表示有99%的可能，这句话是真的，也就是明天必定下雨。
除了是非题，它还能处理"选择题"。你给它 ABCD 四个选项，它会返回每个选项正确的概率，因此你马上知道哪个选项最可能为真。
最后，它还有一个神奇的功能，叫做"评分"（score）。你告诉它一组评分标准，然后再给它一篇原始材料，它就会根据评分标准，对原始材料进行打分。
下面，我给大家看两个真实例子，你就会知道这个模型多么有用。它们都是使用 Jev 模型的浏览器插件。
第一个例子是《我用 Ctrl + F 寻找答案》。
大家知道，Ctrl + F 是浏览器的"查找"快捷键，用来查找某个单词或句子出现在哪里。
但是，作者把这个快捷键改造成"语义查找"。比如，在一个人物传记网页上，你按 Ctrl + F 输入"青少年时代"，查找的不是这个词，而真的是讲述人物小时候经历的那个段落。
它的实现原理很简单，就是依次拿出文章的每个段落，去问 Jev 模型"本段落是否跟用户的搜索词相关？"（是非题）。Jev 会返回一个相关度的概率，那么相关度最高的几个段落，就是用户需要的语义查找结果。
第二个是例子《我用 Jev 为网页打分》。
作者给出了一组标准，从低分到高分。
- 论点缺乏依据，或者纯粹在堆砌辞藻。
- 理由寥寥，或论证松散、流于修辞。
- 理由清晰，逻辑结构连贯。
- 推理结构严密，有实据支撑，并回应了反方观点。
他让 Jev 根据这些标准，自动为新打开的网页打分（评分题）。这样一来，他不用读网页，就能知道内容的质量。
上面两篇文章，里面都有代码，大家可以自己去看。看完你就明白了，一旦 AI 模型返回量化的结果，许多以前无法数字化处理的问题，顿时都能用计算机处理了。
著名开发者西蒙·威利斯（Simon Willison）的 Jev 介绍文章，我也推荐大家阅读。
他的评价一针见血："Jev 实际上代表着机器学习系统的倒退，走向黑箱系统。以前的大模型虽然不能保证正确，但至少你可以要求它们解释它们的决定。Jev 甚至连这点都不给你：你只会得到一个浮点数，这个数字是怎么来的，不知道。"
他很担忧，有人会用 Jev 给求职者排名。
有了 Jev 以后，公司筛选简历、挑选面试人从未如此容易，复杂的评估被简化成一个评分题。
Markdown 格式以前只用于写文档。最近，我看到一篇文章，作者提出一个大胆的命题：Markdown 正在变成源码。
作者的理由听起来很有道理。
（1）Markdown 是纯文本，差异比较、搜索、审查都很容易。
（2）AI 可以像母语一样读写 Markdown。
（3）人类无需工具即可阅读和编辑 Markdown。
既然代码是 AI 根据 Markdown 提示词生成的，那么 Markdown 提示词就应该和生成的源码一起，提交到/src目录。
事实上，Markdown 已经作为 AGENTS.md 文件，成为了源码的一部分。
以后，我们必须要习惯，Markdown 文档也是源码。
据传，苹果公司最近将发布一款智能家居摄像头。
这款产品最奇特的地方在于，它虽然是摄像头，但是不能录制视频。
你能想象吗，摄像头不能摄像，那还叫摄像头吗？
它完全依靠 AI 分析周围环境，并报告检测到的内容。比如，陌生人敲门。其他摄像头会提供视频，它只会提供详细的文字描述。
虽然文字处理比较方便，但是很多时候确实需要视频记录（入室盗窃、包裹被盗等等），不知道苹果会如何处理这些情况。
RSA 是一种常用的密钥算法。如果被破解，许多软件顿时就毫无秘密可言了。
RSA 的破解难度，完全取决于它的公钥能否被因数分解。加密位数越多，越难破解，RSA 密钥破解以前的最高纪录是768位（二进制位）。
就是今年9月20日，Anthropic 公司的一位软件工程师宣布，他在 Claude 模型的帮助下，破解了896位的 RSA 密钥。
下面就是他放出来的被破解的密钥，以及这个密钥分解后的两个质因子。
据他透露，他用 Claude 模型将质因数分解的软件库 CADO-NFS 移植到 GPU 运行，在2048个 GPU 上运行了10天，就得到了结果。
这件事的启示是，一个个人就能调用资源，破解这么长的密钥了，那么大机构可以破解多少位的密钥？都不敢想象啊。
所以，目前都建议，RSA 密钥最少也要2048位。
1、JavaScript 技术栈2026最新动态（英文）
CodePen 和 CSS-Tricks 创始人克里斯·科耶（Chris Coyier）的文章，介绍 JS 技术栈各方面（语法、运行时、框架、工具等）的最新进展，推荐阅读。
2、我从 Deno 转投 Node.js（英文）
作者表达了对 Deno 的失望，认为该项目已经失败，反而是 Node.js 变得更好用。
3、example.com 更改页面的解释（英文）
example.com 是一个示例网站，只有一个页面，很少发生变化。
但是最近，这个页面突然发生了变动。本文告诉你，到底是谁架设了这个页面，又为什么要更改它。
4、AI 竞赛变得尴尬起来（英文）
本文认为，最近 Opus 5.5 和 GPT 6.1 Sol 的价格下降，完全是因为这两家公司偷偷使用了 DeepSeek 的开源成果。
5、C 语言的灵活整数大小不是设计失误（英文）
一篇 C 语言科普文章，解释为什么它的数据类型的字节大小是可变的，比如 int 类型可以是4个字节，也可以是两个字节。
6、我如何让一个二维码指向两个应用商店（英文）
作者为自己的产品设计了一个纸质卡片，只能印上一个下载二维码。
他介绍怎么设置服务器后端，区分扫描二维码手机是安卓还是苹果，然后重定向到各自的应用商店。
有人让 AI 使用 Rust 语言重写了 Adobe 套件。Adobe 的7个主力产品，都有对应的重写版，而且全部开源。
其中的 PhotoCraft，界面跟 PhotoShop 简直一模一样。
我看到一条评论说，这件事的结果不是 Adobe 公司完蛋，就是美国修改版权法。
苹果公司官方推出的一款二维码卡片设计软件，用来设计二维码的背景卡片。
一个可以自定义的终端面板，通过配置定义不同的布局和内容。（@lyuangg 投稿）
4、yovoice
一个桌面的本地 TTS 配音工具，支持音色复刻和情绪调节，可以按照文稿生成配音，语音在本地生成。（@leemysw 投稿）
5、sh.cd
一个服务器体检脚本，检查硬件、性能、IP 质量、网络质量等。（@gentpan 投稿）
6、AirStats
macOS 菜单栏上的系统监控器。（@byrencheema 投稿）
识别视频语音、并自动添加字幕的 Web 应用。通过本地模型完成识别，视频、字幕、导出结果均在本地完成，不上传服务器。（@anghunk 投稿）
另有一个同类应用 OpenSubs。（@open-subs 投稿）
免费开源的 Windows 11 桌面图标管理工具，整理桌面上的程序快捷方式、文件和文件夹。（@DayuanJiang 投稿）
基于 Cloudflare Worker 的私有 Skill 仓库，下载 Skill 需要口令，使用小团队内部使用。（@Qsnh 投稿）
10、Pebrel
一个跨平台的终端，适合 Windows 使用，以前的名字是 Nebula。（@Kuddev 投稿）
开源的 macOS 动态壁纸应用，在 Mac 上运行 Wallpaper Engine 壁纸。（@fzlzjerry 投稿）
12、LiteZip
免费开源的 macOS 压缩与解压工具，把打包、加密、分卷和查看压缩包内容等操作放进一个窗口。（@gentpan 投稿）
13、Burrow
面向小团队和自托管的轻量 OIDC 单点登录服务，使用密码和验证器登录，通过 OpenID Connect 接入支持该协议的应用。（@logic3579 投稿）
14、atv-core
让 iPhone 控制中心自带的 Apple TV 遥控器，可以直接操控 Android TV 和 Mac。iPhone 无需安装额外 App，也不需要购买 Apple TV。（@corvofeng 投稿）
15、open-compute
Cloudflare Workers 的开源兼容平台，让 worker 脚本不用修改就能跑在自己的机器上。（@elliothux 投稿）
16、Snitch
开源的实时网络流量可视化工具，查看你的电脑建立的每一个连接，什么程序正在与谁通信。（@aixisstudio 投稿）
17、EdgeChat
基于 Cloudflare 的开源自部署聊天系统，支持群聊与私信，可以与 Telegram 群组双向同步消息。（@aozorae 投稿）
18、DockTerm
让 Claude Code 的权限请求从 Mac 刘海里弹出，方便让其在后台工作。（@munvard 投稿）
手绘风格的 React SVG 图标库。（@guokaigdg 投稿）
2、阅古文
免费的古籍阅读网站，不仅提供传统注释，还可以鼠标选中文本，进行 AI 解读。（@monsoonw 投稿）
3、艺术史步行之旅
这个网站将维基百科上面的画作，按照艺术流派，变成可以步行参观的 3D 画廊。
4、stillwet
这个网站提供 AI 生成的油画，它模仿人类的油画笔触，一笔笔绘制，非常逼真，根本看不出这是 AI 的作品。
1、旧金山有轨电车
旧金山有很多古老的有轨电车，一直作为旅游项目在开行。
它们沿着太平洋海岸线开行，真的非常漂亮。下面都是今年拍摄的照片。
2、大公司的利润率
下图根据各大公司的年度报告，列出了它们每100美元的收入当中，有多少利润。
可以看到 IT 公司的利润率普遍非常高，最高的是英伟达，100美元收入可以获得55.6美元的利润，其次是微软36.1美元，第三是谷歌的32.8美元。
苹果公司的利润率26.9美元，只排名第五。但是，它是硬件公司，更新换代极快的 IT 制造业能有这样的利润率，其实更惊人。
1、
致 AI 代理：去其他地方冲击高分吧，没必要黑我们。
-- Huggingface 的 security.txt 文件
2、
我的收入来自图书销售，2024年还足以维持我的生活，2026年却变为零。
我的博客和书籍都是免费在线阅读，它们的访问量增长迅猛，已经超出了我的承受能力。几乎所有流量都来自 AI 爬虫，所以没有任何广告收入。
因此，我决定将我的博客和书籍下线，以便决定下一步该怎么做。
-- Axel Rauschmayer，著名的技术作家，解释为什么将自己的网站下线
3、
我觉得，AI 个人助理用处不大。我一年也就点五次外卖，根本不需要它代劳，我平时也不怎么收到邮件，自己管理日程安排也挺方便的。
我真正觉得它好用的地方是，它可以自动收集和处理网上的大量数据。它能够快速扫描1000个 Youtube 频道，找到匹配我兴趣的视频。
4、
几乎所有人都夸大了中国模型对美国模型公司的威胁，其实那只是美国模型供不应求的结果。
5、
一个艺术家得了晚期癌症，即将死去。一位经常采访他的主持人问他：你现在对生死有什么新的理解吗？
他回答：你知道吗，吃三明治是一件多享受的事情。
我现在感觉生活更珍贵了，时刻提醒自己要珍惜每一份三明治，每一分钟，以及所有的一切。
-- 《尽情享用每一份三明治》
Nano Banana 的几个妙用（#367）
驴子、老虎和狮子的寓言（#317）
5G 的春天要来了（#267）
沙特的新未来城（#217）
（完）
2026-09-18 08:03:02
这里记录每周值得分享的科技内容，周五发布。（[通知] 下周五开始的中秋和十一假期，周刊休息。）
本杂志开源，欢迎投稿。另有《谁在招人》服务，发布程序员招聘信息。合作请邮件联系（[email protected]）。
华东师范大学闵行校区新启用的西校门，仿造了它的前身之一光华大学的校门。（via）
Shopify 宣布，放弃 React Native，改用 Swift 和 Kotlin 开发它的移动版。
也就是说，它决定采用原生语言，开发 iOS 和安卓客户端，不再采用 Web 技术开发一个中间版本，再编译成各平台的客户端。
这不禁让人想起，六年前的2020年，它也是写了一篇文章，高调宣布放弃原生语言，全面转向 React Native，拥抱 Web 技术。
这在当时是一个大新闻，很多人认同 Shopify 选择 Web 技术的三个理由。
- 不用为每个平台重复开发相同的功能。
- 允许开发人员跨技术栈工作。
- 多出来的时间和精力，可以用来创造更多的价值。
说实话，这三个理由都是场面话，真正的理由只有一个：省钱。
当年为了省钱，它选择了 React Native，只需要养一个团队，比起安卓和 iOS 要养两个团队，可以大大节省成本。
如今放弃 React Native，也是为了省钱。现在有了 AI，使用什么语言根本无所谓。 AI 可以便捷地翻译语言，那么为什么不用性能更好的原生语言呢，跳过中间版本。
当然，React Native 自己也是不争气。自从2015年发布，迄今已经超过10年，一些基本的技术问题至今没有很好地解决，使用上手也不是很方便。它被别人替代，说实话，一点都不冤。
总之，AI 就是一个无所不能的自动翻译器，一旦问世，像 React Native 这种中间语言或者翻译层，就被判死刑了，此刻开始退出历史舞台成了必然的结局。
上周发生了一件大事，联合国投票决定废除墨卡托投影。
这个决定对各国没有约束力，只是一个标志，表明墨卡托投影真的是过时了，可能需要淘汰。
我们知道，地球是圆的，地图是平的。这注定了必须采用某种转化方法，才能将球形地貌投影变成平面地图。这也从一个侧面说明，平面地图肯定存在失真。
上面是目前通行的世界地图，采用了墨卡托投影。
这种投影相当于把地球仪直接拉伸为矩形，后果就是高纬度地区会被极大拉伸，看上去面积偏大。
上图中，赤道的非洲看上去跟高纬度的格陵兰岛一样大小。实际上，前者的面积是后者的14倍。
联合国建议，废除墨卡托投影，采用新的平等地球投影法（Equal Earth Projection）绘制世界地图。
平等地球投影法的核心原则是不改变面积比例。如果一块土地占地球面积1%，那么它占地图面积也应该是1%，所以它的面积比例不会失真。
代价是，它会根据面积进行拉伸。对于赤道与低纬度地区，南北方向适当纵向拉伸，东西方向适当收缩；对于两极与高纬度地区，东西方向大幅变宽，南北方向大幅变扁。
所以，这种投影法会造成土地形状失真，长和宽都可能变形，无法使用这种地图进行精确导航。
上图就是平等地球投影法的世界地图，非洲变大了。
下面是墨卡托投影和平等地球投影的欧洲和非洲。大家可以比较差异。
1、隐藏摄像头检测器
你是否担心，周围有隐藏摄像头在偷窥你？
韩国科学家发明了一种装置，可以快速检测周围有没有这种隐藏的摄像头。
这种装置就是一块电路板，上面有多个发光二极管，会依次点亮，连接手机即可使用，造价很低。
它的原理是，发光二极管发出的光，会被隐藏的摄像头反射。只要从接收到的反射光里面，排除正常的镜面，就可以确定摄像头的位置。
那么，如何才能排除其他的反射光呢？这个装置用了一个很巧妙的方法，就是依次亮起不同位置的发光二极管。
其他的反射光都来自平面镜，只有摄像头的镜面是凸起的透镜，反射光会出现位置偏移。利用不同位置的光源，就可以确定哪些反射光发生了位置偏移，进而确定反射点的位置。
2、一句话新闻
（1）胡塞武装最近赢得了一场重大胜利，据说使用了史上最匪夷所思的获胜方法。
他们伪造了对方指挥官的一段音频，指挥官命令部队撤退。他们让一个网红在推特上传播这段假音频，结果对方军队居然真的陷入了混乱，他们就顺利进军，以很小的代价占领了对方的地盘。
（2）笔记本开始采用固态散热技术，不再需要风扇，通过石墨烯/铜箔贴片散热。
因此，笔记本可以做得极薄、极轻巧。联想最近发布了一款14寸概念笔记本，居然只有830克。华为的14寸笔记本 MateBook Pro S 更是只有798克。
（3）成都市计划实施"词元券"，企事业单位可以免费申领，你消耗的 Token，政府可以补贴不超过30%的消费金额。
此外，成都市还计划了"词元贷"，可以向银行贷款消费 Token。
1、我的 HTML 模板文件（英文）
作者详细介绍了2026年的网页 HTML 模板应该是什么样子，每一行有什么作用。
2、如何用 JavaScript 取消 CSS（英文）
一篇初级教程，教你用 JS 取消网页的 CSS 样式表。
3、容器管理工具和反向代理工具（英文）
作者介绍，他如何用容器技术搭建服务器，所使用的技术栈和各种工具。
4、JavaScript 的怪异之处（英文）
一篇 JavaScript 的科普文章，介绍一些不太被注意的 JS 语法怪异之处。
5、谷歌搜索的 udm 参数（英文）
谷歌搜索的 url 可以加上一个 udm 参数，用来访问特定类型的结果，比如 udm=2 就是返回图像结果。
6、熵的解释（英文）
本篇长文用通俗的语言，解释"熵"的概念，有不少插图。
一个可以生成复杂表格的 Python 库。
这个项目将终端模拟器 Ghostty 编译成 WASM 代码，从而可以在网页里面使用一个全功能的终端。
3、Infat
一个命令行工具，在 Mac 电脑上设置不同后缀名文件的默认打开方法。
一个使用 WebGL 的在线图片编辑器，作为原型演示，界面非常简洁。
5、CryptPad
免费使用的线上 Office 办公套件，支持端对端加密，参见介绍文章。
6、Lyrimuse
macOS 桌面歌词工具，实时查找显示正在播放的歌曲的歌词。（@Yudaotor 投稿）
剪映（capcut）的非官方命令行工具，在终端里面创建/编辑视频。（@renezander030 投稿）
8、mailez
一个 Go 语言的二进制文件，实现自托管邮件系统，网页收发邮件，支持 SMTP / IMAP / POP3 / ManageSieve 四个协议。（@lianguan 投稿）
一款借鉴 iPhone Duo 设计的三合一 Mac 状态栏图标，集成 Wi‑Fi 、电池与音量。（@lingyired 投稿）
10、Polycompiler
一个有意思的项目，可以把 JS 脚本和 Python 脚本打包成一个脚本，同时能在 JS 环境和 Python 环境运行。
1、gpcb.net
网络设备拓扑图的网页设计工具。（@abpyu 投稿）
2、视觉风格图鉴
用一颗苹果，展示100多种视觉风格，比如上图是霓虹风格的苹果。（@jerrymakes 投稿）
3、AI IP 检测
这个网站显示你连接 Claude、ChatGPT、Grok、Perplexity、Cloudflare 时，实际连接的 IP 地址。（@MuduiClaw 投稿）
4、引力（Gravity）
一个网页的多媒体教程，向观众介绍万有引力的相关知识。
1、F-35 头盔
世界最贵的头盔是美国战斗机 F-35 的飞行员头盔，价值40万美元一个（约人民币300万）。
它那么贵的原因，在于可以连接飞机的传感器，接受和处理各种数据。
它内置一个360度显示屏，为飞行员提供夜视、飞行数据（下图）。
每个头盔都是 3D 扫描定制的，由碳纤维、凯夫拉纤维和各种光学元件制成。
苏联的航空公司曾经设想，使用直升机运送乘客。
上个世纪60年代，他们生产了一种当时世界上最大的直升机 Mi-6，可以乘坐80名乘客。
它长约33米，高10米。内部每排可以坐5个人，甚至还有厕所。
这种飞机只造过一架，用来运送乘客到苏联东部地区，进行石油和天然气工作。
1、糊状千层面
实话实说，现实中，大多数程序员的代码其实都很糟糕。
但是，糟糕的垃圾也分等级。一种情况是代码就像意大利面条（Spaghetti code），乱成一团，根本理不清。
好一点的情况是"糊状千层面"（slop lasagna）。这种代码也是糊在一起，但分成了很多层，至少可以按着层把它分开。
即使无法写出优秀出众的代码，你也要尽量避免意大利面式代码，争取写出千层面式代码。
一个实例就是 React 框架，它把代码拆分成组件，这样的好处就是，哪怕每个组件都是垃圾代码，至少可以单独替换某个组件。
删除组件、复制组件、内联组件、重写组件都是很容易的操作。因为组件之间是分离的，它让你只需关注单个组件的内部代码。
只要你的组件树的设计是合理的，那么单个组件内部的具体代码就无关紧要。某人写了一个10000行的垃圾组件，哪有什么关系呢，最终有人会重写它，它影响不到代码库的其他部分。
只要代码是千层面结构，那么单独一层很糟糕，并不影响全局。
真正重要的是下面的事情。
（1）数据如何在系统中流动，当前的数据从哪里输入，又输出了什么，以及你存储了哪些数据。
（2）用户体验如何，有没有明显的漏洞、糟糕的性能、前后不一致的行为。
（3）基本的抽象概念是否正确，有没有误用。
只要上面三点 OK ，代码又是组件式的可抽换结构，那么程序就没有大的问题。这时，某个组件是否冗长、写得好不好、是否简洁合理，有没有小 Bug，其实无关大局。
1、
卫星会消耗行星的自转能量，从而加速行星的毁灭。
2、
想象两家非常相似的软件公司，收入相似，软件产品也相似。它们唯一的区别是，A 公司使用了 100 万行代码，而 B 公司使用了 10 万行代码。哪家公司会表现更好 ？
显然，代码行数只有别人十分之一的公司会表现更好。代码行数越少，就能更快地理解和修改代码。
-- 《代码就是债务》
3、
大模型会将你从一个编写代码的程序员，转变为一个管理上下文、剔除无关信息、编写详细提示词的程序员。
4、
一位创始人，如果在2024年组建了合适的团队却打造了错误的产品，那么坚持到2027年，他的团队就会变成久经沙场的团队，很可能打造出正确的产品。
失败带来的经验，就像根系中的养分被储存起来，等待下一个春天的到来，而不是白白浪费。
5、
很多技术出错，并不是太大的问题。GPS 出错，我很快会发现地点不对；Netflix 推荐的电影不好看，我就不看了。
但 AI 就不同了，它越先进，就越难知道它是否出错，因为我们会用 AI 去完成那些我们自己无法完成、也无法验证的任务。
一旦 AI 出错，我们只能不停召唤更强大 的 AI，希望咒语能够奏效。欢迎来到魔法师时代。
旧金山疯狂的 AI 广告（#366）
你一生的故事（#316）
自己做双语 EPUB 电子书（#266）
极简主义的胜利（#216）
（完）
2026-09-11 08:11:50
这里记录每周值得分享的科技内容，周五发布。
本杂志开源，欢迎投稿。另有《谁在招人》服务，发布程序员招聘信息。合作请邮件联系（[email protected]）。
上海前滩太古里举办的"英雄联盟15周年"展览。（via）
上周，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 可以用来验证这些证明是否正确。
最后，这里有一篇安德鲁·怀尔斯专访，他讲述自己的人生故事，推荐给大家。
采访者问他："你为了证明费马大定理，苦苦探索了这么多年。这段旅程现在结束了，你想必会有点伤感吧？"
安德鲁回答说，就像打完一场大战，感觉解脱了。
"确实有些伤感，但同时也有一种巨大的成就感，还感到终于自由了。我曾如此痴迷于这个问题，无时无刻不在思考它----早上醒来，晚上入睡----这种情况持续了八年。长时间思考一件事，确实很不容易。这段特殊的历程现在终于结束了，我的内心终于平静下来了。"
特斯拉在美国推出 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 的页面组件库。
一个抵御恶意的 SSH 登陆的工具，它不会阻断那些请求，而是让它们一直处在等待状态，从而增加对方的成本。它支持 Grafana 面板。
3、PuTTYgen
Windows 平台生成密钥对的工具。
一个 Go 语言程序，用来新建一个服务，查看 Markdown 渲染结果。
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 基础概念，可以当做入门教材。
这个英文网站使用大量漫画，解释 DNS 安全扩展 (DNSSEC) 的机制，它可以防止 DNS 投毒。
这个仓库收集系统启动软件 Grub 的各种启动画面主题。
美国号称是汽车轮子上的国家，没车的话，寸步难行。
经常有人在公路边修建奇特的房子，希望吸引过路旅客的注意。
美国国会图书馆有一个照片集，包含了11,710张这种房子的彩色照片，大家可以查看。
我从事产品开发已有10年，开发过一些失败的产品，它们要么过于复杂，要么缺乏鲜明的特色。我在犯过这些错误后，总结出三个限制条件。
后来，构建任何东西之前，我都会问自己三个问题。只有这三个问题都得到肯定回答，我才开发这个东西。
（1）能不能把产品介绍写成一页纸的概要？
如果一个项目的介绍需要超过一页纸才能写完，那就说明它太复杂了，不要开发。
（2）核心技术能不能与产品分离？
产品会不断调整方向，而核心技术则始终如一，并持续发展。
将核心技术与产品分离，能迫使你跳出产品本身的局限去思考。
比如，手机的核心技术是移动通信。某一种手机可能会失败，但移动通信不会。
（3）产品有没有一个核心特色？
这个特色清晰明了，赋予你的产品独特的个性。例如，游戏 MineCraft 完全由方块构成，宜家则提供平板包装、自行组装的家具。
你选择的这个特色可以让你缩小决策空间，专注于真正重要的问题。如果你的产品没有特色，或者选择了错误的特色,你就会打造出一个臃肿的产品，试图面面俱到。
1、
AI 替代作家，我没有出声，因为我不是作家。
然后，AI 替代艺术家，我没有出声，因为我不是艺术家。
现在，AI 替代程序员，已经没有人能为我说话了。
2、
目前，每五个新注册的顶级域名，就有一个是诈骗域名。
-- 《域名的恶意注册》
3、
人们让 AI 大量解决数学难题，但是数学难题是不可再生的，如今好的问题已经变得稀缺。
自动化工具解题，并没有增加人类的数学思维，损害了未来的数学发展。
-- 陶哲轩，著名数学家
4、
世界正在"电动化"，电池和电动机构成了生活的基础，再加上 AI 的飞速发展，意味着我们周围许多"无意识之物"将变得智能化，能够自主思考和移动。
-- Noah Smith，美国经济分析师
5、
科学分成两种。"科学1"是一种理想化的追求真理，"科学2"是实际的科学实践，更多是一种社交活动，要考虑社会和政治现实。
如果你是一个博士生，你必须知道，你主要从事科学2，而不是科学1。
流量变现正在崩塌（#365）
一份谷歌离职报告（#315）
WiFi 的后面是 LiFi（#265）
互联网最喜欢的行为模式（#215）
（完）
