Hacker News 中文摘要

《21世纪课堂音乐理论》（Music Theory for the 21st-Century Classroom）开篇设有前言、致谢与版权页，随后进入第1章基本概念，依次讲解音高、记谱法、八度音区、变音记号与等音，并配有练习。第2章转向大调音阶与调号，从半音和全音的关系讲起，进而介绍大调音阶的构成及调号。

Neki 是 PlanetScale 推出的分片版 Postgres，现已可用。它的每个分片都是真正的 Postgres，Neki 在其上加入路由器、边车和控制平面，把单机 Postgres 扩展到数亿 QPS 和 PB 级数据，且无需停机。应用连接到 Neki 路由器，由路由器把查询分发到各个 Postgres 分片，图中第四个分片正在在线拆分；工作负载增长时它可拆分热点分片，并让数据库保持在线完成数据布局重排。

当前这个 Git 端点正在经历针对该代码仓库的大量请求涌入，为了维护代码堡（Codeberg）的可用性，用户提交的搜索请求将不会被系统处理。对于由此造成的不便，平台方深感抱歉，并请求用户稍后再次尝试。由于短时间内访问流量过高，系统优先保障整体服务稳定，因此暂时无法响应此次具体的查询操作。

人类学家罗伯托·冈萨雷斯（Roberto González）考察美国军工复合体正从环首都公路（Capital Beltway）迅速向硅谷（Silicon Valley）扩张。尽管五角大楼（Pentagon）预算多花在常规武器，国防部（Defense Department）却越来越想采用人工智能赋能系统。大科技公司、风投与私募从数十亿美元国防合同获利，小型国防科技初创也获更多资金。冈萨雷斯报告指出，国防部开支越来越大比例流向大型知名科技企业，包括全球估值最高的公司。

在网上看到让人共鸣的东西时，作者刷到了泰勒·高（Tyler Gaw）的一条 skeet：对方刚从 Big Box of Cables 底部翻出两根放了10多年的线缆，感慨别让任何人拿走你的 Big Box of Cables。作者又笑又哭倍感鼓舞，决定做点什么记住这建议。他截图并用可靠的兄弟（Brother）打印机黑白打印，剪下后拿出妻子标着 FAMILY TECHNO BOX 的线盒，剪开透明胶带将纸条贴到盒正面。

我有个小理论：软件会把人逼疯。不是每三十分钟就得洗手那种，而是围绕软件的条件容易让本来正常的人失去分寸感。见得多了，我不觉得这全是性格问题。软件把速度、金钱、复杂性、抽象和几乎无限改主意的自由揉在一起，单看还好，合起来就冒出古怪副作用。多数软件剥掉品牌和架构图后很无聊：一个表单、一个接口，加点权限和数据库。

尼基（Neki）现已在平台预览中可用。它基于过去八年运行全球最大分片 MySQL 集群的经验构建，支撑数千生产工作负载，每秒数百万查询，服务于数秒停机便成公开事件的公司。一年半前发布行星规模 Postgres（PlanetScale Postgres）后，我们明白需做得更多。期间接纳数千客户，部分堪比最大 MySQL 客户。我们屡见团队用 Postgres 逼近单机上限，裸金属争时间，但客户触达上限后无合适方案，于是 Neki 出现。

2005年，考古学家乔恩·哈曼（Jon Harman）参加岩画会议时从火星图像获得灵感：一张是火星锈红表面；另一张由美国宇航局（NASA）开发的方法将火星景观变成红绿黄马赛克，显露细节。哈曼随即想到这技术能帮研究者考察最古老画作。该技术称去相关拉伸（decorrelation stretch），1978年由NASA喷气推进实验室（JPL）研究人员开发，用于增强数字图像对比度。

2026年9月10日，Cognition 团队（Cognition Team）推出迄今最先进的编码模型 SWE-2（SWE-2）。它推进能力与成本的帕累托前沿，在 FrontierCode 1.1 Main（FrontierCode 1.1 Main）上取得 50.0%，与 Fable 5.1（Fable 5.1）相差不到 1 分，却便宜 64%。SWE-2 首次把强化学习扩展到数万亿参数规模，沿用 SWE-1.7（SWE-1.7）的训练基础设施与配方，关键新增是一种能在单次运行中训练所有推理投入等级的强化学习算法，从而推进整条成本—性能前沿。

数学长毛象（mathstodon.xyz）是众多独立长毛象（Mastodon）服务器中的一个，用户可借助它参与联邦宇宙（fediverse）。这是一个面向数学人的长毛象实例，其网页界面支持 LaTeX 渲染功能。该实例由克里斯蒂安·劳森-完美（Christian Lawson-Perfect）管理，服务器统计有 5K 活跃用户。