11693 分
谷歌宣布 Gemini 4 Argon 前沿模型，具备 100 万 token 容量
谷歌推出最新前沿 AI 模型 Gemini 4 Argon，拥有业界领先的 100 万 token 上下文窗口，专为软件工程、企业知识工作和网络安全防御中的复杂推理而设计。
阅读全文 →
3387 分
佛蒙特州家庭电池网络成为最大电力来源，取代调峰电厂
通过绿山电力公司（GMP）的租赁计划，佛蒙特州数千户配备电池系统的家庭现在形成了一个虚拟电厂，供电量超过任何单一传统电厂，在提供抗风暴韧性和降低成本的同时，使化石燃料调峰电厂退出。
阅读全文 →
5680 分
你说了不 MCP！ — Earendil 在先前拒绝后拥抱 Model Context Protocol
Pi AI助手的开发者 Earendil 已经通过将 Model Context Protocol (MCP) 集成到 Pi 的核心，逆转了他们长期以来的反对态度。这一变化是在观察 MCP 的演变一年后出现的，他们意识到为 MCP 所需的技术调整也有助于其他功能，例如更容易集成用于情感分析的 Jev 工具。
阅读全文 →
6337 分
从马蹄铁匠到机械师：技术驱动的职业焦虑的历史视角
一个个人家族史揭示了马蹄铁匠在汽车时代转型为机械师的经历与现代软件开发者对 AI 取代其工作的担忧相呼应，表明人类创造和解决问题的核心动机可能超越特定技术技能而持续存在，同时也承认个别故事作为证据的局限性。
阅读全文 →
7243 分
TLA+ 的局限：形式验证能够和不能够保证什么
TLA+ 是一种用于验证并发系统中安全性和活性属性的强大规范语言，但它在没有复杂变通方法的情况下无法表达某些类型的属性，例如可达性或超属性，而这些变通方法伴随着显著的缺点。
阅读全文 →
8252 分
先进录揭示惊人复杂的脑波。进录揭示惊人复杂的脑波
脑内录显示，神经电活动形成复杂的波模式——包括源波、汇波和螺旋波——这些模式随认知任务而变化，可能反映大脑中的一种动态组织原则。
阅读全文 →
9228 分
Netlify 的 Edge Functions 借助 Unikraft MicroVMs 实现 5 倍性能提升
Netlify 重建了其 Edge Functions 基础设施，使其在 Unikraft 驱动的微型虚拟机上运行，将中位数响应时间从 25-40 毫秒降低到 5-6 毫秒，同时提高可靠性并启用诸如 npm 包支持等新功能。
阅读全文 →
10306 分
揭秘连接战略与战术情报的ELINT卫星
解密文件揭示了URSALA、RAQUEL和FARRAH卫星如何从战略国家情报工具演变为支持战场指挥官的战术资源，开创了TENCAP计划，将空间基础电子情报直接带给战场上的军队。
阅读全文 →
12307 分
Backblaze 2026 年第二季度硬盘统计：高容量硬盘占主导地位，车队故障率升至 1.73%
Backblaze 对 354,415 块硬盘的季度报告显示，2026 年第二季度年化故障率 (AFR) 升至 1.73%，为近几个季度最高。这一增长与车队结构变化相吻合：20 TB 及以上容量的硬盘现占部署总量的 25% 以上。三款老旧机型的故障率超过 6.95% 成为异常值，而希捷包揽了零故障荣誉榜。全生命周期 AFR 微升至 1.41%。报告还探讨了新兴记录技术 —— SMR 和 HAMR —— 如何影响未来的硬盘认证。
阅读全文 →13123 分
负责任地发布AI生成的数学：给AI实验室的建议
AGMI组织在2026年9月发布的一份报告敦促AI实验室在发布AI生成的数学成果时采取负责任的做法，包括彻底归因、及时在开放存储库中提交、通过资助的工作坊和奖学金支持人类理解，同时也呼吁广泛公平地获取公开可用的模型。
阅读全文 →
14324 分
NASA 寻求前 SR-71A 黑鸟工程师以复兴退役黑鸟
据《航空周刊》报道，NASA 悄悄联系了曾参与 SR-71A 黑鸟工作的退休工程师，以协助一项秘密行动，让该飞机重新起飞。
阅读全文 →
15179 分
Burning Man 2026 年死亡人数的统计背景
2026 年 Burning Man 有三人死亡，起初看起来较高，但经过年龄标准化的统计表明这一结果并不异常。然而，该活动长期的死亡记录远低于预期，表明存在强烈的选择偏差：参与者中更健康、更富裕、受教育程度更高的人更倾向于参加，而死亡风险较高的人则在到场前被排除。
阅读全文 →
16179 分
GPU 文本渲染的工作原理：从位图图集到 Slug 的解析轮廓
一种名为 Slug 的新型公共领域算法可在片段着色器中直接从字形的矢量轮廓进行渲染——无需纹理图集，也无需逐帧细分。本文综述了五种主要的 GPU 文本方法，解释了每种方法所做的权衡，并说明了为何 Slug 是唯一在任何尺度下、在任意 3D 透视下、以及在诸如 CJK 之类庞大或动态的字形集下都能保持清晰的方法。
阅读全文 →17248 分尚无解读
EDG C++ front-end goes public (edgcpp.org)
18213 分
Jev：为快速、校准的文本分类而构建的新型 AI 模型
TypeSafe AI 发布了 Jev，这是一个“System One”模型，它放弃了自由文本生成，转而采用结构化的概率分类决策。与按顺序生成 token 的传统 LLM 不同，Jev 并行生成所有输出概率——在分类任务上提供前沿水平的智能，且速度提升 40–200 倍，成本仅为一小部分。该模型使用一种名为“校准决策强化学习”（RLCD）的新训练方法来输出认识论上诚实的置信度分数，使其适用于对可靠性要求高的自动化场景。Sebastian Raschka 的配套文章追溯了从词袋模型、朴素贝叶斯到 RNN、CNN 以及 Transformer 的演变历程，旨在阐明 Jev 在文本分类进化中的定位。
阅读全文 →
19321 分
LinkedIn larpmaxxing：琐碎的计算机视觉项目如何主导职业网络
对 LinkedIn 的批判揭示了用户发布诸如手部跟踪和坑洼检测等琐碎的计算机视觉项目，不仅仅是为了它们的实用性，而是为了显示自己熟练和高效——这种做法被称为 'larpmaxxing'。作者通过仅用 90 分钟构建一个基于 YOLO 的检测器来识别这些很帖子，展示了该平台如何奖励看起来令人印象深刻而非实际技能提升。
阅读全文 →
20322 分
研究人员发现微软内部分析服务中缺失的 JWT 签名验证
一名16岁的安全研究人员发现，微软内部的 Titan 分析服务接受未签名的 JWT 令牌，使他们能够以管理员身份登录并在报告和修复该漏洞之前，对17万亿行数据执行 SQL 查询。
阅读全文 →
21106 分
CHOMPI 采样器乐器作为开源硬件和软件发布
CHOMPI Club 发布了其 CHOMPI 采样器的完整硬件和固件生产文件作为开源项目，同时停止当前的型号生产。该仓库永久提供电路图、外壳文件、固件和引导加载程序；公司保留 CHOMPI 商标和艺术作品，不为第三方构建提供支持，并将社区问题引导至其 Discord 频道。
阅读全文 →
22146 分
在日本工作期间攻读机器学习博士
一位在美国谷歌工作的研究员描述了他在东京工业大学完成博士学业的过程，在此期间他保持了兼职行业工作。他概述了日本灵活学生签证、三年制博士项目以及不断扩张的AI就业市场的好处，同时也指出了诸如全球知名度有限、沉重的非技术课程负担以及侧重于国内出版渠道等挑战。
阅读全文 →
23194 分
Magnitude：面向 AI 代理的自优化推理引擎
Magnitude 是一款开源桌面应用，能够根据用户的具体硬件自动编译和调优推理内核，承诺相比 llama.cpp 提供最高两倍速度，并支持 Apple Silicon、NVIDIA、AMD GPU 以及仅 CPU 系统。
阅读全文 →
24281 分
理解 Factorio 的质量机制及优化工具
Factorio 的 Space Age 扩展包加入了基于概率的质量系统，模块可通过回收循环提升物品等级。通过使用转移矩阵建模这些概率并求解线性方程，玩家可预测结果并使用基于求解器的工具寻找高效的产出‑质量模块比例。
阅读全文 →
25171 分
油价飙升时，大部分资金流向生产者和政府
由供应中断推动的原油价格上涨将大部分额外收入导向石油公司，分配情况因国家而异——西得州的股东、沙特和挪威的国库、英国的混合收益——而消费者则承担直接成本。
阅读全文 →
26518 分
2026年9月：一位波兰作家绘制的、一个正在耗尽备用方案的世界地图
汤姆·沃伊奇克2026年9月的随笔主张，现代社会花了三十年用更便宜的即时供应商取代了富有韧性的库存和冗余——而且在2026年，其中若干依赖关系同时失效。从关闭的霍尔木兹海峡到法国空空如也的加油站，再到波兰创纪录的粮食价格，他追踪了一次中断如何穿过燃料、食品和金融传播。其结果是一种结构性诊断，而非末日故事：世界并未走向终结，但曾经吸收冲击的缓冲已经消失，而它们能否被重建，正是这篇随笔提出却未作回答的问题。
阅读全文 →
27149 分
美国核管理委员会（NRC）批准田纳西谷地权威机构（TVA）在克林奇河站点建设首份BWRX-300小型模块化反应堆的美国境内建设许可
美国核管理委员会已向田纳西谷地权威机构颁发了美国境内首份针对GE Vernova Hitachi BWRX-300小型模块化反应堆的建设许可，许可地点为田纳西州橡树岭的克林奇河站点，这标志着北美地区先进核能部署的重要里程碑。
阅读全文 →
2886 分
约翰·科尔特莱恩的音圈及其和声洞见
约翰·科尔特莱恩为尤素夫·拉蒂夫绘制的音圈通过互锁的色环可视化了五度圈，揭示了对应对称爵士和弦及进行的几何形状，例如 2‑5‑1 进行、三度音替换和 Coltrane changes。
阅读全文 →
2982 分
"Miller's Monster": 几何中最复杂均匀多面体的实体模型
罗伯特·韦布构建了大双斜边二十面体（great dirhombicosidodecahedron）的实体模型——这是一个退化的非凸均匀多面体，具有124个面、240条边和60个顶点，是唯一一个在每个顶点处有八个面相遇的均匀多面体，也是唯一一个具有正方形扭棱面的均匀多面体。
阅读全文 →
30130 分
Last.fm 听歌历史现已支持 RSS 订阅
一位开发者发布了一个名为 "lfm" 的小型开源工具，它从 Last.fm API 拉取听歌数据并重新打包成 RSS 订阅源——而 Last.fm 自身并不提供这一格式。作者从抓取网站 HTML 转为使用 API，但报告称 API 中类似的接口在字段名上不一致或直接缺失字段，因此订阅源的完整程度完全取决于底层数据。
阅读全文 →