双子座4号氩
Gemini 4 Argon
发布时间: 2026-10-13
链接: https://deepmind.google/models/gemini/
描述:
Gemini 4 Argon 是 Google 推出的新一代前沿模型，面向科学、数学、机器人、网络安全和软件工程等复杂任务。它可自主将视频转化为物理精确的仿真、完成大规模代码重构与迁移，并在 CWE-Bench 漏洞修复上取得 68% 的成绩。
评论要点:
用户抱怨谷歌的Gemini使用体验远不如Claude和ChatGPT，认为本应像访问普通网址一样简单，却被人为复杂化，并质疑产品命名混乱，比如“Anti Gravity”这种糟糕名字为何不直接叫“Gemini Desktop”。分歧在于：有人主张通过对比新旧模型表现来验证谷歌是否故意削弱旧模型，而另一方则质疑这种测试根本无法证明该指控。
Rust借用检查器中发现11年未解决的缺陷
11 year old unsoundness bugs found in Rust borrow checker
发布时间: 2026-10-13
链接: https://github.com/rust-lang/rust/issues/164250
描述:
Rust 仓库 issue #164250 报告了一个存在约 11 年的借用检查器健全性缺陷：结构体的生命周期约束可通过协变字段赋值被绕过。示例中，带 'static 约束的泛型结构体在 Drop 实现里把非 'static 引用当作 'static 使用，程序可编译并输出已释放的内存，配合 AddressSanitizer 会报 stack-use-after-scope。该问题在 nightly 及至少回溯到 1.85.0 的稳定版上存在，被标记为 P-high，需借助恶意 Drop 实现才能触发。
评论要点:
有人调侃“Rust 能修好这个漏洞吗”的说法，认为再多的审查也无法解决所有问题，自己用多种测试手段构建语言，最终仍难免遇到 bug。另一些人则不满于讨论类型系统正确性时不断转移目标、走向极端假设，指出若以此类推，编译器、类型系统、定理证明器乃至数学本身都可能出错；但相比之下，测试同样并非无懈可击，却常被当作替代方案。分歧在于：一方强调任何方法都无法保证绝对正确，另一方则认为不应因此否定类型系统，因为测试也远非完备可靠。
苹果家庭视图
Apple HomeView
发布时间: 2026-10-13
链接: https://www.apple.com/apple-homeview/
描述:
Apple HomeView 是一款集智能家居控制、娱乐与通讯于一体的家庭中枢设备，将于11月13日起开放预购。它内置由 Apple Intelligence 驱动的 Siri AI，可识别最多六位用户并提供个性化体验，同时配备7英寸 Liquid Retina 显示屏和空间音频扬声器系统。该设备支持 FaceTime、Intercom、Home 应用及多房间音频，并通过 A18 芯片中的 Secure Exclaves 等机制保护用户隐私。
评论要点:
有人怀疑这是愚人节玩笑，并明确表示讨厌HomeKit和屏幕，但自己却拥有4个HomePod。尽管如此，认为300美元的价格作为圣诞礼物很合适，不贵、不显刻意、也实用。另一人则松了口气。
Firefox 企业版
Firefox Enterprise
发布时间: 2026-10-13
链接: https://www.firefox.com/en-US/enterprise/
描述:
Firefox Enterprise 面向受监管和安全敏感型组织，提供部署在自有基础设施上的本地化浏览器治理。它支持集中策略控制、外部连接管控、原生 DLP、AI 工具管控、SIEM 集成、锁定模式和扩展治理，并包含专业支持。该产品强调数据主权、基于身份的内部应用访问以及由 Mozilla 独立引擎带来的浏览器多样性和抗风险能力，同时计划推出 Thunderbird Enterprise。
评论要点:
选择浏览器往往夹杂着个人经历和身份认同，有人因家族移民背景而自嘲式地认同Firefox的“局外人”立场。也有人提醒，任何浏览器都可能反过来限制用户，这种风险不分产品。关于Edge的讨论则存在分歧：有观点认为在企业合规与许可功能上，Edge配合相关套件已能覆盖Firefox企业版所宣传的能力，因此不理解为何被忽略。
重新设计Anthropic的源代码控制
Redesigning source control at Anthropic
发布时间: 2026-10-13
链接: https://www.anthropic.com/engineering/redesigning-source-control
描述:
Anthropic 因每日合并代码量从约2500次增至超过3万次，将源码控制视为开发瓶颈，于是自研了内部版本控制系统 Scion，并在五个月内完成单体仓库从 git 的迁移。Scion 基于客户端始终在线、客户端-服务器不对称、全面 API 化、水平可扩展、提交廉价且无锁、工作副本可选且稀疏等原则设计，采用 changeset 和派生数据结构，通过分层缓存架构实现高命中率。其基础设施在 CPU 和内存占用上比原有 git 镜像方案小200倍，CI 和研究任务的代码检出速度提升两个数量级，CI 单独节省25%的 CPU 容量。团队七人同时构建了 Scion 和代码审查工具 Antique 等系统，并总结了小团队快速开发、工程师角色转变、优化与质量提升、单体仓库安全及运维方式等经验。
评论要点:
有人认为，这本身并不意味着需要无限代码，甚至可能恰恰相反。另有人指出，虽然听起来简单，但要让Git在实践中顺利处理这类情况存在大量后勤问题，例如仓库维护时的重新打包等。还有人调侃自己的个人版本控制方式与此非常相似且已使用七年多，借此讽刺大公司工程师未必更高明。
CFTC工作人员被要求撤回对可疑石油交易的分析
CFTC Staff Were Told to Retract Analysis of Suspicious Oil Trades
发布时间: 2026-10-13
描述:
无法获取文章内容：该外链无法访问或没有可用正文。
评论要点:
评论认为政治涵盖法律、道德与伦理，因此企业霸权与堕胎立场都属政治问题，并批评民主党初选机制不公、选民决策受情绪主导。分歧在于：一方强调候选人立场与政策实质，另一方则认为选举结果更多由党派操作和选民情绪决定。
我们将EmbeddingGemma 2改造成了语音转文本模型
We turned EmbeddingGemma 2 into a speech-to-text model
发布时间: 2026-10-13
描述:
该项目将多模态嵌入模型 EmbeddingGemma 2 改造成语音转文字模型：保留其音频编码器，仅训练一个小型读取器把音频片段映射到文本空间，再从约22.9万个英文词中取最近者生成转写，另用一个小模型补充标点和大写。读取器在8×H100上训练不到两小时，使用开放许可的英语语音数据，基础模型本身从未针对语音转文字训练。在基础款M3 MacBook Air（8GB）上，处理一小时音频约需12.6秒，完全在设备端运行，音频不会离开本机。当前词错误率约5%，而领先语音模型为2%至3%。
评论要点:
传统分类器在决策模型上表现不错，但小样本场景需要上下文学习能力，通常靠嫁接小型语言模型实现。与其如此，不如直接用带音频能力的小型语言模型（如Gemma E2B），训练LoRA适配器也很简单。有人已在EmbeddingGemma上尝试决策模型，但其上下文学习效果尚存疑问。
OpenAI工程师因在行政会议室安装窃听器被捕
OpenAI engineer arrested in bugging of executive conference room
发布时间: 2026-10-13
联邦检方指控OpenAI工程师Abdulrahman Alfozan在旧金山总部一间高管会议室秘密安装录音设备。他涉嫌将录音设备藏在卫生纸中并插入电视后方的USB接口，该会议室用于涉及专有研究、产品开发、商业策略和政府事务的机密讨论。调查还发现与其账户关联的聊天机器人账号曾询问如何制作隐蔽录音器、远程访问和加密录音，安全人员随后又在他无人看管的包中发现第二台类似设备。
评论要点:
有人调侃这家公司把“吃自家狗粮”式招聘玩过了头，竟招了沉迷于吃狗粮的人。另有人指出，此人正是其AI代理平台的首席工程师。还有人讽刺说，这套系统只捕捉到一阵低沉的轰鸣、金属摩擦声和一句“我的天……”。
iOS 版 Thunderbird
Thunderbird for iOS
发布时间: 2026-10-13
描述:
Thunderbird 团队正在从零开始原生构建 iOS 版应用，而非复用现有代码，目标是实现快速、可靠且跨设备统一的体验。目前开发聚焦于核心基础，包括支持 Google、Microsoft 等服务的自动登录流程、兼顾电池续航的后台同步、简洁的收件箱布局与现代化编辑器，并采用清晰架构和实验性功能开关便于社区贡献。首个版本计划在未来几个月内开放社区测试。
评论要点:
有人质疑这类服务本质上重复了邮件和IMAP已有的功能，不理解为何还要额外注册，同时对托管成本和“永久免费”的承诺存疑，认为人们似乎忘了邮件本身是什么。另一些人则澄清，之前遇到的限制可能来自ProtonMail，而非该服务本身；并指出该服务在网页和安卓端都支持通配符/全收地址，撰写或回复时可自定义发件人，功能上并不逊色。
新款Apple TV 4K
New Apple TV 4K
发布时间: 2026-10-13
链接: https://www.apple.com/newsroom/2026/10/apple-unveils-the-new-apple-tv-4k/
描述:
苹果发布新一代 Apple TV 4K，搭载由 Apple Intelligence 驱动的全新 Siri AI，提供全屏对话式搜索与发现体验，并借助三个远场麦克风实现免手动语音控制。新品采用 A19 芯片，CPU 性能提升最高 50%、GPU 性能提升最高 2 倍，并新增专用 AV1 解码器；配合 HomePod mini 2 或 HomePod（第二代）可首次组建四扬声器环绕声系统。新款 Siri Remote 保留原有设计并加入查找支持与精准定位。该产品即日起接受预订，11 月 13 日起发售，售价 299 美元。
评论要点:
有观点认为，苹果可能推出性能更强的电视盒子来推动游戏，并已收购《狡猾的大脚怪》开发商，游戏能在手机、电视盒和电脑间本地切换，比串流更有优势。另一观点则提到用VLC应用通过局域网传文件，方便安卓手机投屏，但表示自己并不太需要更大存储。
我发帖到HN后，网站被AI机器人流量淹没
I posted to HN, and then my website was flooded with AI bot traffic
发布时间: 2026-10-13
链接: https://www.sammystraus.com/#i-posted-to-hn-and-then-my-website-was-flooded-with-ai-bot-traffic
描述:
作者将自制的可定制新闻阅读器 sprinklz.io 发布到 Hacker News 后获得约百次点赞，但网站随后变得异常缓慢，且帖子发布数日后情况持续恶化。检查日志发现，大部分请求甚至没有执行渲染页面所需的 JavaScript，近一半流量来自一个自称监听网站变化并生成 AI 简报的服务，此外还有 Claude、OpenAI、Google 等已知爬虫和漏洞扫描器。作者封禁了滥用者、添加 robots.txt 和限流，并着手改进基础设施以提升性能。
评论要点:
有人用基础认证挡住除首页外的所有内容，把凭据放在首页，以此阻止机器人反复抓取资源，但这也意味着放弃了真实访客。有人认同这种做法，却感觉剩下的提交内容质量有所下降。另有人只针对个别激进爬虫做屏蔽和限流，更希望把智能体流量转化为付费API的潜在客户，而不是一概封禁。
基于闲置苹果芯片设备的动态分布式虚拟GPU云
A Dynamic and Distributed Virtual GPU Cloud Built on Idle Apple Silicon Devices
发布时间: 2026-10-13
链接: https://machinelearning.apple.com/research/distributed-gpu-cloud
描述:
苹果研究团队提出 Minions，一个动态分布式虚拟 GPU 云，将多台 macOS 设备上闲置的 Apple Silicon GPU 聚合起来，用于执行大规模机器学习推理任务。该系统旨在应对集中式 GPU 基础设施成本高、弹性有限和等待时间长的问题，让团队无需额外采购 GPU 即可利用现有硬件。Minions 支持灵活的 GPU 推理任务执行、容错和高效资源利用，经验表明闲置 macOS 设备可成为集中式 GPU 资源受限环境下的实用分布式推理平台。
评论要点:
有人认为苹果GPU根本不存在租赁市场，全球都没有数据中心愿意提供MLX或MPS推理服务，即便显存短缺时也无人问津。另一些人则指出，苹果其实有充分动机像微软一样加入Linux基金会，至少是为了容器支持。还有人提到有技术方案可以拦截CUDA API调用，把GPU远程分配给没有GPU的虚拟机，实现一块GPU服务多个实例。
Show HN：Guitoro，用键盘弹奏的虚拟吉他
Show HN: Guitoro, a virtual guitar you strum with your keyboard
发布时间: 2026-10-13
描述:
Guitoro 是一款可在浏览器中免费使用的虚拟吉他，无需下载或注册。用户可用电脑键盘左手按和弦、右手拨弦，或在手机平板上用手指滑动琴弦，并可在钢弦原声、古典、电吉他和四弦贝斯间切换。它提供真实乐器录音采样、15 个和弦、51 首歌曲、伴奏乐队、录音及和弦与扫弦教学，支持将歌曲放慢至 20% 观看每根弦和拨片动作。
评论要点:
作者感谢反馈并提供了样本来源链接，同时建议用户分享常用的自定义调弦，以便了解需求。对于反馈的问题，作者认为可能是浏览器特定的错误，并询问用户使用的设备和操作系统。
英国人均发电量低于20世纪70年代
The United Kingdom generates less electricity per person than in the 1970s
发布时间: 2026-10-13
描述:
英国的人均发电量在2003年达到峰值后已下降超过三分之一，目前水平回到20世纪60年代末。部分下降源于电力进口增加，净进口占电力需求的比例从2010年的1%升至2025年的9%。去工业化是常见解释，但国际能源署数据显示，2005年以来工业用电下降四分之一，住宅和商业用电降幅相当，能效提升（如LED灯泡和电器能效标准）也发挥了重要作用。
评论要点:
有观点主张采用更细粒度的分时电价（如每小时或每15分钟），并让用户看到实时市场价格，以便主动将烘干衣物或给车充电安排在更便宜的时段。分歧在于，一方认为英国早在70年代末就通过Economy 7推行夜间低价电，说明这类机制并不新鲜；另一方则质疑英国是否在推广电动车，并以绿色车牌日益常见和三分之一新车为纯电的数据反驳。此外，有人指出分时电价通常从傍晚较晚就开始降价，不必非等到半夜，睡前或午后时段同样可利用。
Gemini 4 Argon 机器人版
Gemini 4 Argon for Robotics
发布时间: 2026-10-13
链接: https://developers.googleblog.com/gemini-4-argon-for-robotics/
描述:
Gemini 4 Argon 是面向机器人领域的通用物理推理模型，在 Embodied Reasoning（ERQA）基准上以纯推理取得 87% 的成绩。它可覆盖机器人全生命周期，文中给出多个代表性提示示例：控制 Boston Dynamics Spot 踩踏板垃圾桶丢弃易拉罐、用机械臂扶正杯子并放入纸团、在 Gemini Omni 世界模型中闭环操控拼出 ARGON、从真实遥操作数据构建 MuJoCo 数字孪生、将自我中心人类视频重定向到 76 自由度人形机器人等。此外还涉及从手绘草图生成人形投掷仿真、对 ALOHA 2 折纸视频做多层级标注、搭建 12 球天平谜题环境、生成价值函数、用仿真数据提升 VLA 模型成功率（56% 至 75%），以及复现机器人控制论文等工作。
评论要点:
晶体管长期翻倍增长只是物理学上的特例，其他技术难以复制，如今已缺乏类似粒子支撑下一次飞跃；信息论定理比物理定律更根本，大语言模型的知识压缩也接近极限。有人询问是否在SO101上尝试过。另有评论批评视频未清楚标注AI生成，让人误以为是真实原型，并认为展示原型比虚构视频更有价值，尤其网站还标价，容易让访客误以为业务已在运营。
苹果新推出的“改用Safari”活动详述了为何你应该抛弃Chrome
Apple's new 'Switch to Safari' campaign details why you should ditch Chrome
发布时间: 2026-10-13
描述:
苹果推出“Switch to Safari”宣传活动，通过新网页和两段YouTube视频宣传Safari相较Chrome的优势。网页称Safari在Mac上视频流播放时间最多多出5小时、加载常访问网站速度最多快35%，并强调更强的隐私保护和干扰控制功能。视频分别展示Safari的干扰控制和智能防跟踪功能，网页还提供Safari与Chrome的对比图表及阅读器模式、通知、配置文件和Apple Pay等功能介绍。
评论要点:
有人认为Chrome才是“新IE”，因为IE的问题在于专属插件和与Windows深度绑定，而Safari并不具备这些特征；另一些人则坚持Safari才是“新IE”，理由是开发者被迫适配Safari，而苹果只允许通过购买其硬件测试，形成类似IE6的垄断地位。分歧在于：一方从技术特征判断，另一方从开发者被迫适配和平台封闭性判断。也有用户表示偏好Safari，更信任苹果的数据处理，并愿意容忍其小问题。
使用你的OpenAI订阅创建有声书
Show HN: Use your OpenAI subscription to create audiobooks
发布时间: 2026-10-13
链接: https://pdftomp3.com/connect-ai/
描述:
PDF TO MP3 提供一项服务，让用户通过 MCP 连接已有的 AI 订阅（如 Codex、Claude）来处理文档，语音生成则由 Google 或 OpenAI 按用量计费。用户需在 AI 中配置 MCP 服务器地址并完成账户认证，再填入用于支付语音费用的 API 密钥。之后在 AI 对话中附加 PDF 并请求将其转为有声书即可。
评论要点:
有人因不愿未来被机器人互动取代而发声，却在平台上遭到点踩，这让他觉得该离开了。另有人借机推荐自己用MLX和Kokoro做的阅读应用PageHum，可用来读中短篇文章。还有人简短回应，希望他别走。
网络攻击导致丹麦与德国之间的隧道建设暂停
Cyberattack halts construction of tunnel between Denmark and Germany
发布时间: 2026-10-13
描述:
连接丹麦与德国的费马恩海峡公路铁路隧道工程因网络攻击停工。攻击导致工人身份识别卡失效，海上作业船舶、起重机和平台无法运转，施工完全停止。承建该项目的国际FLC联合体约有2800名员工。投资方Sund & Baelt表示正与承包商商讨，攻击来源及恢复时间尚未确定。丹麦数字安全委员会负责人未排除此事与混合战争有关。
评论要点:
物理隔离并非绝对安全，管理员的一次失误就可能让防护归零，只是概率更小。小型USB电源无法带动家庭用电。即便有太阳能板，停电时也会因防倒送设计而自动关闭，除非完全离网才能继续供电。
Character.ai申请破产
Character.ai Files for Bankruptcy
发布时间: 2026-10-13
链接: https://www.theverge.com/ai-artificial-intelligence/1009802/character-ai-files-for-bankruptcy-disney
描述:
Character.AI 已在美国申请第11章破产保护，以推动公司及其资产的出售。该公司在破产申请中列出负债约在5000万至1亿美元之间，并计划将部分资产出售给迪士尼，后者作为主要竞标方出价2000万美元收购部分未披露资产。迪士尼近期还聘用了Character.AI前CEO Karandeep Anand担任首席技术官，并预计将有多名技术团队成员加入。Character.AI表示预计出售流程将在11月底或12月初完成，期间将继续运营包括付费订阅在内的服务，但若没有合适竞标，平台将被关停。
评论要点:
有评论以军队同样不盈利却带动私营部门为例，认为不能仅凭盈利与否判断一个行业或平台的价值。另一条评论则把话题转向推特，认为其机器人账号泛滥且政治倾向与所有者一致，并质疑这些账号可能来自俄罗斯或由马斯克本人操控，分歧在于对平台问题的归因和幕后主体的判断。
如何为游戏开发设计AI框架
How to engineer an AI harness for game development
发布时间: 2026-10-13
链接: https://kylekukshtel.com/ai-harness-engineering-game-development-claude-code
描述:
作者基于自己在游戏开发中使用大语言模型的经验，提出让游戏对AI智能体更可读的工程方法。核心思路是解决上下文污染问题，通过固定随机种子、可截图与图像差异对比、确定性状态保存加载，以及将所有游戏对象统一为单一Thing类型的架构，使AI能精确复现和验证游戏状态。
评论要点:
用大模型写同一个游戏，有人觉得结果会大相径庭，也有人认为其实会相当接近。关于前沿模型改功能就出问题，有人提出用Rust和Bevy的编译期保证来缓解。最后一条评论则调侃，直到AI出现，人们才开始真正重视可调试性、迭代速度和可靠性这些好的软件工程实践。
复数可视化入门
A Visual Intro to Complex Numbers
发布时间: 2026-10-13
链接: https://photonlines.substack.com/p/a-visual-intro-to-complex-numbers
描述:
文章从求解一个无实数解的方程组出发，引出对负数开平方的问题，并回顾了1545年卡尔达诺在《大衍术》中处理此类量的历史，以及笛卡尔将其贬称为“虚数”的由来。随后介绍欧拉引入符号 i，以及阿尔冈和韦塞尔提出的几何解释：复数对应平面上的点，乘以 i 相当于逆时针旋转90度。文章还借助单位圆说明正弦与余弦如何描述旋转，进而导出复数乘法的模长相乘、幅角相加，并给出棣莫弗公式及复数求根中根的均匀分布。
评论要点:
一方认为，反复纠缠一位教授十二年前用的类比毫无意义，对方的论点根本站不住脚，应该停止争论。另一方则指出，数学当然需要直觉，这与严谨并不矛盾，只是有些物理学博士确实不太在意深入理解数学工具，这取决于具体研究方向。
加密货币窃贼出售带有秘密eSIM的硬件钱包
Crypto thieves sell hardware wallets with secret eSIM
发布时间: 2026-10-13
链接: https://www.heise.de/en/news/Crypto-thieves-sell-hardware-wallets-with-secret-eSIM-11485188.html
描述:
攻击者通过在正品Ledger Nano X硬件钱包中植入额外芯片，截取安全元件向屏幕传输的助记词字符，并加装LTE模块、eSIM和天线，将助记词经移动网络回传，从而窃取加密资产。区块链观察者已识别出300多个受影响钱包，合计约9300万美元被盗。Ledger已向一名受损客户承认钱包被篡改，并禁止经销商Cryptobilis继续销售，建议近三个月从其购买钱包的用户停用并转移资产。被篡改设备至少已发展到第三代，采用专业量产方式，外观几乎与未篡改设备无异。
评论要点:
评论者认为，完全伪造的硬件副本无法通过验证，因此原先的设想不成立；现实中中间人供应链攻击之所以得逞，是因为它保留了原装安全硬件，只在显示接口处截取机密数据。另有评论者指出，文章标注的“技术协助翻译”措辞含糊，实际上可能涵盖了全部翻译工作。
AWS Lambda Web 函数
AWS Lambda Web Functions
发布时间: 2026-10-13
AWS 宣布推出 Lambda Web Functions，这是一种新的无服务器计算原语，代码可直接监听端口处理 HTTP 请求，无需适配器或自定义配置即可使用 Express、Hono 等框架。它支持多并发、原生 HTTP 流式传输和基于延迟的多区域路由，按活跃 CPU 时间和实际使用内存计费，等待下游服务的空闲 CPU 时间不计费。该功能目前支持 Node.js 运行时，已在美东（弗吉尼亚北部、俄亥俄）、美西（俄勒冈）、亚太（东京）和欧洲（爱尔兰）区域推出，同时现有 Lambda 函数更名为 Lambda Event Functions，仅为命名变更。
评论要点:
有人指出博客链接返回404错误，并对此表示认同。另有人澄清，Lambda Web Functions 只是在单个环境中支持多并发，而传统 Lambda 事件模型是每个请求一个环境；Lambda 本身仍可扩展到大量环境，并提供了 AWS 官方博客链接供进一步了解。
软件工程师一直都是蓝领工人吗？
Were software engineers blue-collar workers all along?
发布时间: 2026-10-13
链接: https://ptrbrynt.com/posts/were-we-blue-collar-workers-all-along
描述:
文章讨论软件工程师是否一直被误认为白领，而实际上更像蓝领技术工种。作者认为软件开发者与电工、木匠一样，靠多年实践打磨手艺，只是处理的是比特而非原子。这种错误归类可能加剧了当前AI带来的身份危机，因为蓝领技工通常更能适应技术变革。作者还指出，软件开发者长达三十年的“蜜月期”已经结束，需要学会用新工具完成过去手工完成的工作。
评论要点:
有人主张阶级意识必然导向令人不安的结论，不存在温和的中间道路；也有人认为暴力是对盗窃的回应，甚至称其“罪有应得”。另有讨论质疑科技从业者能否被称为“工程师”，并追问微软若在1970年代允许员工自封工程师，其动机何在。
洗碗机基准——前沿模型能装好洗碗机吗？
DishwasherBench – Can Frontier Models Stack a Dishwasher?
发布时间: 2026-10-13
链接: https://github.com/composo-ai/DishwasherBench
描述:
DishwasherBench 是一个基于真实洗碗机物理模拟的装碗游戏基准，内置游戏名为 Spotless，用于评测语言模型，也可在浏览器中供人游玩。玩家在 Bosch SMV4HAX40G 的 3D 模型上以刚体物理装载餐具，随后模拟 Eco 50 程序的洗涤过程，按洗净的餐具计分。项目包含七个难度递增的关卡、脚本玩家与模型运行工具，以及 48 项装载现象检查，但模型不响应盘子与餐具的堆叠方式，干燥、水渍等也不在模拟范围内。
评论要点:
有人主张大件锅具手洗更省空间，还能让洗碗机运行更高效，甚至享受手洗过程。也有人回忆父亲反复指导手洗技巧令人烦躁，而自家青少年完全不会正确装洗碗机，只能等其睡后重新整理，并提醒自己将来会怀念这种糟糕的装法。分歧在于：洗碗机能否被“错误”使用，以及手洗与机洗的分工和技巧要求。
OpenAI在其办公室内发现录音设备
OpenAI finds recording device in one of their offices
发布时间: 2026-10-13
链接: https://twitter.com/OpenAINewsroom/status/2110095403198849132
OpenAI 在其中一个办公室内发现了一台复杂的录音设备，并利用其模型分析设备来源，确认是一名员工在数日前放置的。公司已将此事移交 FBI，相关人员已被逮捕，调查仍在进行。OpenAI 表示目前没有迹象显示该员工不当访问或窃取模型权重、源代码或客户数据，该员工已被解雇。
评论要点:
讨论涉及一起OpenAI工程师涉嫌在会议室安装窃听装置被捕的事件，评论者提供了相关报道链接。有人指出，如果真有公司需要采取出人意料的安全措施，那应该是前沿实验室。讨论已转移到另一篇文章的评论区继续。
比地球更宜居的星球？
Worlds more habitable than Earth?
发布时间: 2026-10-13
链接: https://www.nytimes.com/2026/10/13/science/inhabitable-planets-solar-system.html
描述:
无法获取文章内容：该外链无法访问或没有可用正文。
评论要点:
发现系外行星并不意外，真正的问题是人类根本到不了那里，当下更该操心的是我们这个自相残杀的物种能否再撑一千年。有人进一步指出，即便造出世代飞船，它也只是个随时因补给短缺或网络中断而爆炸的火药桶，人性注定会让一切出错。
请不要使用uv-build
A plea not to use uv-build
发布时间: 2026-10-13
链接: https://blogs.gentoo.org/mgorny/2026/10/12/a-plea-not-to-use-uv-build/
描述:
Gentoo 开发者请求不要将 uv-build 用作构建后端。uv-build 体积大且用 Rust 编写，其 wheel 约 1.2 至 1.5 MiB，而纯 Python 后端如 flit-core 仅 45 KiB，且发布频繁，导致 Gentoo 用户需反复从源码构建。更大的问题是可移植性：Rust 支持平台有限，uv 依赖的多个包存在平台缺失问题，32 位平台还需额外补丁才能构建。作者认为使用 uv-build 的两个理由（与 uv 保持一致、性能）都不成立，因为 PEP 517 允许任意后端搭配任意前端，且性能差异仅约 100 毫秒，还会被下载大 wheel 的时间抵消。
评论要点:
有人认为从源码构建并非毫无价值，只是C代码的源码构建显得小众，而Cargo或Go模块的构建同样属于源码构建却被普遍接受。分歧在于Gentoo坚持一切从源码构建，但其Python构建系统实际使用了virtualenv，这与“完全不用预构建产物”的理念存在矛盾。另有人指出源码构建Firefox确实能带来可感知的启动速度提升，并强调不愿折腾的人完全可以选择普通发行版。
Show HN：你有多随机？
Show HN: How Random Are You?
发布时间: 2026-10-13
链接: https://lab.specr.net/rigged-draw/
描述:
这是一个测试人类随机性的互动网页。用户从1到9中连续说出数字，系统会同时运行十种预测器来猜测下一个数字，其中“注意到哪些数字已被冷落”的预测器贡献最大。前10个数字为热身，之后系统会结合一项418人各选200个数字的心理学研究数据，逐步调整并给出与206名研究参与者的对比结果。
评论要点:
有人通过快速随机点击、不刻意思考的方式，在50步时达到64%，但随后又降到53%。另一些人尝试类似方法却无效，系统在少数几次猜测后就以100%的准确率识破。分歧在于：这种“分心乱按”的策略是否真能干扰系统，还是只是偶然或短暂有效。
BB(10) > 格雷厄姆数
BB(10) > Graham's Number
发布时间: 2026-10-13
描述:
该文档介绍了一台名为 n1 的 10 状态图灵机，它从空白纸带停机，其精确得分已在 Coq 中机器验证。n1 在 BB(8) 记录机基础上改写 E0 转移并新增 I、J 两个状态，通过计数器和周期性的“停放—解包”循环，使得分达到快速增长层级 f_(ω+1) 级别。验证结果给出 f_(ω+1)((3T−13)/7−2) < ones < f_(ω+1)(6T)，并证明 ones 大于格雷厄姆数，从而击败此前 BB(10) 冠军的 f_ω(f_ω(25)) 下界。
评论要点:
讨论涉及图灵机停机问题的直觉理解：一方认为机器的完整状态（包括纸带、指针位置等）才是判断依据，并质疑“任何图灵机要么停机要么不停机”这一前提是否真的显然。分歧在于，停机与否是否对每个具体机器都必然有确定答案，还是这种二分法本身需要更严格的论证。