Google 对 RSS 订阅普及的破坏及影响

本文分析了 Google 如何利用开放的 RSS 协议获取市场影响力，随后采取“拥抱、扩展、消灭”策略，在锁定用户后逐步移除 RSS 支持，从而严重阻碍了 RSS 的普及并威胁互联网的开放性。

关键事件回顾

• Chrome 移除内置 RSS 按钮：早期 Chrome/Chromium 浏览器地址栏内置 RSS 按钮以方便用户订阅，但后来在无通知和解释的情况下被悄然移除。
• 收购 FeedBurner 并限制服务：2007 年 Google 收购 FeedBurner，将其改为包含广告和追踪机制的私有服务。2012 年关闭 API 以阻止第三方集成；2022 年大幅削减邮件订阅等核心服务，导致大量用户的 RSS 链接失效。
• 关闭 Google Reader：2005 年推出的网页版 RSS 阅读器 Google Reader 在 2013 年被关停。Google 称其“使用率下降”，但未提供替代方案或过渡指导，直接导致大量用户彻底放弃使用 RSS。
• Google Alerts 取消 RSS 推送：2013 年移除 RSS 接收选项，强制使用电子邮件。虽然后在用户抗议下恢复，但许多用户已因 Google Reader 的关闭而流失。
• 下架 RSS 浏览器扩展：Google 曾短暂下架官方的 Chrome RSS 扩展，一周后以“误删”为由恢复。此举暴露了 RSS 在 Google 内部极低的优先级，进一步打击了用户信心。
• Google News 移除 RSS 集成：在用户形成依赖后，Google News 于 2017 年彻底关闭 RSS 支持且未作任何解释，迫使受众寻找替代链接。

现状与呼吁

2021 年 Google 宣布计划在 Chrome 更新中恢复 RSS 支持，但至今无实质进展。鉴于其“先利用 RSS 吸引用户，后砍掉支持”的历史记录，用户对其新承诺缺乏信任。

文章强调，Google 的一系列行为严重损害了公众对 RSS 的认知与信心。作为开放网络的重要组成部分，RSS 的生存正受到威胁。作者呼吁 Google 正视其行为对 RSS 生态的负面影响，若未来继续集成 RSS 功能，必须确保长期维护并将其作为高优先级事项。

Go 1.27 主要新特性概述

核心语言改进

• 泛型方法 (Generic Methods)： 方法现在可以独立于接收器声明自己的类型参数，使泛型操作能够作为方法而非包级函数存在。接口仍不能声明带类型参数的方法。
• 结构体字面量字段选择器 (Struct literal field selectors)： 在结构体字面量中，可以直接使用提升字段（来自嵌入结构体的字段）作为键，无需显式写出嵌入类型。
• 广义函数类型推断 (Generalized function type inference)： 泛型函数类型推断扩展到转换和复合字面量等上下文，无需手动提供类型参数。

性能与运行时

• 更快的内存分配 (Faster memory allocation)： 编译器使用针对特定大小优化的内存分配例程，可将部分小于80字节对象的分配开销降低高达30%，整体性能预计提升约1%。可通过 GOEXPERIMENT=nosizespecializedmalloc 禁用。
• Goroutine 标签显示在追踪信息中 (Goroutine labels in tracebacks)： 对于 Go 1.27+ 模块，运行时追踪信息（如 panic、SIGQUIT）现在会显示 goroutine 的 runtime/pprof 标签，便于区分。可通过 GODEBUG=tracebacklabels=0 禁用。
• Goroutine 泄漏分析 (Goroutine leak profile)： runtime/pprof 新增 goroutineleak profile，通过运行 GC 周期来检测并报告可能永久阻塞（泄漏）的 goroutine 及其栈信息。

标准库新增与增强

• 后量子签名 (Post-quantum signatures)： 新增 crypto/mldsa 包，实现 FIPS 204 中的 ML-DSA（后量子数字签名方案），支持三个参数集（MLDSA44， MLDSA65， MLDSA87）。相关支持已扩展到 crypto/x509 和 crypto/tls。
• UUID 包 (The uuid package)： 标准库新增 uuid 包，用于按 RFC 9562 生成和解析 UUID，支持随机组件（uuid.NewV4）和时间顺序组件（uuid.NewV7， 适合数据库键）。
• JSON v2 默认启用 (JSON v2 by default)： encoding/json/v2 及其底层包 encoding/json/jsontext 不再需要实验标志即可使用。encoding/json（v1）的底层实现已切换为 v2，行为基本保持透明，错误信息可能略有不同。可使用 GOEXPERIMENT=nojsonv2 恢复原 v1 实现。
• 可移植 SIMD (Portable SIMD)： 新增实验性 simd 包，提供向量大小无关的可移植 SIMD 操作，可编译为硬件矢量指令。默认禁用，需通过 GOEXPERIMENT=simd 启用。
• 字符串/字节切片操作 (Cut around the last separator)： 新增 strings.CutLast 和 bytes.CutLast 函数，用于在最后一次出现的分隔符处进行分割。
• 泛型哈希 (Generic hashing)： hash/maphash 新增 Hasher[T] 接口，为基于哈希的数据结构提供自定义哈希和相等性比较策略的合约。
• 整数除法舍入 (Integer division with rounding)： math/big 的 Int 类型新增 Divide 方法，可计算商和余数并支持指定舍入模式（截断、向下、四舍五入、向上取整）。
• 随机数生成方法 (Random numbers, your type)： math/rand/v2 的 Rand 类型新增 N 方法，用于从指定 Rand 源生成有界随机整数或持续时间。
• 合成时间中的睡眠 (Sleep in synthetic time)： testing/synctest 新增 Sleep 助手，结合 time.Sleep 和 synctest.Wait，可在测试中推进合成时钟并等待所有 goroutine 就绪。
• 内存中测试服务器 (In-memory test servers)： httptest 新增 NewTestServer，使用内存中的伪网络创建测试服务器，无需真实 TCP 端口，支持自动清理，并与 testing/synctest 配合使用。
• Unicode 17 (Unicode 17)： unicode 包及标准库已从 Unicode 15 升级到 Unicode 17，支持新的脚本、字符和属性。

工具链与其他改进

• go test 默认运行 stdversion vet 检查，报告使用比 go.mod 中声明版本更新的标准库符号。
• 支持 go doc pkg@version 获取特定模块版本的文档。
• go doc -ex 列出包的可运行示例。
• go fix 新增 atomictypes、embedlit、slicesbackward 和 unsafefuncs 等现代化分析器。
• go mod tidy 现在会将分散的 require 块整理为规范的两个块（直接依赖和间接依赖）。
• go tool trace -http=:6060 现在默认仅监听 localhost。
• 移除了对 Bazaar (bzr) 版本控制系统的支持。
• 编译器、链接器等工具支持响应文件 (@file)。
• HTTP/2 和 HTTP/3 进展： HTTP/2 的支持已从 h2_bundle.go 迁移至实际的 net/http/internal/http2 包。为未来 HTTP/3 支持添加了内部钩子和测试基础。
• 编译器优化： 默认启用三项优化：已知位数据流分析、循环不变代码外提和 switch 语句查找表。
• 类型元数据重组： 链接器重组了类型元数据，移除了 typelinks 和 itablinks。
• 更严格的 //go:linkname 检查： 对 //go:linkname 使用施加了更多限制。
• 实验性 Map 内存布局： GOEXPERIMENT=mapsplitgroup 启用新的 Map 内存布局（键值数组分离）。
• os.Root 安全修复： 修复了 ReadDir 和 Readdir 可能用于逃逸根目录的问题。

总结： Go 1.27 是一个重要的版本，重心在类型系统（泛型方法、更灵活的结构体字面量和类型推断）、性能（分配优化、SIMD）、安全性（后量子签名）以及开发体验（UUID、JSON v2、测试工具）等方面带来了显著改进。

谷歌新闻是否已被放弃？

这篇文章以作者——一名记者的亲身经历为切入点，描述了谷歌新闻（Google News）工具功能的逐渐失效和退化。

作者长期使用谷歌新闻来追踪感兴趣的话题，依赖其“工具”菜单进行筛选，以获取特定时间范围（如过去一周或一天）、特定语言和地点的美国新闻机构报道。然而，作者发现这些功能正逐步失灵：

1. 搜索结果来源劣化：大量搜索结果来自Instagram等社交媒体网站，而非新闻出版网站。
2. 语言和地域筛选失效：出现了大量无法识别的外语结果，以及明确限定了美国地区却出现外国新闻的情况。
3. 时间范围功能完全失效：这是最新的严重故障，即使设定了“过去一周”等时间条件，系统也会忽略该设置，返回数周、数月甚至数年前的旧新闻。

文章以《阿甘正传》中的情节作类比：阿甘因分心游向岸边，导致船撞上码头。作者认为谷歌就像阿甘，因沉迷于AI（类比于丹中尉）而分心，从而导致谷歌新闻（那艘船）的功能崩坏，最终得出“谷歌已经放弃了谷歌新闻”的结论。

Diátaxis文档框架概述

Diátaxis 是一种技术文档编写的系统性方法，旨在通过深入理解用户需求来指导文档的内容、结构和形式。它识别出用户的四种核心需求，并对应提出四种文档形式：

• 教程（Tutorials）：面向学习，提供可实践的、循序渐进的指导。
• 操作指南（How-to guides）：面向任务，指导用户完成特定目标。
• 技术参考（Technical reference）：面向信息，提供准确、客观的描述和规格。
• 解释（Explanation）：面向理解，阐述背景、原理和概念。

该框架将这四种文档形式置于一个系统化的关系中，并主张文档的组织结构应围绕这些用户需求来构建。

Diátaxis 解决了文档编写中常见的内容（写什么）、风格（怎么写）和架构（如何组织）三大问题。它不仅服务于文档读者，对文档创建者和维护者也具有重要价值。该方法轻量、易于理解且便于实施，不强制特定实现方式，并为文档引入了一个有效的质量准则，帮助维护者更高效地思考自身工作。

Diátaxis 已在众多文档项目中得到成功实践和验证。例如，Vonage、Gatsby 和 Cloudflare 等公司的团队在重构其文档时采用了此框架，认为它帮助明确了不同文档类型的目标，优化了信息架构，从而使文档对用户和贡献者都变得更加清晰易用。

NetBSD 11.0 发布摘要

核心发布信息

NetBSD 项目于 2026 年 8 月 1 日正式发布 NetBSD 11.0 版本。

安装与下载指南

• 镜像类型：ISO 镜像被拆分为小于 700MB 的 CD-ROM 镜像和完整的 DVD 镜像。若无介质容量限制，建议下载名称包含 -dvd.iso 的完整 DVD 镜像。
• ARM 设备：需获取预配置 U-Boot 的 netbsd-11 可启动 ARM 镜像。
• 闪存介质：使用 U 盘等闪存设备时，必须使用 .img 文件（需提前使用 gunzip 或 7-Zip 解压），不可使用 .iso 镜像。
• 技术支持：遇到安装或系统使用问题，可通过邮件列表联系官方或提交问题报告（PR）。

已知开放安全问题

受 AI 工具普及导致安全问题激增的影响，为避免发布无限期延迟，官方选择透明公开当前未修复的安全漏洞。此前发布已因等待第三方组件稳定版而推迟，且发布流程仍受限于网络传输和手动签名等瓶颈。当前未修复的问题包括：

• hdaudio(4) (PR 60492)：ioctl 命令缺少本地用户权限检查。可通过手动删除 /dev/hdaudio* 规避（不影响音频功能）。
• ipfilter (PR 60484)：存在可远程触发的空指针解引用漏洞。默认发布的内核未包含 IPF。
• pf (PR 60485)：分片重组中存在释放后使用（use-after-free）漏洞。PF 已被弃用且默认内核未包含。

后续更新计划

所有上述开放的安全修复请求将在 11.0 发布后不久提交至稳定分支，并计划在未来两个月内推出的 NetBSD 11.1 版本中正式修复。

Seedance 2.5 摘要

概述

Seedance 2.5 是新推出的视频创建模型，基于 Seedance 2.0 的统一多模态音视频联合生成架构，专注于基础生成和参考生成，在长视频叙事、多模态参考和编辑方面实现重大突破。该模型旨在提升创作控制力和生产力，支持用户从创意到成品的完整工作流。

关键特性

1. 长视频生成与多轮扩展

• 单次生成时长：支持单次生成高达30秒的高质量音视频片段，并允许多轮扩展，最终可输出数分钟的视频。
• 叙事连续性：改进镜头过渡和场景变化，确保长视频的连贯性，通过多镜头逻辑连接讲述完整故事（如舞台表演、剧情发展）。
• 质量提升：优化图像、音频和运动质量，使生成的视频更自然、逼真，接近真人拍摄的电影质感。

2. 全面升级的多模态参考

• 输入容量：单次输入最多30张图片、10个视频片段和10个音频片段作为参考材料，增强复杂创意的实现能力。
• 参考能力强化：支持粘土渲染、运动参考和创意参考等，帮助模型准确捕捉用户意图，处理多主体、多场景和镜头变化。
• 细节控制：通过粘土渲染构建空间结构和运动路径，结合物理规律生成逼真灯光效果，确保构图和光影自然。

3. 精确稳定的编辑功能

• 时间戳级控制：允许用户通过提示词对特定时间段的音频和视频内容进行精确编辑，提高效率和可控性。
• 高级编辑特性：支持绿幕编辑、摄像机视角编辑和基于参考的编辑，适用于电影、广告等专业领域。
• 编辑效果：在绿幕编辑中，可替换背景并保持主体与环境的物理一致性（如服装飘动、光照交互）。

应用场景

• 教育领域：将课程内容转化为生动视觉材料，辅助教师高效制作教学视频，定制化抽象内容（如历史事件、科学原理）。
• 工业与自动驾驶：生成合成数据用于机器人训练、工业模拟和设备演示；模拟极端天气和复杂交通条件，支持自动驾驶系统测试。
• 创意产业：广泛应用于视频创作、广告制作和影视后期，提升故事叙述和视觉表达效率。

发布与访问

• 平台上线：已在即梦AI、豆包Pro等平台推出，用户可在视频生成功能中选择 Seedance 2.5。
• API 接入：将通过 BytePlus ModelArk 提供API访问，支持集成开发。
• 项目主页：更多详情可访问 https://seed.bytedance.com/seedance2_5。

未来展望

Seedance 2.5 标志着视频生成从片段输出向完整创意工作流的转变，但仍需改进复杂动作的物理合理性和多主体交互的稳定性。未来，团队将继续探索更连贯的叙事、直观的生成编辑体验，并深化对现实世界物理规律的理解，以服务更广泛的行业需求。

硅谷创始人绞肉机

多年前，作者认识了一位化名“Jim”的人。Jim当时正在参加编程训练营，梦想成为科技创业者，同时靠女友供养，做着酒保的工作。他有野心、努力，并且外表出众、富有魅力，但技术能力尚浅。

作者通过人脉帮助Jim获得了一份初创公司的工作。一年后该公司被财富100强企业收购，Jim的收入跃升至六位数。然而，富裕起来的Jim失去了专注力，生活变得挥霍无度，最终因工作懈怠被解雇。

失业期间，Jim决心前往硅谷，尽管作者当时已对他失去信心。但凭借与前同事的良好关系，Jim成功申请进入Y Combinator孵化器。随后他的社交媒体上充斥着与硅谷大佬的合影、高估值宣传等光鲜内容。

在多次创业失败、跳槽后，Jim的社交媒体内容逐渐变得混乱，最终完全消失。一年后，作者从共同朋友处得知，Jim沉迷于硅谷的派对和放纵生活，导致未婚妻离开、精神崩溃、钱财散尽，最终只能借钱回国，下落不明。

作者在反思中钦佩Jim敢于冒险、快速崛起的能力，同时也意识到自己选择了更稳健、线性的成长道路。Jim的经历揭示了硅谷的运作机制：它是一条巨大的“绞肉机”流水线，吸引无数像Jim这样的人，少数成功者被捧上神坛，而大多数则被淘汰抛弃。文章最后点明，在绝大多数情况下，稳扎稳打才是真正的快。

AI财务建议质量研究报告总结

研究背景与方法

MIT斯隆管理学院教授Taha Choukhmane等研究人员通过模型模拟与调查，评估大语言模型（如GPT-5.2、GPT-5.6、Gemini 3 Flash）提供的财务建议质量。研究首先构建了反映收入、职业、投资与税收人生演变的财务基准模型，随后邀请1000名成年人撰写提示向AI咨询财务建议，并模拟跟随建议数十年后的财务状况。最后将普通用户提示结果与更结构化、详细的“学术式”提示结果进行对比。

主要研究发现

1. AI建议总体质量良好

• AI建议普遍优于预期，引导用户提高储蓄率、增加股市参与、采用多元化投资并根据年龄调整风险。
• 在30岁以上的群体中，遵循AI建议几乎都能形成可观的储蓄缓冲。
• AI持续建议用户在工作期间储蓄、退休后提取储蓄、重点投资多元化股票基金，并在45岁后降低股票敞口。

2. AI建议存在局限性

• 缺乏对突发情况（如失业）的灵活调整，建议过于依赖简单规则。
• 倾向于让投资组合自然偏离而非主动再平衡。
• 当提示信息更详细、结构化时（如包含年龄、职业、收入、储蓄余额等完整财务信息），建议质量明显提升。

3. 提示方式显著影响建议质量

• 普通用户提问方式往往简单模糊，例如“我有50美元开始，每月追加25美元，该如何投资？”
• 学术式提示（包含明确假设、经济环境信息等）能获得更精准的个性化建议。
• 不同背景用户（性别、金融素养、AI使用经验）撰写的提示会导致建议差异，进而影响长期财富积累。

4. AI建议的潜在不平等

• 男性、高金融素养者或曾用AI获取财务建议的用户撰写的提示，能获得更优建议（如更高权益资产配置），导致退休财富差距约5%（约5万美元）。
• 性别差距中约2/3源于提示内容差异，1/3源于模型对相同提示根据性别标签给出不同建议。
• 模型有时会推荐用户未提及的具体产品（如Vanguard、iShares），可能影响消费者产品发现方式。

对消费者与企业的启示

消费者建议：

• 注意AI建议可能存在偏见，可通过明确提示要求AI避免偏差。
• 学习撰写更结构化的提示，包含生命周期规划、投资组合理论等关键财务假设。
• 将AI视为财务知识学习工具和补充建议来源，而非完全替代人类顾问。
• 对于无法承担人类顾问费用的群体，AI提供了低成本获取建议的途径。

企业建议：

• AI建议正改变消费者发现和比较金融产品的方式。
• 金融机构需关注产品在LLM回答中的呈现方式，这可能比传统营销或搜索排名更重要。
• 应建立AI财务建议的明确基准框架，帮助模型更合理地根据用户差异提供建议。

研究意义

该研究指出，AI财务建议具有低成本、易获取的优势，能帮助用户克服传统人类顾问的高成本、偏见及利益冲突问题。但其质量高度依赖提示质量，且可能加剧不同群体间的财富不平等。未来需要建立公认的建议基准，以引导AI财务建议的合理发展。

摆线齿轮箱项目总结

项目概述

本文介绍了一位15岁爱好者设计并制造的摆线齿轮箱，以及其配套的Python生成脚本。摆线齿轮箱是一种能将旋转速度转化为扭矩的传动装置。

设计演进过程

项目经历了三个主要版本：

• 版本1：手动曲柄测试齿轮箱，用于验证Python生成脚本的有效性，齿轮比为1:9。
• 版本2：微型摆线齿轮箱（齿轮比1:9），旨在达到NEMA 17步进电机的安装尺寸。但由于3D打印精度不足，无法满足小尺寸摆线驱动所需的严格公差，设计未成功。
• 版本3：首个成功运行的版本。其底座比版本2更大，从而获得了更大的公差范围和完整的功能。

Python脚本功能

该脚本基于SolidWorks关于构建摆线驱动器的文章开发，利用参数方程生成摆线轮廓：

• 核心方程用于计算摆线盘的坐标。
• 减速比公式为：1 : (N - 1)（转子旋转方向与输入轴相反）。

安装与使用：

1. 克隆代码仓库。
2. 在Fusion 360中通过“脚本和附加模块”（Shift + S）添加并运行cycloidal_generator文件夹。

关键可调参数：

• 针数(N)与节圆半径(R)：设定外壳固定针销的几何形状（转子具有N-1个凸轮）。
• 偏心距(E)：输入轴的偏移距离（约束条件：R > E·N）。
• 外针销半径(r)：滚针半径（约束条件：需通过最大半径验证以避免根切）。
• 精度/轮廓偏移：角度步长和公差偏移量（正值适用于3D打印间隙）。
• 输出针销与螺栓半径：定义同轴输出针销和转子的间隙孔（r_pin + E）。

版本3详细规格

（该版本的CAD文件位于cad_models/version_3目录下）

主要规格与性能参数

未来优化方向

• 将外壳针销替换为MR128轴承，可减少摩擦并提高效率。
• 将输出针销替换为带有金属套的M2螺丝，可增加刚性、最大输出扭矩和效率。

打印设置

使用Bambu Labs P1S打印机和PLA材料，采用标准设置，但调整了以下参数：

• 最小支撑X/Y间距：1毫米
• 支撑接触材料：Bambu Labs支撑PLA

文章标题： I ♥ RSS：一个RSS爱好者的在线目录

文章主要内容：

• 项目启动： Andrew Shell 于 2026 年 7 月 30 日宣布启动了一个名为 “I ♥ RSS” 的新项目。
• 项目性质： 这是一个在线目录，旨在汇集所有喜爱并使用 RSS 的人和网站。
• 功能与特点：
  • 该目录旨在促进使用或推广 RSS 格式的网站之间的相互可见性，构建一个不断增长的社区。
  • 项目主页上展示了一个由 FeedLand 驱动的实时博客列表。
• 作者行动： Andrew Shell 本人已为其网站添加了项目徽章，并将自己的网站提交到了该目录中。
• 社区呼吁： 作者邀请所有像他一样热爱 RSS 的人访问该目录并添加自己的网站。
• 社区反响： 该项目的公告被分享至 Hacker News 等平台，并获得了来自 RSS 爱好者社区的评论和反馈。评论指出，尽管外界唱衰，RSS 在非社交媒体依赖的用户群体中依然繁荣，而这个目录正是为这些志同道合者提供了一个集结的平台。

GNU/Linux 操作系统简介 GNU/Linux 是一个自由开源的计算机操作系统。它由 GNU 项目（始于1983年）与 Linux 内核开发团队协作完成。其核心软件属于自由、开源软件，意味着用户有权自由使用、研究、修改和分发。Linux 内核本身也被广泛应用于嵌入式系统、手机（如 Android）及其他设备中，有时不与 GNU 组件搭配使用。

Reddit r/linux 子版块概述 该子版块是围绕 GNU/Linux 的社区讨论区，提供丰富的资源链接和活动信息。

• 社区活动：定期举办问答活动，参与者包括 Rocky Linux、PINE64、Fedora 项目负责人及 Linux 内核开发者等。
• 核心资源：提供 GNU/Linux 哲学、历史、内核官网等基础链接，以及 IRC 聊天频道和常见问题解答。

主要资源分类 子版块侧边栏汇集了大量相关资源，主要分类如下：

1. 发行版：包括 Arch、Debian、Fedora、Ubuntu、openSUSE 等主流及特色发行版。
2. 桌面环境与窗口管理器：如 GNOME、KDE、XFCE、i3、awesomewm 等。
3. 移动与嵌入式：涉及 Android、SailfishOS、PostmarketOS、OpenWRT 等项目。
4. 开发与创意：涵盖命令行、系统管理、内核开发，以及 Blender、GIMP、LibreOffice 等创作工具社区。
5. 学习与帮助：提供 Linux 从入门到精通的系列学习资源链接和子版块。
6. 其他操作系统：链接至 BSD、FreeBSD、Haiku、Plan 9 等相关系统社区。
7. 网络广播与播客：列出多个科技与 Linux 主题的播客和节目。

版规要点 为维护社区质量，子版块制定了明确规则，主要包括：

• 禁止支持请求：技术帮助应发往 r/linuxquestions 等专属版块。
• 禁止垃圾博客与低质链接：要求提交原始来源，禁止重发内容或含侵扰性广告的站点。
• 禁止模因与过度玩笑：此类内容需移步 r/linuxmemes。
• 要求遵循网络礼仪：禁止煽动、歧视或不友善行为。
• 保持相关性：内容应围绕 GNU/Linux、开源软件及相关开发者。
• 限制自我推广：个人原创内容需遵守比例要求，并积极参与互动。
• 禁止误导性链接：链接需直接指向内容，禁止缩短链接或需登录的网站。
• 禁止 NSFW 内容：未经管理员批准，不得发布不适宜内容。
• 限制非实用图片：鼓励提交指南、特性讨论等实质性内容，而非纯图片或“野生 Linux”见闻。

该子版块由爱好者管理，与任何机构无关。

维基媒体基金会拒绝自愿承认工会，聘请反工会律师事务所。

Wiki Workers United美国分会于7月20日要求维基媒体基金会自愿承认其工会地位，基金会于7月27日发表声明拒绝，称应由国家劳动关系委员会进行无记名投票。基金会表示，此流程能保护个人选择并反映集体意愿。社区对此普遍表示失望，担心基金会会利用投票前的间歇期进行反工会活动。目前已有多个社区请愿书支持工会，签名均超过1200个。维基联合创始人吉米·威尔士在邮件列表中表示，他认为此前的签名过程存在非保密性问题，可能导致部分员工感到压力，因此支持通过正式投票来明确员工的选择。Wiki Workers United宣布将向国家劳动关系委员会申请工会选举，并指控基金会公开言论虚伪，实际上聘请了以反工会著称的Littler Mendelson律师事务所，此举旨在拖延进程并可能开展反工会运动。

基金会公布更严格的董事会候选人资格标准。 在2025年董事会选举出现候选人被取消资格的情况后，基金会董事会于7月17日公布了新的、显著更严格的候选人资格标准。新标准的核心变化是要求候选人具备更多的董事会或社区治理经验，这意味着没有担任过相关职务的普通社区成员将无法参选。候选人除了需满足英语流利、年满18岁等基本要求外，还必须在过去6年内拥有至少2年的特定治理或社区服务经验，这些职位包括：基金会或捐赠基金董事会成员、其他大型组织董事会成员、维基项目中的特定职务（如仲裁委员会成员、管理员等）、或注册的维基附属机构的治理职位等。基金会邀请公众在Meta-Wiki上提供反馈。

有报告称维基曼尼亚会议发生性骚扰事件。 7月26日，维基媒体韩国分会发布公开信，称其一名成员在会上提供善意帮助时，遭到他人未经同意的肢体接触和性骚扰。次日，维基媒体马来西亚分会发表声明，表示其一名成员也遭遇了来自另一维基媒体人的性骚扰事件，涉及违背个人意愿的肢体接触。基金会社区韧性与可持续发展副总裁玛吉·丹尼斯回应称，基金会正严肃处理此事，已与涉及个人及目击者取得联系，并承诺将依据信任与安全政策直接告知报告人处理结果。

其他消息：

• 英语维基百科新增两名管理员：MCE89和Staraction。值得注意的是，有少数编辑反对两人的管理员申请，理由是他们对基金会工会的开放支持可能损害项目。
• 本周的“待改进条目”是“客户体验”，下周（自8月3日开始）为“HDR10”。
• 社区正在Meta-Wiki上就“抽象维基媒体”的未来发起讨论。该项目旨在帮助小型语言维基百科获取内容，但社区对其当前状态下的整合表示担忧。基金会回应称对其自然语言生成方法充满信心，并承认项目文档和报告方面存在困难。

AMD MI355X 运行 Kimi K3：实现优于 B300 的性能性价比

核心结论

AMD MI355X GPU 在运行超大规模开源模型 Kimi K3 时，实现了优于 NVIDIA B300 的性能性价比。尽管 B300 的绝对性能更高，但 MI355X 凭借更低的成本，在每美元性能上取得了显著优势。

模型与硬件背景

• Kimi K3 是一个拥有 2.8 万亿参数 的开源模型，其体量巨大，单节点 8 张 NVIDIA B200 GPU（192GB 显存）无法容纳模型权重及 100 万 token 的 KV 缓存。
• 解决方案：使用拥有 288GB 显存 的 AMD MI355X（单节点 8 卡）或两节点 B200（TP16）进行部署。MI355X 的单 GPU 平均成本比 B300 低约 2.4 倍，比 B200 低约 1.7 倍。

性能基准对比

在 1024 token 输入 / 400 token 输出的测试中，MI355X（8 卡 TP8）表现如下：

（注：价格假设为 MI355X $2.5/GPU-hr，B300 $6.00/GPU-hr，B200 $4.25/GPU-hr）

结论：B300 的聚合吞吐量约为 MI355X 的 1.65 倍，但价格高出 2.4 倍，因此 MI355X 在性能性价比上碾压 B300。B200 的表现因跨节点通信开销（RoCE v2）而受到影响。

优化实现

1. 投机解码优化：

   • 问题：Kimi K3 原生不包含投机解码张量。使用外部草案模型（RadixArk’s Kimi-K3-DSpark）时，ROCm 软件栈中缺少 top_k_renorm_prob 函数，导致推理调度器崩溃。
   • 解决：用一个简单的 PyTorch 函数（排序、掩码填充、除法）实现了 top-k 重规范化操作，无需编写定制内核。修复后，单流性能提升约 2.2 倍，峰值聚合吞吐量提升 18%。

2. 预填充优化：

   • 问题：MI355X 在长上下文冷启动预填充（如 172k token）时速度慢（约 51 秒），远慢于 B300（约 23 秒）。原因是 ROCm 上无法加载优化的 MLA 预填充内核，回退到了慢速的通用 Triton 内核。
   • 原因与解决：根本原因是 Kimi K3 在 TP8 配置下每个 rank 有 12 个注意力头，而 AITER MLA 内核仅支持 4、8 或 16 的倍数。通过对头数量进行零填充（12→16），成功启用了优化内核。
   • 效果：预填充速度从 4-7k tok/s 提升至约 13k tok/s，显著改善了用户感知的首 token 延迟。

总结与意义

• 成功运行：在 AMD MI355X 上部署 Kimi K3 并达成极具竞争力的性能性价比是“开箱即用”的，仅需解决少量框架问题，且无需编写定制内核。
• 意义：这表明在推理领域，AMD 硬件凭借其显存容量和成本优势，有能力挑战 NVIDIA 的霸主地位。文章最后提出了一个引发思考的问题：CUDA 的护城河是否正在消失？

相关背景：此工作由 Wafer 团队完成，其曾成功在 MI355X 上以极低成本运行 GLM5.2 模型，展示了其在 AMD 平台上优化前沿模型的能力。

“Anime User Interfaces” Tumblr 博文内容摘要

本文内容为一个 Tumblr 博客（Anime User Interface）的系列博文集合，主要展示了从各种日本动画（动漫）中截取的、具有未来感和科技感的用户界面（UI）设计示例。每条博文包含一个或多个图片（静态或动态GIF），并附有原始链接、转载来源（Via）以及互动数据（如笔记数）。

主要内容与特点：

1. 形式：以图文（GIF动图）合集的形式呈现，视觉上突出动画中虚构的高科技界面。
2. 内容来源：所有素材均来自不同动漫作品，例如文中明确提到的《超时空要塞Plus》（Macross Plus）和《电脑奇侠：伊甸园计划》（Dirty Pair: Project Eden），以及其他未具名的动画。
3. 设计风格：展示的UI设计充满科幻感和未来主义色彩，常见元素包括全息投影、数据流动画、交互式全息显示器、复杂的科幻操作台、悬浮操作界面等。
4. 目的：该博客旨在收集和分享动画中具有视觉创意和设计启发的用户界面画面，供观众欣赏和设计者参考。

总结：这是一个专注于动画艺术中UI设计的视觉资料库，通过转发动图的方式，汇集了多部动画作品里极具想象力的科技界面片段，强调了动画在构建虚拟世界时对交互视觉语言的创造性运用。

Tailwind CSS 的主要批评点

尽管 Tailwind CSS 是一个流行的工具型优先的 CSS 框架，能够快速构建用户界面并提供良好的文档，但作者认为在中型或大型项目中应谨慎使用，并列举了以下理由：

1. 学习曲线与记忆负担：需要掌握大量工具类名，初期开发速度较慢，需要频繁查阅文档。
2. 违背结构与设计分离原则：在 HTML 中直接使用大量工具类，破坏了传统的“关注点分离”（HTML 负责结构，CSS 负责样式），导致 HTML 臃肿、可读性下降。虽然在组件化框架（如 React/Vue）中这种分离已被打破，但在服务器渲染的模板项目中，传统分离仍有意义。
3. 命名不一致且不直观：类名（如 items-center, justify-center）缺乏一致性和自描述性，容易混淆，增加了学习和使用成本。
4. 设计系统执行不严格：虽然提供了预设的间距、颜色等设计系统，但允许使用任意值（如 w-[347px]），这破坏了系统的一致性，最终仍依赖开发者的自律。
5. 不利于学习 CSS 基础：对于 CSS 新手，Tailwind 可能造成一种掌握 CSS 的错觉，实际上阻碍了开发者深入理解 CSS 原理、层叠机制和变量的使用。作者建议应先学好 CSS 再考虑使用框架。
6. 可读性与维护性问题：
   • 当使用 @apply 将多个工具类组合成自定义类时，代码变得不直观，需要查阅文档才能理解具体样式（例如，bg-indigo-500 对应什么颜色）。
   • 相比之下，使用 CSS 变量和原生嵌套的原生 CSS 代码更具自解释性，更易于维护。
7. “类顺序”的误导性：在 HTML 中，工具类的书写顺序并不决定样式的优先级。实际优先级由 Tailwind 编译器生成最终 CSS 的顺序决定，这与原生 CSS 中样式规则在样式表中的顺序决定优先级不同。这会导致开发者在调试时产生困惑，是一个“有漏洞的抽象”。
8. 开发工具调试体验不佳：当组件包含大量工具类时，在浏览器开发者工具中检查和理解哪些样式生效、哪些被覆盖变得困难和低效。

对比与结论：现代原生 CSS 的崛起

文章最后将讨论提升到“现代原生 CSS”与“基于原生的工具类层”之争。作者指出，现代 CSS 已经原生支持了诸多强大功能，如：

• 层叠层 (@layer)
• 原生嵌套
• 自定义属性 (CSS 变量)
• 父选择器 (:has())
• 容器查询
• 颜色函数 (color-mix())

讽刺的是，Tailwind CSS 正是构建在这些原生特性之上。这引出了一个核心问题：如果平台本身已经具备了这些能力，那么 Tailwind 的必要性还剩多少？

当然，原生 CSS 提供的是功能本身，而 Tailwind 提供了一套约束系统、样式与标记并置（colocation）的开发体验以及编辑器自动补全等便利性。

最终结论：Tailwind CSS 并非一个糟糕的工具，但它有长期的学习和维护成本，并且如今面临着更强大、更成熟的原生 CSS 的竞争。作者强调，在做出选择前，开发者应首先扎实掌握 CSS 基础，然后根据项目上下文（如项目规模、是否为组件化架构、团队情况）做出知情的决定。今天节省的初期努力，可能需要在日后付出更高的代价。

Lean内核声音性错误#14576事后分析

事件概述

2026年7月25日，Ramana Kumar发布了一个由AI辅助生成的、无"sorry"的Collatz猜想"反证"。该证明并非有效，而是利用了Lean内核处理嵌套归纳类型时的一个错误。7月28日，Kiran Gopinathan将其简化为一个False的证明，并提交了错误报告#14576。团队在收到报告一小时内推送了修复（#14577）。

错误详情

• 根源：当内核消除归纳类型T（带有参数Ds）下的嵌套出现时，若这些参数是幻象（未在构造器字段中提及），它们会从生成的辅助类型中消失，从而逃过类型检查。
• 影响：在该位置使用一个类型不正确的参数，可使内核接受一个False的证明。
• 触发条件：该错误仅能通过元编程触发，即直接向内核发送归纳声明。前端会检查参数并捕获此类术语。
• 性质：这是一个实现错误，而非Lean元理论的漏洞。

独立检查器nanoda为何未捕获

该证明也通过了外部独立检查器nanoda的验证，但这源于两个不相关的巧合错误：

1. Lean官方内核在嵌套归纳类型支持中缺失检查。
2. nanoda虽检查了该处，但在投影节点中未验证类型名称（此错误在Lean错误报告前一周已被修复）。

• 这表明，尽管依赖独立内核检查仍然有效，但它需要两个实现中同时存在两个不同的错误。用户需确保使用两个检查器的最新版本。

形式化验证影响

Mario Carneiro的lean4lean项目旨在形式化Lean类型论并证明内核正确实现了它。当前工作尚未涵盖归纳类型，且其待验证的实现存在与官方内核相同的错误。该错误将在完成验证此部分时被发现。

关于移除元编程的讨论

部分讨论建议移除或限制元编程以防止此类攻击。然而，这是误导性的。

• 设计原则：推导器（elaborator）在设计上是不受信任的。声音性不能依赖于一个不受信任的组件来拒绝构建不良术语。
• 现实威胁：攻击者若想提交恶意证明，可以直接编写.olean文件或修改内存，这些方式完全绕过推导器。
• 核心要求：内核必须在其自身的进程中，独立拒绝类型不正确的声明。这种关注点分离和隔离是证明项的主要优势之一。

FRO采取的后续行动

1. 回归测试：为该漏洞及相关非统一参数案例添加了测试。
2. 后续修复：PR #14582使内核检查嵌套出现的参数是否真正表现为参数。
3. AI辅助安全审查：与OpenAI的Daniel Selsam合作，利用专门的网络安全AI发现了内核中的其他编程错误（均已修复，且均被nanoda捕获）。相关PR包括#14607、#14608、#14609、#14613、#14615、#14616。
4. 加强内核不变量：通过PR #14621、#14631、#14632加固。
5. 流程改进：comparator.live现在默认运行nanoda，并每日跟踪其更新，以确保lean-eval和comparator与上游修复保持同步。
6. 社区支持：正在联系和支持能发现更多错误、开发新内核、或从事理论及经过验证内核研究的专家。

致谢

文章作者感谢Joachim Breitner和Sebastian Ullrich的修订与建议。

事件概述：
旧金山AI创业公司LemonLime的CEO Jordan Zietz要求求职者永久纹身公司标志或相关设计，以换取即时面试机会。这一行为引发广泛争议，随后Zietz公开道歉并承诺提供纹身去除服务。

关键细节：

• LemonLime在YC Startup School派对上邀请纹身艺术家，提出纹身换面试的提议，七名申请者接受了这一要求。
• CEO在LinkedIn发帖称此举旨在寻找“同样疯狂”的人才，但帖子因争议被删除。
• 公众批评此行为“令人反感”且可能引发法律风险；Zietz随后道歉，承认判断失误，并声称所有参与者无论是否纹身均获得面试。

矛盾说法：

• Zietz声称无人纹LemonLime标志，但一名参与者反驳称大多数人纹了该标志，另一人则看到柠檬图案纹身。
• Zietz对这些指控予以否认。

背景信息：

• LemonLime是Y Combinator（YC）的毕业生，获得50万美元资金，但无其他公开融资记录。
• YC以孵化知名公司（如Reddit、Airbnb）著称，但部分毕业公司常采用极端营销策略，例如“停止雇用人类”广告牌。
• 另一家YC公司Corgi的创始人提到，其早期员工三分之二有公司纹身，暗示类似文化在创业圈存在。

事件性质：
此事件反映了创业公司为吸引关注而采取的激进手段，尽管初衷是测试求职者忠诚度，但引发伦理和法律质疑，最终以CEO道歉告终。

https://chrismorgan.info/atom%3Erss

本文介绍了作者将Linux系统移植到HP Prime G2图形计算器的过程，并对比了其他计算器的硬件配置与Linux支持情况。

HP Prime G2 硬件与移植动机

HP Prime G2是一款2013年上市、2018年更新的图形计算器，拥有触摸屏。作者对其计算器功能兴趣不大，但发现其硬件配置惊人：采用i.MX 6 Ultralite ARM Cortex-A7 CPU、256 MB DDR3 RAM和512 MB内部存储，性能接近小型嵌入式设备，远超普通计算器。作者认为拥有设备完全控制权很重要，因此致力于使其运行Linux。

与其他计算器的对比

文章对比了多款计算器：TI 84+ CE（48 MHz eZ80，无Linux）、Numworks N0110/N0120（ARM Cortex-M7，最高550 MHz但RAM仅564KB，无Linux且后续固件锁闭）、Casio FX-CG50（118 MHz CPU，无Linux）。只有TI Nspire CX II（396 MHz ARM CPU，64 MB RAM）有Linux移植。作者喜爱的HP-16C（215 kHz CPU，203字节存储）无法运行Linux。

Linux移植的具体改进

作者基于旧版移植（4.14内核）进行了以下关键更新：

1. 键盘驱动改进：修改内核键盘驱动（imx_keypad.c），使ALT键组合可输入数字和特殊字符（如下划线、连字符）。
2. 触摸屏支持：识别出新款触摸屏控制器为Ilitek ILI211X（原旧版为Goodix GT5688），编写了简化的内核驱动，并制作了校准工具。
3. 系统启动优化：将USB串口支持编译进内核以避免锁死；调整配置使可从RAM启动高达130 MB的镜像。
4. 功能完善：配置控制台登录；启用X11窗口系统（含twm窗口管理器、xeyes、xclock、xcalc等基础应用）；移植了Doom游戏（prboom）并保证流畅帧率；添加了Tiny C编译器（tcc）支持设备上编程。

移植结果与资源

移植后的系统可从RAM启动，登录后输入startx进入图形界面，输入sh ./doom.sh运行Doom。作者提供了完整的源码仓库（linux、buildroot、u-boot、prime-linux）及预编译下载包，并详细说明了从打开计算器、进入Recovery模式到使用uuu工具启动Linux的步骤。需要注意拆机有损坏风险。

其他设备移植情况

• HP Prime G1：有社区移植项目（使用6.x内核），需自行编译，作者提供了构建指南。
• Windows移植：有人将UEFI移植到Prime G2并运行了Windows 10（包括计算器应用calc.exe），但无公开镜像。

作者通过这一项目展示了高性能计算器的潜力，并为爱好者提供了资源与指南。