一台新的 10 状态图灵机 n1，从空白纸带停机，并具有经 Coq 验证的精确得分。它由 8 状态 BB(8) 纪录构建，将其停机转移重定向到两个新状态。其第一阶段计算 T = 2↑^37 3；此后，T 驱动约 0.43T 个周期的倒计时
每日HackerNews RSS
正在检查您的浏览器……需要启用 JavaScript
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 美元大幅上涨，对一台流媒体盒子来说太贵。许多人认为没有升级理由：更快的芯片、AV1/VP9、8GB 内存、远场麦克风/Siri AI，以及 HomePod 环绕声支持，对现有用户而言都不足以证明这个价格合理。隐私争论占据主导：一些人信任 Apple TV 胜过 Roku/智能电视，因为它没有 ACR；另一些人则认为 Apple 仍收集遥测数据，并非独一无二地注重隐私。用户称赞现有 Apple TV 界面流畅、无广告且耐用。还讨论了 Roku、Nvidia Shield、迷你 PC 和旧型号等替代方案。对家庭影院用户来说，音频直通和 120Hz/VRR 仍然缺失。对 Siri AI 的怀疑很普遍。总体而言：一次性能不错但定价过高的改款，最适合新买家或仍在使用非常老旧设备的人，不适合升级。
本文追溯了复数如何从像 \(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
27 天前
麦克风和扬声器。四个波束成形麦克风可捕捉远近人声，非常适合隔着房间向 Siri 发出请求，也能让 FaceTime 通话清晰透彻并减少背景噪音。底座和显示屏中的强劲扬声器可呈现空间音频，带来丰富饱满、充盈房间的声音。
苹果新款 HomeView——一款售价 299 美元的固定式智能显示屏兼 Matter/Thread 家庭中枢——在 HN 上引发了一场激烈争论。支持者认为它是一台精致、价格可接受的多人共享家庭设备，具备多用户 Face ID、Siri AI、FaceTime、日历、照片、HomeKit 控制和不错的扬声器。批评者称它是定价过高、封闭受限的 iPad 替代品：无电池、无 App Store、第三方应用很少、电源线设计别扭，而且许多家庭已有旧 iPad 或 Echo/Nest 显示屏，因此吸引力有限。许多人质疑 Siri 的实用性、常开麦克风/摄像头的隐私影响，以及因 DMA/Siri AI 导致的欧盟不可用。其他人则认为它面向家庭、老年用户和想要简单固定中枢的苹果忠实用户，并预测尽管 HN 冷嘲热讽，它仍会畅销。争论的核心在于：专用设计的简洁性是否胜过更灵活的旧平板。
随着 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 企业版公告在 Hacker News 上引发讨论：它进军企业浏览器市场，以此作为可持续收入来源。评论者将其与 Chrome/Edge 和 Island 进行比较，指出企业对 DLP、SSO、策略管理、SIEM 日志、本地部署的同步/更新服务、无需 VPN 的内网访问以及 AI 管控有需求。Mozilla 员工回答了问题，称该产品面向 IT 管理员，支持通过 MDM 自动部署，并可与消费版 Firefox 共存。
支持者看到了切实可行的变现路径，以及提升 Firefox 企业采用率和网页兼容性的方法。怀疑者质疑，在 Edge/Chrome 免费的情况下企业是否愿意付费，Firefox 能否迎头赶上，以及限制严格的浏览器是否会损害用户自由。其他人提出了隐私/监控担忧、管理复杂性和兼容性差距。总体而言，该讨论串大体上欢迎 Mozilla 尝试打造付费企业产品，同时也在争论其执行、竞争，以及这是否真能让 Firefox 更具可持续性。
```Character.AI，一家生成式AI聊天机器人初创公司，已申请第11章破产保护，并以2000万美元的价格将其资产出售给迪士尼。该公司以角色扮演机器人而闻名，但因聊天机器人安全问题而面临诉讼和审查，同时迪士尼本身也对该初创公司提出法律投诉，指控其未经授权使用其角色。 迪士尼最近聘请了Character.AI的前CEO Karandeep Anand担任首席技术官，并计划以类似人才收购的方式引入更多技术人员。这类似于谷歌在2024年的举措，当时谷歌花费超过20亿美元挖走了Character.AI的核心人才。 Character.AI预计将在11月底或12月初完成出售，并在此期间保持平台运营，但警告称，如果没有找到合适的买家，平台将被关闭。```
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 优化。结论：这是一个很有前景的超快速本地转写概念验证，但准确率和语言覆盖范围仍需改进。