1805 分
法院阻止犹他州VPN法律，裁决称其要求技术上不可能实现
联邦法官对犹他州SB 73发布初步禁令，认定该法律的VPN执行机制要求不存在的地理定位完美性。该裁决暂停了那些条款的执行，那些条款本来会迫使成人网站全国范围内检测并阻止VPN用户，或完全撤出犹他州市场。
阅读全文 →
2566 分
Apple 发布 Pass Designer 测试版，用于构建 Apple Wallet 通行证
Apple 推出 Pass Designer，这是一款 macOS 应用程序，可简化 Apple Wallet 通行证的创建。该工具提供实时、设备忠实的预览、可自定义的模板、验证以及语义标签支持，以启用 Siri 建议、日历集成和地图导航等功能。
阅读全文 →4438 分
FLUX.3 Image：黑森林实验室在 OpenRouter 发布旗舰模型
黑森林实验室于2026年10月1日发布了 FLUX.3 Image，这是一种可通过 OpenRouter 获得的文本到图像和多参考编辑模型，采用按图像定价的固定费率，每张图像价格根据分辨率从 0.0205 美元到 0.3035 美元不等。该模型支持从 768 分辨率到 4K 分辨率的输出，并提供多种宽高比选项。
阅读全文 →
5370 分
两项研究表明：细胞身份的丧失是人类衰老的中心驱动因素
一种新的衰老模型提出，细胞随着时间的推移会失去其特化的身份——这不仅仅是由于累积的损伤，而是驱动了纤维化、炎症和疾病。最近发表在《Nature》和《Cell》上的两篇论文识别出了这种“间充质漂移”背后的分子机制，并指出表观遗传钟测量的是锁定细胞身份的关键蛋白复合物的侵蚀。部分重编程和热量限制等干预措施可能会减缓或逆转这一过程，但人类的安全性和有效性仍未得到证实。
阅读全文 →9289 分尚无解读
With most information hidden, the game Stratego had stumped AI until now (arstechnica.com)
10350 分
ChatGPT Sites：通过对话构建并托管小型应用
ChatGPT Sites 是一个公开测试功能，允许 ChatGPT 用户用自然语言描述网站或应用创意，在应用内浏览器中生成可运行的原型，并以受控访问权限发布。该功能根据 ChatGPT 订阅计划分层，目前不包括欧洲经济区（EEA）、瑞士和英国。
阅读全文 →
12578 分
了解 Linux 内核的 CVE 分配流程以及为何漏洞编号看似众多
Linux 内核团队通过过于谨慎的流程为安全修复分配 CVE 编号，导致许多漏洞标识符被生成，但由于内核的多样化使用模式，并非所有编号都适用于每个 Linux 系统。
阅读全文 →
13232 分
与 GLM 5.3 Flash 一月编程：Wagtail 的 9 月模型实验
Wagtail CMS 团队尝试在整个 2026 年 9 月仅使用 GLM 5.3 Flash（一种高效的开放模型层）进行编程。实验最终仅实现了 50% 的目标模型 Token 使用率，其中 10 亿个 Token 被用于其他模型，揭示了基础设施的限制和模型选择的经验教训，同时也证实了 GLM 5.3 Flash 在开发任务中的强大能力。
阅读全文 →
14250 分
Muse Gadgets：用于定制 AI 代理的开源硬件平台
Muse Gadgets 提供开源软件开发工具包（SDK）和项目指南，用于构建连接到 Muse AI 代理的自定义硬件扩展，使用户能够创建从墨水屏显示到家庭自动化控制器的个性化设备。
阅读全文 →
15312 分
苹果宣布将为 macOS 的完全磁盘访问引入更严格的控制
苹果计划为 macOS 的完全磁盘访问引入额外的防护措施，要求用户给出更明确的许可，以防止应用在未明确同意的情况下访问敏感数据。
阅读全文 →
18415 分
DeepSeek Harness 推出开源 Agent 平台，具备可扩展插件架构
DeepSeek 发布了 DeepSeek Harness，这是一款基于 Cordis「一切皆插件」架构的开源 Agent 框架，用户可通过官方、社区或自定义插件扩展其能力，涵盖日常办公、编码和研究等任务。
阅读全文 →
19227 分
AI 辅助研究揭示了一则记载毛里求斯捕杀渡渡鸟的1615荷兰航海日志
历史学家 Benjamin Breen 报告称，Anthropic 的 Opus 5.5 language model 通过对 GLOBALISE 档案的 semantic search，发现了一则此前被忽视的1615年荷兰东印度公司船舶日志，其中提到在 Mauritius 捕杀 渡渡鸟。同一搜索还发现了对已灭绝 红秧鸡 的可能新引用，纠正了1890年的误译。Breen 将这些发现描述为可发表但意义 modest，并用它们来说明 frontier AI models 作为历史研究工具既有前景也有认识论上的局限。
阅读全文 →
20309 分
Shimano 自行车博物馆：品牌让位于机器
对日本堺市 Shimano 自行车博物馆的评测：这是一个宽敞且可动手体验的自行车演变庆典，它将机器置于首位，而将公司自身的企业历史置于背景中。该报道基于单篇第一手参观报告，并留下了一些未解决的问题，包括当前的入场价格以及 Shimano 如何进入欧洲赛车领域的疑问。
阅读全文 →
21256 分
新加坡政府运营的约会服务采用诺贝尔算法，但其有效性仍存在疑问
新加坡 GovTech 机构推出了 FirstDate，这是一个面向政府雇员的试点约会服务，采用了盖尔-沙普莱稳定婚姻算法。参与者通过 Singpass 验证身份，并填写详细问卷以在每个周期获得一位潜在匹配对象。虽然该算法能保证稳定匹配——即没有任何一对双方都更倾向于彼此而非现任伴侣——但评论者指出，该算法最初是为参与者承诺接受匹配结果的情景设计的，可能无法解决存在外部选项且表达的偏好预测浪漫兼容性较差的约会挑战。
阅读全文 →
23214 分
Turbo Haskell：基于 JVM 的 GHC Core JIT 和 AOT 编译器
爱德华·克梅特（Edward Kmett）的 Turbo Haskell（THC）使用 Truffle 和 GraalVM 将 GHC Core 编译为在 JVM 上运行，提供即时（JIT）和提前（AOT）编译，同时保留 GHC 的前端。该系统支持多语言外部函数接口、SIMD 向量化以及先进的尾调用优化，旨在将 Haskell 性能带入 JVM 生态系统。
阅读全文 →
24168 分
数学家哀叹AI的进步：否认、愤怒、讨价还价、抑郁以及对透明度的呼吁
凯文·巴扎德的博客文章描述了数学界对AI解决难题能力的反应，将这些反应映射到库伯-罗斯五阶段悲伤理论，对比了数学是关于人类理解还是定理计数的观点，并呼吁AI实验室公开其结果以供社区审查。
阅读全文 →
xenaproject.wordpress.com
26129 分
Lean证明的解剖：通过有限自动机验证正则语言识别
本文解释了如何将理论计算机科学中证明某种语言为正则的证明形式化到Lean定理证明器中。文中详细描述了构建一个有限自动机以跟踪二进制加法中的进位，以及如何使用Lean和Mathlib将其编码，以验证语言识别与程序验证之间的联系。
阅读全文 →
2795 分
基于 Org-mode 和 Emacs 的类型安全博客流水线
作者描述了一种个人博客系统，该系统将所有写作和开发工作流保持在 Emacs 内部，使用 Org-mode 作为源格式，Pandoc 进行转换，Blogatto 生成 HTML，Gleam 和 Lustre 实现类型安全的静态站点生成，Nix 提供可重现的构建。该方法利用 Org-mode 的文学编程能力，优先考虑一致性并避免上下文切换。
阅读全文 →
28153 分
像Jev这样的决策模型在AI防护基准测试中延迟高于LLM-as-a-judge和传统分类器
基准测试显示，像Jev这样的决策模型相比传统文本分类器和LLM-as-a-judge替代方案具有显著更高的延迟，削弱了其在AI安全防护中速度和成本效益优势的主张。
阅读全文 →2990 分尚无解读
The first packet sent via RFC1149 avian carrier is up for auction at Christie's (christies.com)
30152 分
Audionaut：具备 AI 代理集成的开源多轨道音频编辑器
Audionaut 是一款免费、开源的桌面应用，用于音频编辑和录制，可在 Windows、macOS 和 Linux 上运行，并允许类似 Claude 的 AI 代理通过 Model Context Protocol 编辑会话，更改以撤销步骤的形式出现在 GUI 中。
阅读全文 →