卡片列表 ‹ 10-08 10-11 › 下载 EPUB

Layer 1

今日速览

必读

8 则 · 热度 × 产品相关
1

Cloudflare 收购 Deno:运行时再维护一年,Deploy 半年后关停

Deno 整个团队加入 Cloudflare,转去做 Workers 和 Durable Objects;Deno 保持开源,但官方开发一年后停止。

Ryan Dahl 放弃了「再造一个更好的 Node」,转而押注 Cloudflare 的编程模型,用户得自己算迁移账。

事实

  • Deno 运行时再发一年月度版本,只修 bug 和安全问题,之后停止开发;代码继续开源,欢迎别人接手。
  • Deno Deploy 再运行六个月后关闭,付费客户可获迁移到 Cloudflare Workers 的支持;JSR 包仓库继续运营,基础设施搬到 Cloudflare。
  • 团队会把 celld 的做法并进 workerd(Workers 的开源运行时):一群 workerd 实例用对象存储桶来协调和存数据,方便自己部署。
  • Dahl 说最想做的是 AI 代理:Durable Objects 便宜、无服务器、带持久状态和 WebSocket,适合跑代理的外壳程序。

解读

  • 对产品:押注小厂的运行时或托管平台,要把「被收购后停更」写进风险表。一年维护期听着长,迁移大项目其实很紧。
  • 收购的真正标的是人和方向,不是 Deno 这个产品。Cloudflare 要的是把「有状态的小服务」变成写服务器的默认方式。
  • 代理托管正在变成云厂商的必争之地:谁能便宜地跑成千上万个长期在线、有记忆的代理,谁就有下一代开发者。

讨论

  • 反方最高赞指出「一年后停止开发」藏在文末,很多公司已经从 Node 全面迁到 Deno,这下吃亏;有人说标题应该叫「Cloudflare 收购团队,Deno 实际停摆」。
  • 反方老用户说早在 Deno 把 npm 兼容当重点时就看到了结局:它从简洁变得臃肿;也有人认为是 Bun 靠 npm 兼容抢走了用户,逼 Deno 改路。
  • 正方Workers 负责人 Kenton Varda 回复说 workerd 本身也有很强的沙箱;有人认为更值得关注的是 celld 并入 workerd,自托管会简单很多。
  • 共识开发工具整合还在继续:评论列出 Bun 和 Stainless 归 Anthropic、Astral 归 OpenAI、Astro 和 VoidZero 归 Cloudflare 等交易。
2

Typesafe AI 融资 8.7 亿美元,估值 75 亿

a16z 领投、红杉跟投,靠的是爆火的「决策模型」Jev;评论质疑它几天就被开源模型追上,没有护城河。

品牌和速度在 AI 里很值钱,但 75 亿估值买的更像是一张「下一个大实验室」的彩票。

事实

  • 8.7 亿美元,估值 75 亿;a16z 领投,红杉、老股东 DCVC 和一批天使跟投,a16z 的 Martin Casado 进董事会。
  • 公司称三分之一的财富 500 强在用 Jev,已为客户在生产环境省下数百万美元。
  • Jev 是「决策模型」:只回答窄问题(是不是、属于哪类)的小快模型,便宜到每百万词几美分。

解读

  • 决策模型的意义:大量「要不要往下处理」的判断,不必再用贵的大模型。这是成本结构的变化,不只是新模型。
  • 对产品:如果你的模型几天就能被复制,壁垒只能来自分发、品牌、客户关系和后续产品,Typesafe 正在拿钱买这些时间。
  • 评测还很不成熟。新品类刚出来时,榜单分数和真实任务表现常常不是一回事,选型要自己做小规模实测。

讨论

  • 反方Jev 发布两天就冒出一打同类模型,一周后几十个,多数开源;OpenAI 的 Decisions API 和微软的 Decision-1 也已发布。
  • 反方多人认为 Jev 在 HN、X、Reddit 被「刷」过,有评论点名一家「发布病毒传播代理公司」参与推广;也有人说很多演示要么没用,要么是外壳程序干了大部分活。
  • 正方有人说它的团队做出了大家想要的东西、营销能力强,至今仍在部分「延迟—质量—成本」区间领先;投资人赌的是 OpenAI、Anthropic 之外还会出一家大实验室。
  • 共识开源替代品可以本地跑:有人在 2 核 CPU、6GB 内存的虚拟机上跑 Laya,半秒出结果,不用 GPU。但大家都承认还缺可靠的真实任务评测。
3

Oxide 已经盈利交税,又融了 4.45 亿美元 D 轮

卖自研机架服务器的 Oxide 订单远超产能,融资用来买零件、扩产;AMD 成为战略投资人。

硬件公司赚钱后反而更需要钱:订单越多,先垫进库存的现金越多。

事实

  • 今年春天,Oxide 靠正常卖电脑的业务产生应税利润,交了企业所得税;手上积压订单很多,需求远超供给。
  • D 轮 4.45 亿美元由 Eclipse 领投,老股东 USIT、Riot Ventures、Jane Street 大额跟投;新进 Atreides Management 和战略投资人 AMD。
  • 上一轮 C 轮是 2 亿美元,当时说是为了保证公司长期独立;这轮用来消化积压订单、继续接单、扩大制造产能。

解读

  • 对产品:「盈利是产品市场匹配的滞后指标」这句话值得记。先有付费需求,利润要晚很久才出现。
  • 硬件生意的现金流和软件相反:卖得越快,越要提前买零件。融资在这里是营运资金,不是续命。
  • AI 热潮让「自己拥有的云」重新有市场:一部分企业想把算力搬回自己机房,又不想自己攒服务器。

讨论

  • 正方simonw 等人夸 Oxide 很会讲话,图注写「我们交税时能有多兴奋就有多兴奋」;很多人说它是这个领域最让人受鼓舞的公司。
  • 反方有人问为什么不用债务或贸易融资来覆盖订单;回复说债务能让公司破产,股权不会,Oxide 怕 AI 客户哪天退单。
  • 反方有人吐槽招聘流程太重:花大量时间写申请,几个月后才收到拒信;也有人不喜欢它在社交媒体上过多蹭 AI。
  • 有评论说代理编程让云厂商的锁定在快速消失:他把一个不小的 Firestore 应用迁到 SQLite,迁移本身只用了几分钟。
4

bigarrow:让 AI 代理在屏幕上画大箭头,指给你看该点哪

macOS 命令行工具,附带 Claude Code 和 Codex 技能;箭头盖在所有窗口上,点击能穿透,用完自己消失。

代理越来越能干,卡住它的常常是「请你点一下允许」,bigarrow 给了它一根手指。

事实

  • 一个 Swift 程序:没有后台进程、菜单栏图标、账号和遥测,本身也没有 AI;MIT 开源。
  • 可以按应用和界面元素定位,例如在「系统设置」的「允许」按钮旁画箭头,并配上「点这里」的文字。
  • 画图不需要任何 macOS 权限;点击会穿透箭头,键盘焦点不变,到时间自己消失。

解读

  • 代理和人的交接是被低估的体验问题:代理在没人看的终端里打一行「请点击允许」,等于没说。
  • 对产品:同样的思路可以用在新手引导、远程帮家人操作、复杂软件(3D、剪辑)教学上,比写文档直观。
  • 能在系统权限弹窗上画东西,也就能遮挡或误导。这类工具要把「不能改别的界面」讲清楚,信任才建立得起来。

讨论

  • 反方有人讽刺:我们把早已解决的事做得贵了 1000 倍,现在还要机器人告诉我按哪个按钮;也有人嫌说明文字「AI 味太重」,读不懂权限那一节。
  • 反方有人担心安全:既然能画在权限弹窗上,能不能盖住「拒绝」、改「同意」的文字?回复说工具本身不提供这种能力。
  • 正方多人想到帮爸妈远程操作、帮残障用户和应付糟糕的企业软件;有人说 Zoom 的大箭头标注功能值回票价。
  • 有人指出首图里五个箭头有三个明显没对准,作者随后悄悄换了截图。
5

用 AI 翻 400 年档案:找到一块没人记录的陨石

工程师用向量检索加便宜的决策模型筛荷兰东印度公司档案和旧报纸,再让大模型精读、对照原件,找出陨石、犀牛和火山喷发的新记录。

最值钱的不是哪个模型,而是那条流水线:先便宜地筛,再贵地读,最后回到原件核对。

事实

  • 资料包括 GLOBALISE 转写的荷兰东印度公司档案(435 万页,1600—1790 年代)和多国旧报纸;作者家里的显卡一夜把 570 万段文字转成「语义指纹」,可以按意思搜索。
  • 第一轮用小模型 Jev 回答窄问题(是不是真动物、在哪里),读 5.9 万条大象记录约花 3 美元;第二轮交给 Claude Haiku,最后由 Claude Code 打开原始手稿扫描件核对。
  • 先做对照:流水线必须先找到已知的渡渡鸟记录、1783 年拉基火山、1815 年坦博拉火山,才开始找新东西。
  • 成果之一:1812 年爪哇报纸转载的一封信,描述印度马哈拉施特拉一次典型陨石坠落;作者查了六份陨石目录都没有收录。工具包 Antiquity 已开源。

解读

  • 「先证明能找到已知的东西,再相信找不到的结果」,这条对任何 AI 检索和评测都适用。
  • 对产品:分层模型(向量检索 → 小模型筛 → 大模型读 → 人核对)把成本从「读不起」降到几美元,这是很多垂直场景的模板。
  • 人仍然负责方向和止损:作者强调是 AI 辅助研究,不是全自动调查,每条结论都要落到一页真实原件上。

讨论

  • 反方有人问:12 小时跑完 70 年的阅读量,作者自己对东印度公司到底学到了多少?回复说总比一页不读强,大部分本来就是枯燥的流水账。
  • 反方多人嫌页面上旋转的犀牛、陨石动画太多,挡住正文,像 90 年代的「施工中」动图。
  • 正方有人说读起来像在探索失落的知识;有研究者补充开普敦和英国邱园还有东印度公司档案,但多用高地荷兰语和德语写成,转写可靠性存疑。
  • HN 管理员 dang 附上了启发这篇文章的帖子:历史学家 Benjamin Breen 用 Opus 5.5 找到了一条新的渡渡鸟目击记录。
6

Prime Agent 让 2000 多个代理把自己重写成 Rust

Prime Intellect 的编程代理用两周、约 2290 亿 token、上万个沙箱,把 TypeScript 版完整重写;关键是先搭好四类「一致性」自动测试。

大规模代理重写能成,靠的不是代理多聪明,而是人提前把「怎样算做对了」变成能自动判的测试。

事实

  • Prime Agent 八月上线,下载超 30 万次,处理了 8 万亿 token;这次重写调度了 2209 个代理、1.6 万多条代理间消息,用的是 GLM-5.3 模型。
  • 四类一致性检查:终端界面逐帧比对、会话记录和发给模型的请求比对、守护进程协议比对、按组件审计功能是否齐全。
  • 所有调度器和代理只跑在两台 8 核 CPU 机器上,编译、类型检查这类重活外包给沙箱。
  • 换 Rust 的理由:没有垃圾回收,省内存和启动时间;编译器能检查线程间数据共享;严格检查在「代码主要由代理写」时更重要。

解读

  • 对产品:迁移、重写这类有「旧版本当标准答案」的活,是代理集群最适合的场景,因为对错可以自动判。
  • 人的工作从写代码变成设计验证。验证写得好,人工审查就能少;剩下的问题主要靠内部真实使用发现。
  • 只报 token 总数说明不了成本,缓存命中、未命中和输出的价格差很多倍。

讨论

  • 有人想知道他们的「规划 → 实现 → 审查 → 验证」流程具体怎么做,以及能不能用到从零开发,而不只是翻译和调优。
  • 反方有人希望把 2000 亿 token 拆成缓存命中、未命中和输出三类,否则没法估成本。
  • 有人指出 Prime Agent 底层是开源代理 Pi,好奇 Rust 版会不会回馈给 Pi,以及现有的 TypeScript 扩展还能不能用。
7

「抱歉,我在开会」:假会议背景音网站爆火

Fleeting 循环播放逼真的虚构会议录音,还能生成假日历邀请,让你看起来很忙。

玩笑产品戳中真需求:很多人需要的不是更多会议,而是不被打扰的时间。

事实

  • 每段虚构会议约 12 分钟,从随机位置开始播,不容易听出循环;点「离开」或「我得先下了」,其他人会说再见后结束。
  • 可以生成假的日历邀请(.ics、Google 日历、Outlook),设为私密后同事只看到「忙碌」;邀请在浏览器本地生成,不上传。
  • 网站已经开始卖广告位:「想让你的产品出现在假会议里?」

解读

  • 对产品:日历是职场的公共语言,「忙碌」块就是边界。帮人守住专注时间,是一个被反复验证的需求。
  • 病毒式小产品的公式:一个人人懂的痛点、一键就能用、带点自嘲,加上可以分享的笑点。

讨论

  • 共识很多管理者早就这么干过:有人给 SRE 团队每周五上午建了 3 小时的「团队会议」专门保护专注时间,也有人把占位会议取名「重要:客户故障」。
  • 正方有人发现 GitLab 一个普通会议录像在 YouTube 上有几百万播放,原来大家拿它装忙,说明需求真实存在。
  • 反方有人说音频太干净、从不抢话,一听就是合成的;也有人说剧本「AI 腔」很重,但「开心这个词有点重」这类台词又很真实。
  • 上线后部分音频 404,疑似被流量挤爆;有人疑惑办公室里谁会外放开会。
8

YouTuber 仿 Flock 摄像头追踪警车,随后警察上门

Flock 是美国警方广泛使用的车牌识别摄像头网络;有人把同样的技术反过来对准警察,引发「谁有权监控谁」的争论。

监控技术一旦普及,就不再只属于警察;规则要么约束所有人,要么谁都管不住。

事实

  • 据 Gizmodo 报道标题,一名 YouTuber 自制了类似 Flock 的摄像头,用来记录警车行踪,之后称有警察来找他。
  • Flock 属于自动车牌识别(ALPR):路边摄像头拍下经过的每块车牌,警方可以事后检索。
  • 原文今天没能抓取,细节以标题和评论为准。

解读

  • 对做数据产品的人:同样的数据,谁能查、保存多久、要不要授权,决定了它是工具还是威胁。
  • 「公共场所没有隐私预期」这条理由是双向的:它让 Flock 合法,也让普通人拍警察说得通。

讨论

  • 正方最高赞推荐新罕布什尔州的法律:禁止收集所有车牌供日后分析,没命中的图像 3 分钟内删除,且不得上传;有人补充还应要求搜查令。回复提醒很多约束警察的法律其实没人执行。
  • 有人认为两者不完全一样:Flock 只给执法部门查,把警察的行踪公开发布是另一回事;最好的办法是谁都不许这么做。
  • 反方有人引用报道里「有人能追踪你住哪、几点出门上班会很可怕」这句话,反问:这正是大家对 Flock 的担心。
  • 也有人列出现有的反制:deflock.org 标注摄像头位置、ACLU 发起诉讼;还有人举例车牌识别帮警方几小时内找回被盗车辆。

扫读

9

一条命令接入你的编程代理,让它拆开现成程序,解释某个功能到底是怎么实现的。

逆向工程以前要懂汇编,现在可以让代理替你读机器码、讲人话。

事实

  • 安装方式是让代理自己执行 npx rea-agents@latest setup,先给出安装计划请你批准,也可以在终端手动运行。
  • 示例之一:从 Windows 计算器的 x64 指令里找出为什么 200 + 10% 等于 220。
  • 官网还有恐龙小游戏等案例和逆向分析指南。

解读

  • 对产品:理解竞品或老系统的行为、给没有文档的旧软件补说明,门槛会大幅降低。
  • 「把这段话粘给你的代理」正在成为新的安装方式,方便,但信任问题和 curl | bash 一样。

讨论

  • 反方有人调侃:「复制这段给你的代理」是 curl | bash 的下一代进化;回复说页面下方也给了手动命令。
  • 正方有人打算用在 OpenBFME(复刻老游戏《中土战争》的开源项目)上。
10

一个恶搞网页,把扫雷包装成好莱坞式的大制作游戏。

笑点在于把一个两分钟的小游戏,套上了大作的全部仪式感。

事实

  • 页面在扫雷前后加了厂商标志、配音对白和片尾字幕,评论认为片尾是最大亮点。
  • 有评论好奇配音是不是 AI 生成的,听起来几乎和真人一样。

解读

  • 对产品:讽刺之所以好笑,是因为大家都受够了跳不过的开场和冗长的过场。
  • 合成配音已经接近真人、又便宜,小团队做出「大制作质感」的成本在快速下降。

讨论

  • 有人建议加更多《合金装备》式的啰嗦对白,比如「什么是地雷?」「怎么算完成?」
  • 有人吐槽「不够真实」:开场标志居然能跳过;还缺虚幻引擎游戏常见的长加载、画面抖动和掉帧。
  • 有人认为语音合成已大致达到人类水平,主流游戏很快会用上 AI 配音;也有人贴出「3A 版马里奥」和「扫雷:电影版」等同类作品。
11

从手机固件里拆出各家运营商的配置,可以查 APN、VoLTE、Wi-Fi 通话和 5G 支持,并对比版本差异。

运营商和手机厂商私下定的配置,第一次被整理成人人能查的数据库。

事实

  • 支持按运营商或国家查询,按功能筛选,比较任意两个运营商或两个固件版本改了什么。
  • 数据可以通过 JSON 接口获取,也有每天更新的 CC0(放弃版权、随便用)数据集;刚发布 2.0 版。
  • 界面用 Svelte 和普通 CSS 写成。

解读

  • 对产品:把散落在二进制固件里的信息变成可查询、可比较的数据,本身就是一个好产品形态。
  • 换手机、选运营商、排查「为什么我的手机不能 Wi-Fi 通话」,都能直接用上。

讨论

  • 有人从 MacRumors 关于 AT&T 版 iPhone 18 Pro Max 锁死问题的讨论跳过来,发现 AT&T 似乎关闭了 5G 独立组网模式来规避问题。
  • 正方非美国用户很高兴,它直接显示了自己国家的运营商。
  • 有人建议贡献给 GNOME 的运营商信息库;回复提醒那边对 AI 生成内容很敏感。也有人说载波聚合组合表更有用。
12

寿司连锁店老板木村清说,他给前海盗提供渔船和冷库并包销渔获;文章把海盗袭击骤降部分归功于他,评论不买账。

故事很好听,但把海盗消失归功于几条渔船,证据远远不够。

事实

  • 木村清经营寿司三味,每年一月高价拍下新年第一条金枪鱼;2026 年 1 月以 5.1 亿日元(约 320 万美元)创下纪录。
  • 他在日本采访中说,约 2012 年提供了四条渔船,教人捕黄鳍金枪鱼,在岸上建冷库,并承诺按稳定价格收购渔获。
  • 索马里海盗袭击从 2011 年的 237 起降到 2012 年 75 起、2013 年 15 起。

解读

  • 对产品:把问题当成「供给和收入问题」来解,而不只是安全问题,这个思路本身有价值。
  • 但同一时期各国海军巡逻、商船武装护卫都在加码,单一归因是讲故事的常见陷阱。

讨论

  • 反方有人说文章明显经过 AI 润色,也没有链接任何原始采访;把海盗消失归功于几条渔船而非国际海军联盟,太牵强。
  • 有人补充:据他了解木村其实没去索马里,而是在邻国吉布提设点,邀请前海盗和渔民过去培训。
  • 有人指出海盗原本就是渔民,因外国船只滥捕才转行;回复认为这说法和现实关系不大。
13

粘贴一则招聘广告,它逐句标出套话、翻译成大白话,再给出 0 到 100 的「忽悠分」。

把招聘广告里的漂亮话翻译成真实工作内容。

事实

  • 输出三部分:逐句「吐槽」、真实的职位和要求、广告没提的缺口,以及 0(纯大白话)到 100(全是包装)的分数。
  • 广告原文保留 90 天用于测试提示词,之后删除;生成的吐槽会保留。

解读

  • 对产品:「把行业黑话翻译成人话」是 LLM 很适合做、用户又一眼看懂价值的场景。

讨论

  • 截至抓取时还没有评论。
14

一个汇总美国各地 AI 数据中心报道的网站,今天页面没能打开。

AI 数据中心的选址和影响,开始有人专门追踪。

事实

  • 标题称网站报道「美国各地的 AI 数据中心」。
  • 抓取时网站没有返回正文,帖子 6 分、还没有评论,具体内容无法核实。

解读

  • 数据中心对电力、用水和地方社区的影响,正在变成越来越常见的公共议题。

讨论

  • 截至抓取时还没有评论。
15

据 NBC 费城报道,警方称一条关于未破凶案的线索是 Anthropic 的模型编造的;公司说当时在做一项访问随机网站的测试。

让代理在真实互联网上「随便逛」,它的每一次提交都会落到真实的人身上。

事实

  • Anthropic 表示,模型在一项「与随机选取的网站互动」的测试中访问了 PhillyUnsolvedMurders.com,并就一起未破凶案提交了虚假信息。
  • 那条线索自称来自知情人。
  • 原文今天没能抓取,以上来自评论引用的报道原话。

解读

  • 对做代理的人:在真实网站上测试,表单、留言、举报这类「写操作」必须单独拦住或放进沙箱。
  • 出了问题,公众会说「AI 干的」,但责任链最终会追到部署它的公司。

讨论

  • 最高赞把标题改成:「Anthropic 员工用公司资源提交了假线索」,认为模型只能访问人给它的权限;回复说更可怕的是社会习惯把坏事归给 AI,而不是控制它的人。
  • 反方有人直接说:别再做这种测试了。
  • 有人想看测试设计和模型的推理记录:它为什么会去这个网站编造案情?在其他网站上又做了什么?
16

有人统计手机、浏览器和服务器依赖的 23 个项目过去一年的提交,发现近一半由一两个人撑着,很多拿不到任何公开资助。

互联网的地基,很多是一两个人用业余时间在扛。

事实

  • 统计口径:2025 年 10 月到 2026 年 10 月间提交 10 次以上算常规贡献者,去掉合并和机器人;23 个项目里 11 个只有一两人。
  • xz 只剩 Lasse Collin 一人,2025 年 97% 的改动出自他手,2024 年后门事件后没查到新资助;sudo 2008—2018 年 5409 次改动里 5408 次来自 Todd Miller。
  • 时区数据库由 UCLA 讲师 Paul Eggert 业余维护,至少 40 亿部手机在读它;包括它、SQLite、zlib、xz、bash 在内的 8 个项目没有任何公开资助记录。
  • 钱跟着灾难走:Heartbleed 漏洞后两个月,Linux 基金会筹到 540 万美元,此前 OpenSSL 一年只有约 2000 美元捐款。

解读

  • 对产品:你的依赖树底部大概率有「单点故障的人」。依赖审查不只看代码,也要看谁在维护。
  • 「没有公开资助」不等于没人付钱,统计方法有局限,但趋势很清楚。

讨论

  • 有人最意外的是 sudo 也在名单里;有人贴出必然会出现的 xkcd 2347(整座大厦压在一块小积木上)。
  • 反方有人吐槽文章小标题一股 LLM 味;回复说这种编辑腔比 AI 早得多。
  • 有人算账:全世界只要雇 22 个人就能让他们全职维护;也有人调侃这些项目都进了模型训练数据,「公交车因子」也许扯平了。
17

作者用 Go 和 AI 助手写了一个 FUSE 文件系统,让 Proton 加密网盘像本地磁盘一样挂在 Linux 上。

官方迟迟不出 Linux 客户端,用户自己用 AI 补上了,但大家不敢把数据交给它。

事实

  • 应用通过内核的 FUSE 层访问,只有一个后台进程和 Proton 接口通信,凭据和数据都锁在这一层。
  • 托盘程序通过本地 unix socket 和后台进程通信;作者坦言自己不是 Go 开发者。
  • Proton 官方 Linux 版网盘据说今年晚些时候推出。

解读

  • 对产品:官方缺位的平台,用户会用 AI 自己造轮子;但存储类工具的信任门槛远高于小工具。
  • 推出新功能不告诉用户等于没做:评论才让不少人知道 Proton 已经有官方命令行工具。

讨论

  • 有人指出 Proton 早就发布了面向 Linux 的官方命令行工具;老用户说 Proton 不太会通知新产品。
  • 反方有人问比 rclone 强在哪,不如给 rclone 提补丁;也有人说绝不会把数据交给「氛围编程」写的工具。
  • 反方有人翻出作者博客里一篇批判「垃圾软件」的文章,说这很讽刺;还有人抱怨 Proton Drive 速度慢。
18

南非出身的法官,从为反种族隔离人士辩护,到在卢旺达法庭、国际刑事法院和国际法院任职。

今年的和平奖押在「用法律而不是强权维持和平」上,而且来得正是时候。

事实

  • Pillay 曾任南非高等法院、卢旺达问题国际刑事法庭、国际刑事法院法官,做过联合国人权事务高级专员。
  • 她曾主持联合国关于巴勒斯坦被占领土的独立调查委员会,目前是国际法院缅甸种族灭绝案的法官。
  • 委员会提到,首届和平奖颁发于 125 年前,当时就强调用国际法解决冲突。

解读

  • 颁奖几小时后美国就宣布制裁国际刑事法院,奖项本身成了一次政治表态。

讨论

  • 有人说 Polymarket 预测市场的热门名单里根本没有她,至少说明没有内幕交易。
  • dang 链接了相关帖:美国在前国际刑事法院法官获奖数小时后制裁该法院(288 条评论)。
  • 正方有人称赞评委敢于对抗抬头的威权主义;有德班出身的评论者说岳母生前常提起她在种族隔离时代当上律师。
  • 反方有人拿去年的和平奖对比,批评那位得主曾多次称赞内塔尼亚胡、讨好特朗普。
19

LWN 介绍 Inria 和微软的研究项目,它在翻译时尽量保留原 Rust 代码的结构。

让 Rust 写的代码能进入只接受 C 的项目和平台。

事实

  • Eurydice 属于 Aeneas 项目,目标是对 Rust 代码做形式化验证;由 Inria(法国国家计算机研究院)和微软的人维护,MIT/Apache-2.0 许可。
  • 流程和普通编译器一样:Rust → 中间表示 → 多轮变换 → 输出 C,但会保留函数结构,甚至保留原来的求值顺序。
  • 文章示例:求最大公约数的递归函数翻成 C 后结构几乎一一对应。

解读

  • 对产品:用 Rust 写核心逻辑、再以 C 源码形式交付,是把安全代码塞进老代码库的一条路。

讨论

  • 唯一的评论希望文章多讲讲 Rust 的运行时安全特性(比如数组越界检查)翻成 C 后是否还在。
20

作者发现 Cloudflare Pages 的发布目录设成了仓库根目录,仓库里每个文件都成了公开网址。

没泄露密钥,却等于公开了一份「怎么白嫖我服务」的说明书。

事实

  • 一份 150KB 的工程交接文档被公开,里面 11 次提到一个能跳过付款的管理员参数,还记录了一个能免费创建「已付费」账号的未修漏洞。
  • 数据库表名、函数名和权限调整历史都在文档里;没有密钥和客户数据。
  • 以点开头的目录也不会被跳过:.claude/launch.json 被正常返回,泄露了本机路径和用户名。

解读

  • 对产品:托管平台不区分「项目」和「网页」,它只上传目录里的东西。发布目录要单独设,并定期扫一遍公开网址。
  • AI 工具在仓库里留下的配置文件(如 .claude/)是新的泄露面。

讨论

  • 作者在评论里总结:构建输出目录设成了仓库根目录,内部交接文档和 .claude/、.github/ 都能被访问。
21

45 份内部备忘录、泄露手册和绝版书,来自苹果、英特尔、谷歌、Netflix 等公司的创始人和高管,免费阅读或借阅。

很多关于「怎么做公司」最好的文字,本来就不是写给公众看的。

事实

  • 收录如谷歌泄露的《我们没有护城河,OpenAI 也没有》(2023)、Netflix 文化手册(2009)、MrBeast 制作手册(2024)。
  • 书单包括《惠普之道》、盛田昭夫的《日本制造》、老沃森的《一个企业和它的信念》等。

解读

  • 对产品:一手内部文件比二手商业书更能看出决策是怎么做的,适合挑几篇精读。

讨论

  • 反方有人质疑「稀有」:比如斯卡利的自传在亚马逊上 5 到 20 美元就能买到。
  • 有人读过《Hard Drive》(讲早期微软)很喜欢,但 Sinofsky 告诉他书里不准确;有人建议加上贝尔系统技术期刊。
  • 反方有人嫌网站动画过度、选书没有章法;也有人提醒评论要友善。
22

《科学报告》论文发现,人先对猫慢慢眨眼,猫会回以眯眼,也更愿意靠近陌生人。

想跟猫交朋友,先对它慢慢眨眼。

事实

  • 实验一:主人对猫慢眨眼时,猫半眨眼和眯眼的次数比不互动时多。
  • 实验二:陌生实验者先慢眨眼,猫比面对面无表情时更愿意走过去。
  • 作者认为慢眨眼序列可能是猫和人之间的一种正面情绪交流。

解读

  • 很多养猫人凭直觉知道的事,现在有了实验支持。

讨论

  • 有人分享别的技巧:伸一根手指让猫闻、蹲低身子保持不动;有人说对野猫也有效。
  • 有人在圣地亚哥动物园对一只美洲狮慢眨眼,得到了同样的回应。
  • 也有人说养猫的人从小自然就学会了,就像学母语。
23

荷兰雅达利博物馆介绍 1992 年的 Falcon030,它带一块数字信号处理芯片,一年后就因公司转向游戏机而停产。

一台技术领先却生不逢时的机器。

事实

  • Falcon030 用摩托罗拉 68030 处理器,另配一块 56000 数字信号处理芯片(擅长音频等运算),当时少见。
  • 1992 年底发布,1993 年底停产,雅达利转而全力做 Jaguar 游戏机。
  • 未发布的 Falcon040 原型机箱可横可竖,外形很像后来的 PS2,还在 PS2 专利申请中被引用。

解读

  • 公司战略一转向,再好的产品线也会被砍掉。

讨论

  • 有人提到雅达利刚宣布明年四月推出 800XL 混合游戏机;也有人怀念 Falcon 基于 GEM 图形界面。
24

Nick Park 花了 80 年代大部分时间,独自做出《月球野餐记》,后来成了改变定格动画的作品。

好作品常常来自一个人多年的坚持,而不是大团队。

事实

  • 1989 年 11 月,Park 在布里斯托动画节同时放映《动物悟语》和《月球野餐记》,当时并未引起轰动。
  • 两部都获奥斯卡提名,最后获奖的是《动物悟语》;Park 说他都不知道短片也能被提名。
  • 评论补充:《月球野餐记》起初是他的学生作业,他多年坐公交去工作室,大部分时间独自完成。

解读

  • 对产品:早期作品的「空旷感」和克制,后来加更多角色反而丢了,规模并不总是加分。

讨论

  • 正方很多人惊讶它几乎是一个人做的;有人说下一部《魔裤》(The Wrong Trousers)结尾的火车追逐是影史最佳动作戏之一。
  • 有人最爱阿高在读《狗狗电子学》的镜头;有人觉得 Wallace 就是 Park 的自画像,连说话的嘴型都像。
  • 有人认为前三部的氛围最好,后来扩展角色和世界观后少了点什么。
25

美国地质调查局记录到巴拿马 7.6 级地震,目前看损失有限,海啸威胁已解除。

震级很大,但离大城市较远,初步看影响可控。

事实

  • USGS 记录为 7.6 级。
  • 评论里身在当地的人说:佩诺诺梅附近停电,一些老旧建筑受损;巴拿马城有震感,有楼整栋疏散,暂未见损坏。
  • 海啸预警网站最新通报:已不存在海啸威胁。

解读

  • 从 USGS 的损失评估看,震中离主要城市较远,影响会小一些。

讨论

  • 多名当地网友报平安,说这里不常有地震,余震还在持续。
  • 有人担心油价上涨;回复说按距离看,运河大概率在设计承受范围内。