DATE ARCHIVE
2026-09-26
当日发布的文章 2026-09-26.
Wube Software 发布了《异星工厂》官方 3D 打印模型
Wube Software 发布了一套包含 65 个官方《异星工厂》3D 打印模型，让粉丝们能够打印并组装游戏内实体，如传送带、机械臂和虫群等微缩模型。
Whiteboard：用于人工智能辅助软件架构的开源画布工具
Whiteboard 是一款开源桌面应用程序，旨在促进人类与人工智能编码代理之间的协作式软件架构设计。通过提供一个直接链接到底层代码的可视化画布，它旨在帮助开发人员管理人工智能生成代码所带来的复杂性。
深入了解网络干扰开放观测站及其衡量互联网审查的方法
网络干扰开放观测站（OONI）是一个全球性项目，致力于开发免费软件工具以检测和记录互联网审查，并维护一个全球网络干扰的开放数据集。
理解货币与银行体系的层级本质
这是一项关于货币、债务和银行体系如何从简单的物物交换演变为复杂金融层级的概念性探索，重点阐述了信任与资产负债表在现代经济稳定中的作用。
深入理解 2025 年软件沙盒技术的基本原理
软件沙盒（即自主权限降级）是限制进程能力的一项关键安全实践。现代方法强调进程级隔离和基于能力的通信，而非依赖传统的内核级黑客手段。
美国邮政稽查员关闭销售伪造邮资标签的网站
联邦当局查封了 LabelsBank.com，这是一个未经授权、销售伪造 USPS 邮资标签的网站，并指控一名巴基斯坦国民参与了一项造成超过 1.26 亿美元损失、向约 5,000 名客户售出超过 500 万张欺诈性标签的计划。
TinyBrains：一个针对策略游戏中小型神经网络的竞技平台
TinyBrains 是一个全新的竞技平台，旨在挑战开发者构建能够玩策略游戏的小型高效神经网络。参赛作品根据文件大小分为不同权重级别，并通过一对一比赛来评估性能。
评测：McKenney 的《并行编程》教科书严谨但 demanding
一位拥有 TLA⁺ 与分布式系统背景的评测者，利用 Paul E. McKenney 免费在线教科书《Is Parallel Programming Hard, And, If So, What Can You Do About It?》进行了深入研读，认为前五章非常出色——但也揭示了自己在 CPU 缓存、编译器重排和内存模型方面仍有大量知识空白。
Meta Platforms 与虚拟现实及增强现实硬件的演进
作为 Facebook 和 Instagram 的母公司，Meta Platforms 继续在虚拟现实和增强现实技术上投入巨资，将其作为向元宇宙战略转型的一部分。这一重点包括开发 Quest 系列产品和智能眼镜等硬件，旨在将数字生态系统融入物理环境。
Laya：一款用于人工智能工作流的开源非自回归决策引擎
Laya 是一款全新的开源非自回归决策引擎，旨在取代生成式大语言模型，以处理路由、分类和分流等结构化任务。通过利用强化学习和双向编码器，它能在 35 毫秒内提供经过校准的概率输出，为专有黑盒模型提供了一种透明且高速的替代方案。
Ink & Switch 庆祝成立十周年并发布互动主页
独立研究实验室 Ink & Switch 为纪念其成立十周年，推出了名为“Tenfold”的互动主页，展示了该实验室对实验性软件设计和以用户为中心的计算技术的持续投入。
Heretic：自动化移除基于 Transformer 的语言模型审查机制
Heretic 是一款开源工具，旨在利用一种称为“消融”（abliteration）的技术自动移除语言模型的安全对齐限制。该技术通过修改模型权重来绕过拒绝行为，无需人工干预或大规模重新训练。
Go 并发精粹
Antonzhiyanov 发布了一本名为《Go 并发精粹》的迷你书籍，该书概述了 Go 语言的主要并发原语，包括协程、通道、select、管道等。书中的每个主题都提供了交互式示例，读者可以直接在浏览器中编辑和运行代码以查看结果。本书明确指出，这不是一本入门指南，有意学习并发编程的读者请参考 Zhiyanov 的另一本名为《Gist of Go: Concurrency》的书籍。
Git-bug：一个集成在 Git 中的分布式、离线优先的缺陷跟踪系统
Git-bug 是一个开源工具，它将缺陷跟踪直接嵌入到 Git 仓库中，通过将问题数据与源代码存储在一起，实现了离线协作并防止了供应商锁定。
乔治·波利亚关于系统化问题解决的启发式框架
乔治·波利亚于1945年首次出版的《怎样解题》提供了一种结构化的四个阶段方法论，用于应对复杂问题，强调深入理解和迭代规划，而非盲目行动。
麻省理工学院教职员工对校园内新部署的AI监控基础设施表示担忧
一群麻省理工学院的教职员工对校园内安装数百个具备人工智能功能的监控摄像头表示强烈抗议，并指出这引发了关于隐私保护、数据可能与执法部门共享以及缺乏社区协商等方面的严重担忧。
F-Droid 2.0 正式发布，带来重大界面重构与架构现代化升级
长期以来作为自由及开源 Android 应用仓库的 F-Droid 现已发布 2.0 版本。此次更新引入了全新的界面设计、改进的搜索与发现功能，并全面转向 Kotlin Compose 等现代开发工具。
探索阿尔托大学托管的诺基亚设计档案库
阿尔托大学现已推出诺基亚设计档案库，这是一个全面的数字存储库，记录了1990年至2020年间诺基亚移动电话和微软移动的设计演变历程。
利用 CVE-2025-13032 漏洞攻击 Avast 防病毒软件的内核堆溢出
安全研究人员详细介绍了 Avast 防病毒内核驱动程序中双重获取漏洞的利用过程，展示了如何利用该漏洞在 Windows 11 上实现本地权限提升。
评估现代人工智能体在《星际争霸：母巢之战》中的表现
一项名为“母巢之战基准测试”（Brood War Bench）的新基准，旨在测试当前大语言模型作为自主智能体在经典即时战略游戏《星际争霸：母巢之战》中的能力，结果揭示了它们在长期规划与执行方面存在显著局限。
ZX Spectrum 1-bit 蜂鸣器上的数字音频：利用单个扬声器实现高质量声音的工程
Bumbershoot Software 的技术深度剖析揭示了如何将 ZX Spectrum 谦逊的 1-bit 蜂鸣器转变为出人意料且功能强大的数字音频系统，通过精确的时序和创新的汇编语言技术克服严苛的硬件限制。
Claude Max 增加使用额度，并不能证明模型更聪明
Anthropic 的 Max 套餐每月收费 100 或 200 美元，分别提供 Pro 每个会话额度的五倍或二十倍。套餐仍有上限，而使用容量增加并不代表模型更强。
Bastardica：一款用于创建混合式“诅咒”字体的浏览器工具
Bastardica 是一款基于 Web 的实用工具，允许用户通过融合两种不同的字体来生成自定义 OpenType 字体。该工具利用上下文连字功能，自动将基础字体中的字符替换为混合字体中的字符，从而实现故意制造出突兀或实验性的排版效果。
HOL Light 定理证明器快速入门指南
HOL Light 定理证明器是形式化验证的强大工具，但其陡峭的学习曲线可能会让初学者望而生畏。新的“快速入门”教程提供了一系列循序渐进的示例，旨在帮助用户更高效地掌握系统的背景要求和基本操作。