每日HackerNews RSS

苹果推出了“改用 Safari”推广活动,通过一个新网页和两段 YouTube 视频宣传 Safari 优于 Chrome。苹果称,Safari 在 Mac 上可多提供最多 5 小时视频播放时间,常用网站加载速度最多快 35%,并提供更强的隐私保护。该网页包含 Safari 与 Chrome 的对比图表,并突出阅读器模式、通知我、配置文件和 Apple Pay 等功能。视频展示了干扰控制和智能防跟踪。此前,苹果曾推出“iPhone 上的隐私”活动,将 Safari 定位为比 Chrome 更私密。苹果正在继续正面推广 Safari,与 Chrome 竞争。

苹果的“改用 Safari”宣传活动主张 Chrome 用户应转投 Safari,理由是速度、能效、隐私以及 macOS/iOS 集成。HN 讨论持怀疑态度且内容庞杂。评论者争论 Chrome/Chromium 是否成了新的 IE,还是 Safari 成了新的 IE,尤其因为 iOS 强制所有浏览器使用 WebKit。批评者指出 Safari 扩展支持较弱——Manifest V3/uBlock 限制、开发工具、兼容性怪癖,以及没有 Apple 硬件时测试的成本。支持者说 Safari 的存续防止了 Chrome 完全一家独大。许多人转而推荐 Firefox,另一些人则表示 Chrome 的生态系统、肌肉记忆或 YouTube 表现让他们离不开。该讨论反映出对 Google 和 Apple 的更广泛不满:用户希望浏览器多元化、在 iOS 上有真正选择,并减少平台锁定。

一台新的 10 状态图灵机 n1,从空白纸带停机,并具有经 Coq 验证的精确得分。它由 8 状态 BB(8) 纪录构建,将其停机转移重定向到两个新状态。其第一阶段计算 T = 2↑^37 3;此后,T 驱动约 0.43T 个周期的倒计时

一个 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

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 原生复数支持。总的来说:这是个有用的话题,但命名和教学框架引发了争论。

麦克风和扬声器。四个波束成形麦克风可捕捉远近人声,非常适合隔着房间向 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 更具可持续性。

更多

联系我们 contact @ memedata.com