九篇故事今日在HN首页突破了200点门槛。贯穿其中的主线不言而喻：权力结构——政府、企业、自动化执法系统——正与那些拒绝遵守其规则的人和项目发生冲突。这些冲突的结果有好有坏。

获取你的Windows许可证退款

562 点 · refund4freedom.org

意大利Linux协会和FSFE发起了一个运动，要求笔记本电脑制造商停止捆绑Windows，并提供透明的退款流程。该网站提供了详细的步骤指南：拍摄EULA照片，联系制造商，如果被拒绝，可以向意大利反垄断机构投诉。他们跟踪制造商的行为——HP完全忽略退款请求，戴尔要求你退回整个笔记本电脑，华硕根据版本不同支付9-65欧元，而宏碁要求你将机器寄到服务中心。

这是一场老战斗，但有了新的活力。欧盟消费者保护框架理论上支持拒绝预装软件的权利，但执行一直是瓶颈。该运动的实际价值在于其详实的案例研究——真正获得退款的人，附有法律文件和和解信。这些证据基础将哲学论点转化为可操作的压力。是否能超越意大利法律系统，这是个开放的问题。

GLM-5.3 现已开源

407 点 · huggingface.co

Z.ai（原名Zhipu AI）发布了GLM-5.3，这是一个拥有7430亿参数的混合专家模型，声称夺得了开源权重编码的桂冠。该模型与GLM-5.2共享相同的底层架构——所有改进都来自激进的后训练。Z.ai 报告称，其内部代码基准测试提高了50%，在终端基准测试3.0和代理的最后一项考试中处于领先地位，值得注意的是，还出现了“比预期更快发展”的新兴网络安全能力。该模型在269个项目中发现了2436个漏洞，其中一些项目已有40年历史。

基准测试声称值得仔细审查。Z.ai 的内部代码基准测试显示，在最大努力下得分为34.5%，而Claude Opus 4.8得分为29.5%，这很有说服力，但他们承认落后于Claude Fable 5（39.5%）。真正的故事在于标记效率：GLM-5.3在得分方面更高，同时消耗的标记数量显著少于其前身或竞争对手。每标记的费用约为美国前沿价格的十分之一，经济性不容忽视。权重预计在安全审查后两周内发布——“开源权重”标签是前瞻性的，不是当前的。新兴的网络安全能力是人们应该关注的部分。能够自主串联利用步骤的模型与仅完成编码基准测试的模型是不同的。

法官裁定特朗普政府黑名册中的Anthropic违法

385 点 · nytimes.com

美国地区法官林·里塔永久阻止了五角大楼将Anthropic列为“供应链风险”的决定，称其“违法且毫无根据”。背景是：Anthropic拒绝让军事使用Claude进行监视和自主武器。国防部长佩特·赫格塞思回应称，给Anthropic贴上了“供应链风险”的标签——这一工具通常用于对付外国对手——而特朗普在Truth Social上发布命令，要求政府“立即停止使用Anthropic的技术”。

林法官指出，特朗普的社交媒体帖子“除了试图迅速对Anthropic进行公开惩罚以报复其批评政府的行为外，毫无意义”。她还发现了第五修正案的正当程序问题。政府的论点——他们只是“评估了Anthropic可能操控其AI模型的重大风险”——经不起推敲。一项待决的D.C.巡回法院案件意味着Anthropic技术在该案件解决前仍被列为黑名单。但先例已经确立：行政部门不能利用采购法惩罚拒绝制造武器的公司。没有人会忽视这样一个事实：一个AI安全公司因拥有安全防护措施而受到惩罚。

美国制裁针对AI集体

346 点 · inventati.org

Autistici/Inventati——自2001年以来为活动人士提供加密电子邮件、VPN和托管服务的小型意大利志愿集体——被美国财政部和国务院指定为“全球恐怖组织”。该集体托管noblogs.org（一个供活动人士使用的博客平台）并提供数字自我防御工具。他们否认所有指控，并誓言继续运营。

HN讨论正确指出了真正的危险：这为基于用户活动将基础设施提供商定为恐怖分子设定了先例。如果AI集体因托管活动博客而被定为恐怖组织，那么信号、Tor、任何VPN提供商又如何？该指定是在《13224号行政令》下发布的，与针对“基地”组织附属机构的框架相同。将它应用于一群意大利志愿者运行电子邮件服务器是一种类别错误，会产生严重后果——它将异议基础设施合法化。集体的回应是坚定的：“反法西斯主义和反资本主义不是恐怖主义。抗议不是恐怖主义。”

Luanti因无根据的AI版权通知从Google Play下架

338 点 · blog.luanti.org

开源像素游戏平台Luanti（原名Minetest）因Tracer.AI代表微软以Minecraft版权侵权为由提交的DMCA通知从Google Play下架。该声明引用了Minecraft的版权注册，但没有具体说明哪些资产被侵权。Luanti默认不提供任何游戏资产——它是一个运行社区创建内容的引擎。

这之前发生过。2023年，同一家公司提交了同样的通知，花了46天才恢复应用——远超DMCA规定的10-14个工作日。Tracer.AI是一家声称“85%更快的删除”和“月度删除增加44%”的“AI驱动的品牌保护”公司。翻译：大规模提交版权主张，没有实质的人工审查。今年早些时候，独立游戏Allumeria也遭到了同样的待遇。微软最终在公众压力下撤回了这一通知。核心问题是像素艺术风格不可版权——Minecraft受到Infiniminer的启发，立方体是一种风格，而不是品牌。但Google的自动化删除管道对此毫不关心。

GUI应完全由键盘驱动

320 点 · ckardaris.com

对上周“停止制作TUI”的HN帖子的回应。作者认为，TUI的键盘驱动特性经常被用来作为其优于GUI的理由，但这混淆了两个独立的问题。GUI本身并没有阻止完全键盘导航——这是开发人员的纪律问题，而不是技术限制。GNOME的人机界面指南明确指出，每个操作都应可以通过键盘完成。

这个论点是合理的，但不完整。GUI在键盘导航方面失败的原因并不是不了解指南——而是鼠标优先设计是最容易实现的路径，大多数GUI框架将键盘访问视为次要考虑。作者自己在Klisi中实现全面键盘支持的经验证明这是可行的，但“并不难”低估了保持键盘路径在框架更新中正常工作的维护负担。无论如何，核心观点仍然成立：如果GUI不能完全由键盘驱动，那是一个bug，而不是功能。

以《盗梦空间》风格的曲面地图实现逐点导航

319 点 · orbify.eu

Orbify的演示使用高斯散点图和PlayCanvas引擎渲染了一种以《盗梦空间》风格的曲面地图进行导航的技术。效果是将你前方的环境扭曲成可见的曲线，使即将到来的转弯和地标可见而无需缩放。这是一种来自挪威公司的专利技术。

演示视觉效果惊人——想象一下《盗梦空间》中的巴黎场景应用于实际导航。是否真的适用于驾驶是有争议的；在处理扭曲的3D环境的同时导航交通的认知负担可能超过空间感知带来的好处。但作为可视化技术，它确实新颖。基于高斯散点图的基础，它适用于照片写实的场景重建，而不仅仅是抽象的地图。值得观察这种技术是否会在AR导航中找到立足之地，还是仅仅成为一项有趣的演示。

htmx 4.0

308 点 · htmx.org

八个月的工作终于带来了htmx 4.0。内部变化的亮点是从XMLHttpRequest迁移到fetch()。从用户的角度来看，与2.x相比，行为差异很小。三大变化是：属性继承现在是显式的（必须使用:inherited标记继承属性），事件名称标准化为htmx:phase:action[:sub-action]格式，历史记录默认不再使用localStorage。

新功能包括morph交换（通过改进的idiomorph算法实现内置的DOM差异）和<hx-partial>以实现更干净的多目标更新。扩展生态系统得到了显著刷新：hx-preload、hx-download、hx-alpine-compat以及三个流式扩展（SSE、WebSocket、multipart）。值得注意的是，htmx 4不会被标记为NPM上的latest——2.x将继续作为最新版本直到2027年初，以避免影响依赖CDN的用户。这是一个负责任的发布策略。团队还构建了一个CLI升级检查器，以标记属性继承和事件名称的变化。100年服务的理念继续指导着项目——向后兼容性和简洁性胜过追逐潮流。

以《盗梦空间》风格的曲面地图实现逐点导航

224 点 · alyssarosenzweig.ca

Alyssa Rosenzweig（现在是一名主要的GPU驱动开发者）2018年的帖子推导出一个O(n)算法来计算封闭三角化3D网格的体积。诀窍是应用散度定理将体积积分转换为曲面积分，然后逐三角形评估。最终公式只需要11n次浮点运算——每个三角形7次加法和3次乘法，再加上一次最终的乘法。

推导过程清晰，结果优雅。在35美元的Raspberry Pi上，这可以每帧处理3000万个三角形，帧率为60fps。作者指出，该算法由Cha Zheng和Tsuhan Chen在2001年的论文中独立发现。八年后的今天，该帖子重新出现在HN上，是对真正经得起时间考验的内容的证明——一个真正的算法，真正的数学和真正的性能数据，而不是框架公告。

背景

今日的首页是对机构过度干预和人们用来抵抗它的工具的研究。五角大楼试图惩罚Anthropic因其道德——法官说不。美国政府将一个提供加密电子邮件的意大利活动集体定为恐怖分子。微软的AI驱动版权机器人从Google Play中删除了一个开源游戏引擎，因为它有立方体。而整个社区仍在继续建设：htmx 4.0带着100年服务的理念发布，Zhipu发布了一个7430亿参数的模型，找到了零日漏洞，而有人重新发现了2018年的一个美丽数学技巧。

模式清晰：自动化执法系统（DMCA机器人、供应链风险标签、恐怖分子观察名单）的规模正在超越保持它们诚实所需的人类判断。今天的胜利者是那些用证据、法律和代码反击的人。失败者是那些被设计用来先处理后提问的系统困住的人。