11337 分
OpenAI 分享前沿 AI 模型生成的新数学成果
OpenAI 通过 GitHub 仓库发布了一批由内部前沿 AI 模型生成的新数学成果，并附带了计算成本估算以及 Lean 中的形式证明验证，同时与数学专家进行咨询，以探讨 AI 辅助数学发现的最佳实践。
阅读全文 →
22036 分
Mistral Large 4 在开源 AI 领域取得进展，聚焦欧洲主权
Mistral 的新型 1 万亿参数模型在数据分析性能和成本效率方面展现显著提升，并通过本地化训练和部署强调欧洲 AI 主权。
阅读全文 →
3359 分
example.com 的近期改版添加了带动画过渡的多语言支持
由 IANA 运营的 example.com 域名用于文档示例，在 2026 年 9 月底至 10 月初经历了重大变更，先是引入了带动画过渡的多语言支持，随后简化为立即显示全部语言。
阅读全文 →
4581 分
弗朗西斯·哈尔曾荣获2026年诺贝尔物理学奖，因其在冰立方中微子观测站的工作
皇瑞典科学院将2026年诺贝尔物理学奖授予弗朗西斯·哈尔曾，以表彰他在冰立方中微子观测站的开创性工作以及对天体物理起源高能中微子的发现。文章解释了IceCube如何探测这些难以捉摸的粒子，以及它们为何提供观察宇宙最 energetic 过程的独特窗口。
阅读全文 →5345 分
openTPU：AI 设计的 FPGA 加速器以模拟器级精度运行量化语言模型
openTPU 项目展示了一个开源 AI 加速器，其硬件、指令集、模拟器、编译器和性能分析器均由 AI 代理在单一代码仓库中完成设计。它在搭载 Xilinx Kintex-7 的 FPGA 卡上运行 Qwen3 和 LFM2.5 等现代语言模型的量化版本，输出的令牌序列与模拟器逐位完全一致，同时揭示了主机参与度和量化精度方面的权衡。
阅读全文 →
6435 分
EmbeddingGemma 2：谷歌的开放多模态嵌入模型，用于设备端 AI
谷歌的 EmbeddingGemma 2 在共享嵌入空间中统一了文本、图像、音频和视频，采用模块化设计、Matryoshka 表示学习（MRL）和 8K 令牌上下文窗口，并在 Apache 2.0 许可证下优化了设备端性能。
阅读全文 →
7322 分
开发者因发现 Deno 体验恶化而重返 Node.js
一位网页开发者详细描述了他从 Deno 迁移回 Node.js 的过程，他指出 Node.js 在现代 JavaScript 支持和开发者体验方面有了显著改进，同时指出了一些导致他放弃 Deno 的具体可用性和可靠性问题。
阅读全文 →
8390 分
OpenAI 的 Decisions API 进入公开测试，提供专用评估端点
OpenAI 已将 Decisions API 释放至公开测试阶段，提供一个专用端点，用于快速进行文本和图像评估，返回分类和评分任务的类型化答案。该 API 支持谓词、选择和评分三种问题类型，基于 gpt-6-luna 模型，性能比 Responses API 快约 10 倍。
阅读全文 →
9244 分
对流行的Zigbee温度传感器进行全面比较揭示了关键差异
对12款畅销的Zigbee温湿度传感器进行的详细比较显示，在精度、电池寿命、外形尺寸和环境适用性方面存在显著差异，仅有一款型号提供防雨功能以供户外使用。
阅读全文 →11269 分尚无解读
Claude Code’s suggested message feature: I think the real customer is the model (zohaib.cc)
12301 分
地球按质量计的主要物种是什么？不是人类或蚂蚁，而是北方林木
尽管详细的蚂蚁的神话称蚂蚁的质量超过人类，但实际情况是人类的总质量超过所有蚂蚁的五倍。通过以碳含量来衡量生物质量——这一指标反映了生物圈中的能量流动——植物的数量远远超过动物。在个别物种中，北方林木中的黑云杉储存了超过110亿吨的生物质量，相当于近56亿吨的碳，几乎是所有动物碳总量的三倍。
阅读全文 →13205 分尚无解读
Wood Tape (2004) (gamesbyemail.com)
14318 分
Gleam 采用 Erlang 抽象形式以实现更快的构建和精确的调试
Gleam v1.19.0 现在输出 Erlang 抽象形式而非 Erlang 源代码，从而加快编译速度并在运行时错误中提供精确的行号，同时避免了直接生成 BEAM 字节码所带来的维护负担。
阅读全文 →
15353 分
研究揭示生态系统对物种损失的恢复力低于之前的估计
对超过400项研究的全球分析发现，大多数生态系统服务随着生物多样性的增加而稳步提升，而不是在物种较少时就达到平台期，这表明自然在物种损失后“恢复”的能力被高估了。
阅读全文 →17468 分尚无解读
Polars 2.0 (pola.rs)
18155 分
加利福尼亚州通过新的商业居留规则关闭蒙大拿州车牌税收漏洞
2026年9月30日加州参议院法案SB 1406生效，通过将任何拥有加州居民所有者的企业视为加州纳税居民来消除蒙大拿州车牌税收漏洞，并要求公司高级官员对未缴纳的车辆使用税承担个人责任。
阅读全文 →
19271 分
Paramount和华纳兄弟发现完成1110亿美元合并，成立Skydance
Paramount和华纳兄弟发现的合并已完成，创建了一个名为Skydance的新娱乐集团，在大卫·埃利森的领导下，合并了主要电影工作室、流媒体服务、广播网络、体育资产和丰富的内容库。
阅读全文 →
21109 分
秘密选举背后的算法失效”，“summary”:
Dominion 选票扫描仪存在一个漏洞，可逆转用于匿名化选票的洗牌算法，从而在结合公开选民日志时重建个体投票方式。尽管该修复自 2023 年起即可用，但许多司法管辖区尚未更新系统，使选举面临隐私泄露的风险。
阅读全文 →
22294 分
为什么 Common Lisp 在 LLM 时代表现出色
Vivien Henz 认为 Common Lisp 的活镜像系统、基于条件的调试以及代码即数据的统一使其成为 AI 辅助开发的理想选择，提供即时反馈、安全实验以及简洁的程序，从而降低 token 使用。
阅读全文 →
2477 分
为什么在 C++ 中 ~true 会求值为 true —— 以及编译器在何处不一致
C++ 中 true 的按位补求值为 true，因为 bool 首先被提升为 int，补位后得到 –2，随后通过布尔转换规则转回 bool：任何非零值变为 true。这一直观规则在作用于具有底层 bool 类型的作用域枚举时会失效：GCC 错误地截断了结果而不是应用布尔转换，而 Clang 和 MSVC 则遵循标准。此外，没有固定底层类型的无作用域枚举在将补位值转回枚举类型时可能遇到未定义行为。
阅读全文 →
26113 分
在古董 Mac 上恢复 iChat 音视频会议功能
一份详细指南展示了如何通过运行个人 SNATMAP 服务并使用 /etc/hosts 重定向 configuration.apple.com，在运行 Leopard 或 Snow Leopard 的旧 Mac 上恢复 iChat AV 的音视频通话功能。
阅读全文 →
27163 分
Fervo Energy 的增强型地热电厂在建设 23 个月后开始供电
Fervo Energy 宣布，其位于 Utah 的 Cape Station 增强型地热电厂已开始向电网供电，标志着该技术的首个商业里程碑。初始阶段在破土动工后 23 个月完成，提供了规划 100 兆瓦容量的三分之一，已获得 Google 和 Southern California Edison 的承诺，并有可能扩展至最高 4 吉瓦。
阅读全文 →
2874 分
地热能勘探与优化的数学基础”，
地热能利用地球内部热量进行发电和供暖，但其实际部署依赖于模拟地下过程、优化提取和评估经济可行性的数学模型。这些模型将理论潜力转化为工程解决方案。
阅读全文 →