PostmarketOS 更名为 Nura -- PostmarketOS is rebranding as Nura
经过一年半的筛选，原后市场操作系统（postmarketOS）的新名称在会议神秘演讲中公布，项目自此改称努拉（Nura）。努拉（Nura）缩写自Nuraghe，即意大利撒丁岛公元前3000年及更早就有的花岗岩建筑，许多留存至今。其寓意稳定与抵抗千年，契合项目让设备长久可用的初衷。名称由达维德·德保（Davide Depau）贡献。
80美元汽车旅馆发现生命起源线索 -- In an $80 motel room, a discovery to shed light on the origins of life
去年春天，安德鲁·威洛比（Andrew Willoughby）开车三个半小时到北卡罗来纳州纳斯黑德一家廉价汽车旅馆，从停车场短信联系网友。朱莉娅·范埃滕（Julia Van Etten）现身，引他绕过请勿打扰牌进80美元房间，她秘密改作临时实验室。墙列微咸水罐，桶溢沼泽草块，床头柜当显微镜架。研究植物基因组的威洛比博士叹道：“我的天，这些人真靠谱。”
更换可充电自行车灯的旧电池 -- Replacing the old battery on rechargeable bike lights
最近我需要自行车灯，想起十年前买的可充电车灯，很久没用过了。充电后它们只能亮约5分钟就熄灭。我不太懂电子，但一直好奇旧电子产品能否修好，这次似乎只需换电池，便去我加入的本地酷儿创客空间（queer makerspace），借用烙铁动手。我沿着像接缝的地方胡乱割开硅胶外壳，撕破了一些，但成功打开并找到了电路板。
互联网发现了 TLA+，然后呢 -- The internet discovers TLA+. Now what?
本周鲍里斯·切尔尼（Boris Cherny）发推文推介了有30多年历史的形式化建模工具包动作时序逻辑加（TLA+）。他用奥普斯5.5（Opus 5.5）在TLA+和精益（Lean）中建模了克劳德代理软件开发工具包（Claude Agent SDK）的部分内容，互联网反响热烈：约100万浏览量、数千书签，人们询问TLA+究竟是什么。他的帖子是极佳展示，并补充了达多格（Datadog）关于harness-first agents的早期例子。
并不存在失控AI智能体 -- There are no "rogue" AI agents
大家都在谈论人工智能（AI），但所用的词语反而让事情更糟。在对AI的讨论回归现实前，我们对AI是什么、走向何方的理解都不完整。AI无法自主思考或独立行动，描述它的语言却暗示它可以。赋予AI它无法主张的能动性，等于把它变成由代码构成、拥有希望与欺骗能力的有感知存在，导致对AI风险的认知与应对严重失真。最近一例，是用“失控（rogue）”形容智能体（agent）的行为。
莫名故障渐成常态 -- The Normalization of Inexplicable Failures
在最近播出的《总统柯蒂斯（President Curtis）》某一集中，剧中的总统在两个不同的场景里都费力地试图打开一扇门，但每次都没能顺利推开。根据情节展示，这些门之所以无法运作，是因为通行路径上横着明显的障碍物：第一次是一具尸体挡在门前，紧接着第二次则是大约价值十亿美元的黄金堵住了入口。
他们对用户毫无责任意识 -- "They had no concept of a duty of care to their users."
计算机科学家大卫·奇斯诺尔（David Chisnall）的一条帖子以很符合未颂（Unsung）风格的方式开头：他自约2000年起使用 vim（Vim），写了五本书、一篇博士论文、数十篇论文和超过150篇文章，常用命令已成本能，用其他编辑器时文中会误插 :w。他接着谈到 vim 的持久撤销功能，虽不常用却曾在误删内容或整理后出问题时帮其找回历史版本，且 vim 在约20年的大版本升级中一直保留此能力。
垃圾UI的10个特征 -- 10 Tells of a Slop UI
我的大学应用（college app）前不久更新了所谓的“微小界面改进”（minor UI improvements），却成了见过最粗制的用户界面。旧版虽笨拙，但远胜于其AI代理产出的垃圾大炮。slop UI指AI炮制的观感错位、缺乏用途或过于通用的界面，常出现在没有愿景的vibe-coded UI中，让应用显得廉价而无吸引力。
逆向分析 Intel 8087 的切线算法：不止 CORDIC -- Reverse-engineering the Intel 8087's tangent algorithm: more than CORDIC
作者又写了一篇关于英特尔（Intel）8087的文章。1980年英特尔推出8087，让IBM PC等系统的浮点运算快了许多。这次看的是这颗芯片正切指令背后的算法。三角函数可用CORDIC算法或多项式逼近，8087把两者结合，兼顾精度与性能。8087算一次正切只需90微秒，8086则要13000微秒。作者用凿子和显微镜打开芯片、拍摄高分辨率图像，通过电路与微码解释FPTAN指令。
将 GLM-5.3-Flash 改造为 Jev 式决策模型 -- Turning GLM-5.3-Flash into a Jev-like decision model
在单次前向传播中，一个现成的大语言模型就能做出带类型的决策，为每个选项给出概率。作者在 Privatemode 上运行 GLM-5.3-Flash 来评估这一方法，并用公开数据集构建基准，结果显示其决策准确率和速度与 TypeSafe 的 Jev 相当。额外的好处是，GLM-5.3-Flash 还能对图像做带类型的决策，而 Jev 无法做到。