一台新的 10 状态图灵机 n1，从空白纸带停机，并具有经 Coq 验证的精确得分。它由 8 状态 BB(8) 纪录构建，将其停机转移重定向到两个新状态。其第一阶段计算 T = 2↑^37 3；此后，T 驱动约 0.43T 个周期的倒计时
每日HackerNews RSS
一个 Hacker News 讨论串讨论了一项 GitHub 声明：BB(10)，即 10 状态忙碌海狸值，超过格雷厄姆数。评论者指出 BB(5) = 47,176,870，因此结果是 BB(10) > G > BB(5)。由于忙碌海狸的增长快于任何可计算函数，BB 最终会超过任何固定的可计算数，比如格雷厄姆数；值得注意的是只需 10 个状态就足够，这一点并不显然。讨论涵盖可计算性：BB(n) 是一个具体整数，但 BB 函数不可计算，并且对于大的 n，其值可能独立于 ZF（有人引用的大致上界为 BB(432) 或 335）。一些人批评该 README 过于简略且难以解析；另一些人说 LLM 可以解释它。关于这个具体上界是有趣还是只是娱乐性的，争论仍在继续，尽管许多人觉得其规模和含义令人难以置信。
正在检查您的浏览器……需要启用 JavaScript
摘要：Hacker News 讨论帖回应《一本永远不会被读的书》，以一项造假的驱魔/灵魂研究为跳板，讨论 AI 对学术界的影响。评论者大多同意，AI 并未制造新问题；它加速了早已存在的病症：不发表就出局的激励、论文工厂、p 值操纵、引用操纵，以及由声望驱动的网络。由于论文数量和引用次数等指标容易被钻空子，古德哈特定律在此适用：学术界优化的是论文，而非发现。AI 使由此产生的垃圾产出更廉价，也更难与真正的工作区分开来。有人认为 AI 能帮助过滤无意义的空话，但也有人怀疑它不会被这样使用，因为核查报酬低，且成熟实验室、出版商和网络从现状中获益。可能的结果是更依赖信任网络和机构声望，主题多样性减少，而独立学者可能获得影响力。总体而言，该讨论帖持悲观态度：除非激励机制改变，否则 AI 会加剧学术界的信噪比问题。
Apple 宣布推出新一代 Apple TV 4K，搭载 Siri AI，这是由 Apple Intelligence 驱动的更具对话感的 Siri，并带来全屏体验。内置远场麦克风支持免手动“嘿 Siri”控制和内容发现。A19 芯片带来 CPU 最高提升 50%、GPU 性能提升 2 倍，并配备 AV1 解码器。它支持搭配 HomePod mini 2 或 HomePod（第二代）组成全新的四扬声器环绕声系统，并可作为更智能的家庭中枢，提供 Apple Intelligence 摄像头描述和通知。新款 Siri Remote 加入“查找”和精确查找。隐私功能包括 Secure Exclaves 和 Private Cloud Compute。即日起开始预售，11 月 13 日发售，美国售价 299 美元。Siri AI 在多个英语国家以 Beta 版推出。
Hacker News 的评论者大多对新款 Apple TV 4K 299 美元的定价感到不满，这比早先 129–199 美元的机型大幅上涨。许多人认为它在流媒体方面没有多少实质性提升，批评其主打 Siri/AI、遥控器毫无变化，并指出还有一款价格相近、带屏幕的 HomeView。有些人质疑谁需要更强的性能或更大的存储。尽管如此，支持者表示 Apple TV 仍是最尊重隐私的流媒体盒子，界面统一，应用比智能电视更好，使用寿命也长。少数人打算为了 AV1 解码、游戏或替换旧设备而购买。担忧包括 Siri AI 依赖另一台 Apple 设备、可能的使用限制或费用，以及仅支持 HomePod 音频。总体而言：忠实用户仍然看重它，但涨价让这一代很难卖出去。
本文追溯了复数如何从像 \(x+y=6,\ xy=36\) 这样的不可能方程中产生。卡尔达诺在解三次方程时遇到了 \(\sqrt{-15}\)，即使存在实数解时也是如此。笛卡尔将这些数贬为“虚数”，但欧拉引入了 \(i=\sqrt{-1}\)。阿尔冈、韦塞尔、哈密顿和高斯赋予它们代数和几何上的合法性，将其视为绘制在二维平面上的有序对 \(a+bi\)。乘以 \(i\) 是 90° 旋转；复数乘法将长度相乘、角度相加。棣莫弗定理将幂变为重复旋转，将根变为均匀分布的点。正弦和余弦描述旋转的坐标。复数远非人为虚构，它们模拟振荡和旋转，并在信号处理、傅里叶变换、控制系统、物理学、电磁学和量子力学中不可或缺。起初不可能的平方根，最终成为科学与工程的统一语言。
HN 讨论串讨论了《复数可视化入门》。评论者认为“虚数”和“复数”这些名称会误导学习者；“正交数”“旋转数”或“二维数”之类的替代叫法会更清楚。许多人把复数描述为成对数字、向量或矩阵，可用于旋转、缩放、相位、波、振荡和电学。一些评论者强调极坐标/指数形式和欧拉公式是关键直觉，并推荐 Needham 的《Visual Complex Analysis》、Welch Labs 和 3Blue1Brown。批评者称这篇文章由 LLM 辅助，并非真正可视化——它在给出图示前先用代数引入复数。作者回复说，大部分内容是他写的，但有些部分用了 AI。其他人分享了交互式工具和 Python 原生复数支持。总的来说：这是个有用的话题，但命名和教学框架引发了争论。
苹果家庭视图 Apple HomeView
17 小时前
麦克风和扬声器。四个波束成形麦克风可捕捉远近人声，非常适合隔着房间向 Siri 发出请求，也能让 FaceTime 通话清晰透彻并减少背景噪音。底座和显示屏中的强劲扬声器可呈现空间音频，带来丰富饱满、充盈房间的声音。
Hacker News 评论者对 Apple 的 HomeView 持怀疑态度，这是一款售价 299 美元的智能家居显示屏。许多人质疑其用途，指出手机、iPad 和 HomePod 已经覆盖了类似任务。批评集中在方形小屏幕、封闭的仅限 Apple 的应用、没有 App Store 或视频流媒体，以及依赖 Siri AI——这也使其无法在欧盟使用。一些人称其进入 Amazon 和 Google 已占据多年的市场太晚，并怀疑 Apple 对 HomeKit 的投入。少数人称赞其激进的定价，并认为它有潜力成为常亮的智能家居仪表盘、厨房食谱/家庭通讯设备，或 HomePod mini 加日历屏。评论者将其与 Skylight、Nest Hub 和 Pixel Tablet 底座相比较。越狱和 Home Assistant 爱好者感兴趣，但不确定是否允许第三方软件。讨论区意见分裂：一些人喜欢其设计和价格，但大多数人表示它缺乏令人信服的使用场景，并且 Apple 薄弱的 Siri 和糟糕的家居自动化历史削弱了其卖点。
随着 GPU 加速机器学习推理需求的不断增长，集中式 GPU 基础设施的局限性日益显现，包括成本高、弹性有限以及资源受限时等待时间长。与此同时，现代基于 Apple Silicon 的 macOS 设备配备了强大的 GPU，但在日常使用中大多处于闲置状态。本文提出 Minions，一种动态、分布式的虚拟 GPU 云，它聚合跨 macOS 设备的闲置 Apple Silicon GPU，以执行大规模机器学习推理工作负载。Minions 使团队能够利用现有硬件，而无需额外采购 GPU。该系统提供灵活的 GPU 推理任务执行、容错能力和高效的资源利用。我们的经验表明，在集中式 GPU 资源受限的环境中，闲置的 macOS 设备可以被转化为实用的分布式 GPU 推理平台。
Hacker News 读者讨论苹果的一篇论文，其中描述了“Minions”——一个内部分布式虚拟 GPU 云，把空闲的 Apple Silicon Mac 汇集起来用于机器学习推理。它采用任务级并行——将工作负载拆分为相互独立的作业——而不是让一个模型跨多块 GPU 运行。评论者指出，这个想法类似于 SETI@home、Folding@home、Condor、Incredibuild，以及早期的空闲周期回收型系统和渲染农场。许多人对新颖性持怀疑态度，并援引 Ollama/S3/DB 作业运行器架构、能源成本、机群异构性、长尾延迟和调度问题。另一些人则看到它对企业的实际价值：利用现有 Mac 在夜间进行低优先级批量推理，未来还可能实现分布式训练或消费者算力共享/积分。一些人就苹果的芯片与云战略、缺少可机架部署的服务器，以及 Mac GPU 的竞争力展开争论。总体而言：这是一个有用的内部系统，但并非技术上的突破；大部分兴趣在于未来联邦式/分布式机器学习的可能性，以及苹果更广泛的基础设施方向。
Character.ai 已申请自愿第11章破产保护，以寻求在法院监督下出售公司。在经历了一年重大的法律、监管和运营挑战后，董事会得出结论，这一程序为利益相关者实现价值最大化、并有可能保留该平台提供了最佳路径。
出售程序预计将于2026年11月底或12月初结束。若出现可行的买家，平台将继续运营；否则将被逐步关停。
对用户而言，平台仍全面运营。付费订阅保持有效，计费不变，用户数据继续受现有隐私政策保护。用户仍可通过应用程序或网站删除账户或导出数据。
公司强调，在整个程序期间，维持安全且富有吸引力的社区体验仍是首要任务。更多细节见公司新闻稿及其债权申报代理 Stretto, Inc. 管理的法院文件。
Character.ai 申请了自愿第11章破产保护，计划以约2000万美元出售部分资产；迪士尼正在竞标。此举发生在谷歌2024年以27亿美元招揽联合创始人 Noam Shazeer 和 Daniel De Freitas 并获得技术授权之后，留下一家空壳公司。Hacker News 评论者争论这是否是一种规避反垄断的手段——一种“反向人才收购”或“hi-quired”交易——以及留下来的员工/股东是否获得了补偿。一些人声称所有股权都已被买断；另一些人担心普通股东和留任员工所得甚少。讨论还涉及该公司的法律责任、儿童安全与自杀相关诉讼、破产中的用户数据隐私，以及尽管拥有数百万用户却不盈利的角色扮演业务。评论者批评 AI 初创公司的退出动态、风投伦理，以及迪士尼聘用 Character.ai 首席执行官和技术团队的决定。总体而言，许多人将这次破产视为谷歌人才与技术授权收购后混乱的余波，而非一次正常的初创公司失败。
```控制并保护浏览器中的数据和访问。防止敏感数据离开浏览器，为员工、承包商和自带设备（BYOD）用户提供基于身份的安全访问内部应用的能力——无需传统远程访问的基础设施。```
```
Mozilla 推出了 Firefox Enterprise，这是一个付费版本的浏览器，专为需要增强控制功能的企业组织打造。Hacker News 上的讨论呈现出不同的反应。评论者纷纷讨论在 Chrome 和 Edge 可用的情况下，企业是否愿意为此付费，有人指出 Island 等竞争对手已经在服务这个市场。隐私问题成为讨论的焦点——用户质疑它是否能像 Brave 那样无需插件即可屏蔽广告和跟踪器，还有人批评 Mozilla 将隐私功能置于付费墙后，认为普通版 Firefox 已然不再重视用户隐私。将"AI控制"列为一项企业功能引发了争论，不过多位评论者澄清，普通 Firefox 本就包含禁用 AI 的选项，而 Enterprise 仅仅是增加了策略层面的管理。一些人对 Mozilla 的方向感到失望，称其为一个收入充足却执行力差的组织推出的又一个不受欢迎的产品。也有人支持此举，认为它提供了 Google 交易之外的潜在收入来源，并服务于医院、政府和高安全环境等机构的正当需求。讨论还涉及 Mozilla 过去的一些争议，比如联盟代码注入，也有用户提到已转向 Waterfox 等替代浏览器。
```
```Character.AI，一家生成式AI聊天机器人初创公司，已申请第11章破产保护，并以2000万美元的价格将其资产出售给迪士尼。该公司以角色扮演机器人而闻名，但因聊天机器人安全问题而面临诉讼和审查，同时迪士尼本身也对该初创公司提出法律投诉，指控其未经授权使用其角色。 迪士尼最近聘请了Character.AI的前CEO Karandeep Anand担任首席技术官，并计划以类似人才收购的方式引入更多技术人员。这类似于谷歌在2024年的举措，当时谷歌花费超过20亿美元挖走了Character.AI的核心人才。 Character.AI预计将在11月底或12月初完成出售，并在此期间保持平台运营，但警告称，如果没有找到合适的买家，平台将被关闭。```
Hacker News 上一篇帖子链接到 The Verge 的报道，称 Character.ai 已申请破产。该提交被标记为重复，评论被重定向到更早的讨论串。评论者以讽刺回应，并辩论 AI 行业的健康状况：有人指出，创始人和约 30 名研究员在 2024 年以 27 亿美元退出，转投 Google，所以破产并非简单的失败。其他人说 AI 不会消失，但可能整合成垄断，而怀疑者认为 AI 是一种工具，炒作驱动的公司夸大了它。估值担忧集中在认知而非利润上，并与 Pets.com 和互联网泡沫相比较。一些人警告 OpenAI 和 Anthropic 也不盈利，因此这次破产可能吓到投资者。该讨论串包含笑话、一个存档链接，以及关于加密货币、军事资金和商业模式的附带争论。总体而言，HN 用户将 Character.ai 的破产视为 AI 炒作和泡沫担忧的一个象征性时刻。
Embedding Gemma Transcribe是一个独立项目，它将谷歌DeepMind的EmbeddingGemma 2——一个多模态嵌入模型——重新利用为设备端语音转文字系统。由于该模型将音频和文本置于共享的嵌入空间中，语音会落在对应文字附近。团队添加了一个小型"读取器"模型，将每个音频片段映射到文本空间中，从约229,000个英文单词中找到最接近的作为转录结果；一个微型辅助模型负责恢复标点符号和大小写。只有读取器经过训练，使用公开授权的英文语音数据在8块H100 GPU上训练不到两小时——基础模型本身从未针对转录进行微调。 最终结果是，在基础款M3 MacBook Air（8 GB内存）上通过神经引擎，大约12.6秒即可转录一小时的音频——约为实时速度的288倍，远超IBM Granite Speech（约150倍）等替代方案。其词错误率目前约为5%，而主流语音模型为2–3%；创建者认为，训练更好的读取器可以缩小这一差距。用户可以拖入音频文件，或按住右Option键在任何应用中进行听写，所有处理均在本地完成。EmbeddingGemma 2以Apache 2.0协议发布；本项目与谷歌无关联，也未获其认可。
一个 Hacker News 帖子讨论了一项将谷歌的 EmbeddingGemma 2 变成语音转文字模型的实验。开发者 Shahir 解释说，他使用了共享的文本/音频向量空间：音频被编码后，再与约 22.9 万个英语词嵌入中最接近的一个进行匹配。它达到约 5% 的词错误率——这对日常使用算不错，但低于云端模型——而且速度极快（在 M4 Mac Mini 上，33 分钟文件约 6.75 秒）。他计划将其开源、增加多语言支持，并发布 TTS 版本。评论者将其与 Parakeet、Whisper、Apple 端侧、Granite Speech 和 yapsnap 进行比较，并指出其对非英语音频的局限。其他人讨论了 CTC 头、词汇泛化和 CoreML 优化。结论：这是一个很有前景的超快速本地转写概念验证，但准确率和语言覆盖范围仍需改进。