2025-08-15 Hacker News Top Stories #
- Astral 公司推出 PYX，一个 Python 原生的包注册表，旨在提升 Python 生态系统的速度、安全性和用户体验，并支持 GPU 加速。
- Google 推出 Gemma 3 270M 模型，一个紧凑高效的 AI 模型，适用于设备端应用和特定任务微调，支持多语言和创意用途。
- 伊利诺伊州禁止未经安全性和有效性审查的 AI 聊天机器人在心理治疗中使用，以保护脆弱人群免受潜在危害。
- 作者分享了 OCaml 语言的核心特性和优势，认为其静态类型检查和多范式编程使其在许多场景中具有实用价值。
- Meta 被裁定未经用户同意访问了 Flo 应用中的女性健康数据，涉及隐私侵犯和数据滥用问题。
- 大型语言模型（LLMs）在构建软件方面存在局限性，主要因为其无法维持清晰的心理模型和有效决策能力。
- Arch Linux 与 Debian 共享其 Wiki 管理策略，强调高质量文档和社区参与的重要性。
- 苹果恢复了 Apple Watch 的血氧监测功能，通过软件更新实现，并涉及与 Masimo 的专利纠纷。
- 法院推翻了佛罗里达州的书籍禁令法案，认为其违宪，保护了学校图书馆内容的言论自由。
- 柯达公司否认了停业或破产的传闻，强调其财务状况稳定，并计划通过债务重组解决问题。
PYX: The next step in Python packaging #
https://astral.sh/blog/introducing-pyx
pyx 是一个 Python 原生的包注册表，也是 Astral 平台的第一部分，旨在为 Python 生态系统提供下一代基础设施。Astral 的目标是使 Python 成为地球上最具生产力的编程生态系统。pyx 被设计为 uv 的优化后端，它不仅是一个包注册表，还解决了传统包注册表之外的问题，使得 Python 体验更快、更安全，甚至支持 GPU，无论是私有包还是公共源（如 PyPI 和 PyTorch 索引）。
Astral 以其高性能的开发者工具而闻名，尤其是 Ruff（代码检查器和格式化工具）和 uv（包管理器）。公司创始人 Charlie Marsh 认为 Python 工具落后于其生态系统的发展，因此创建了 Astral。过去两年中，Python 的增长速度加快，Astral 的工具也得到了前所未有的采用，每月安装量超过 1 亿次，uv 每天处理超过 5 亿次请求。Astral 希望扩展其解决问题的范围，从命令行工具扩展到自己的端到端基础设施，构建一个使 Python 快速、简单、健壮的统一服务集合。
pyx 的灵感来自于 uv 问题跟踪器和企业对话中的问题，这些问题无法仅通过客户端解决，但可以通过服务器解决。例如，安装 PyTorch、CUDA 或依赖 PyTorch 和 CUDA 的库时的困难；团队成员在机器上重复构建相同的包；setuptools 的最新版本破坏构建的问题；以及对内部注册表进行身份验证的困难。通过垂直整合客户端（uv）和服务器（pyx），Astral 可以解决这些问题。随着时间的推移，通过利用开源工具链，Astral 可以更加雄心勃勃。想象一个不仅对你的代码，还对你的依赖项和供应链有语义、类型级别的理解的包注册表；然后将这种思路扩展到你的 Python 基础设施的其他部分。
用户不需要使用 pyx 来使用 uv，也不需要使用 uv 来使用 pyx。但是当两者一起使用时，整个类别的问题都会消失。Astral 对 Python 的深入关注和理解使其能够构建比市场上任何其他解决方案更好的解决方案；与开源工具的深度集成使其能够构建否则不可能的体验。
pyx 目前还未普遍可用，但已经与包括 Ramp、Intercom 和 fal 在内的早期合作伙伴上线。Astral 希望尽可能公开构建，以获得快速的反馈循环，这是解决实际用户问题的关键。随着产品的加固和准备发布，Astral 希望听到用户的声音。如果用户对下一代 Python 体验感兴趣，或者上述问题与用户产生共鸣，或者只是喜欢 Astral 的工作，可以立即联系他们。
HN 热度 727 points | 评论 443 comments | 作者：the_mitsuhiko | 1 day ago #
https://news.ycombinator.com/item?id=44892209
- Astral 公司推出的 PYX 是 Python 包管理的下一步，解决了 Python 核心问题，提供了统一、快速、可靠、易用的工具
- 有人尝试过构建 Python 包注册表，但由于资源有限未能成功
- Anaconda 多年前已解决类似问题，但有人批评其安装器和解释器慢，环境臃肿，跨平台不一致，依赖解析慢
- Posit 的包管理器也解决了类似问题，但需要用户自己构建 wheel 文件
- 有人提出可以将软件工件存储在支持 SLSA 合规 TUF 签名的 OCI 容器镜像注册表中
- 有人反对使用非 Python 语言编写的 Python 生态工具，认为应该使用 Python 编写
- 有人担心开源产品被收购后文档、问题和请求会被删除，出现商业替代品缺失原有功能
- Astral 强调 pyx 与他们的工具不同，工具保持免费、开源、许可宽松，将提供付费托管服务
- 有人担心投资者的贪婪会改变开源工具的商业模式
- 有人建议将开源工具转移到社区基础实体，以法律方式承诺开源基础
- 有人担心非付费用户依赖于付费客户补贴的服务，当投资者要求停止免费服务时会受到影响
- Conda 也解决了类似问题，然后转向商业化，HPC 领域已有 Easybuild 和 Spack 等工具
Gemma 3 270M: Compact model for hyper-efficient AI #
https://developers.googleblog.com/en/introducing-gemma-3-270m/
Gemma 家族的最新成员 Gemma 3 270M，是一款专为特定任务微调而设计的紧凑型 AI 模型，拥有 2.7 亿参数。这款模型以其小巧的体积和强大的指令遵循能力，为设备端和研究应用提供了先进的 AI 能力。Gemma 3 270M 具备以下核心能力：紧凑且功能强大的架构、极低的能耗、出色的指令遵循能力以及生产就绪的量化技术。它是一个高质量的基础模型，通过微调可以执行文本分类和数据提取等任务，具有惊人的准确性、速度和成本效益。
Gemma 3 270M 的成功应用已经在现实世界中得到验证，例如 Adaptive ML 与 SK Telecom 合作，针对多语言内容审核的挑战，通过微调 Gemma 3 4B 模型，取得了超越大型专有模型的卓越性能。Gemma 3 270M 旨在进一步推广这种专业化方法，为明确定义的任务解锁更大的效率。它也是创建一系列小型专业化模型的理想起点，每个模型都是其任务的专家。
此外，Gemma 3 270M 不仅适用于企业任务，还支持强大的创意应用，例如 Bedtime Story Generator 网络应用，该应用使用 Transformers.js 和 Gemma 3 270M 提供动力，适合离线、基于网络的创意任务。
选择 Gemma 3 270M 的时机包括：面对大量明确定义的任务、需要精确控制成本和响应时间、需要快速迭代和部署、需要确保用户隐私以及希望构建一系列专业化任务模型。为了帮助用户轻松将 Gemma 3 270M 转化为定制解决方案，提供了完整的微调指南和工具。用户可以从 Hugging Face、Ollama、Kaggle、LM Studio 或 Docker 下载模型，并在 Vertex AI 或使用流行的推理工具如 llama.cpp、Gemma.cpp、LiteRT、Keras 和 MLX 上试用模型。微调后，可以将定制模型部署到任何地方，从本地环境到 Google Cloud Run。Gemma 3 270M 的推出，旨在赋予开发者构建更智能、更快、更高效的 AI 解决方案的能力。
HN 热度 475 points | 评论 193 comments | 作者：meetpateltech | 7 hours ago #
https://news.ycombinator.com/item?id=44902148
- Gemma 3 模型能很好地处理挪威语，并且遵循指令的能力在大多数情况下表现良好。
- 在处理游戏相关威胁信息时，Gemma 3 模型可能会因为安全训练而过于谨慎，导致无法很好地遵循指令。
- 建议在大型语言模型（LLM）处理之前进行预处理，例如替换敏感词汇，并提供具体上下文。
- 对于特定的用例，如游戏 NPC，建议对模型进行微调以减少拒绝率。
- 个人努力构建既安全又有用的模型，但要平衡这两者非常具有挑战性。
- 信任和安全工作负载是边缘情况，相对于内容的风险档案来说。
- 在 LLMs 的背景下，安全性实际上意味着“避免对母公司造成负面媒体曝光或声誉损害”。
- “安全性”在 LLMs 的背景下感觉像是对成人的幼稚化、居高临下、手把手指导和执行美国清教徒主义。
- 安全性应该只是一个系统提示，提醒潜在的回答对象可能是儿童，需要保持 PG13 级别。
- 所谓的“危险技术”意味着“强大”，因此出现了整个荒谬的“对齐”马戏团。
- 谷歌工程师在 BSidesSF 活动中耐心回答问题，给人留下深刻印象。
- 有人对微调 Gemma 模型以专门处理特定任务（如自行车鹈鹕 SVG）表现出兴趣。
- 有人分享了将模型微调为游戏 NPC 角色的例子，并提供了链接。
- GGUF 格式的模型权重可在 Hugging Face 网站上找到。
- 视频游戏 NPC 的智能化将使游戏行业变得疯狂。
- 有人询问微调此模型所需的硬件要求。
- 可以在免费的 Colab 中微调模型，大约需要 5 分钟。
- 有人对谷歌使用 PyTorch 而不是 Tensorflow 表示赞赏。
- 询问此模型能处理的任务大小，以及是否可以微调以适应 Mac 系统设置。
- 模型具有 32k 的上下文窗口，因此可以处理任何适合该窗口的任务。
- 将模型微调为解决 Mac 系统设置问题的 LLM 是一个好主意，因为它是一个相对受限的问题。
Illinois limits the use of AI in therapy and psychotherapy #
https://www.washingtonpost.com/nation/2025/08/12/illinois-ai-therapy-ban/
美国伊利诺伊州最近禁止在心理健康治疗中使用人工智能（AI），成为继内华达州和犹他州之后，又一个对 AI 聊天机器人在情感支持和建议中新兴用途进行监管的州。这些州的法规限制了未经联邦监管机构审查其安全性和有效性的 AI 聊天机器人在心理健康治疗中的使用。专家警告称，这些 AI 聊天机器人可能存在潜在危险，已有案例显示它们与脆弱人群进行了有害对话，并且用户在不知情的情况下向聊天机器人透露了个人信息。
伊利诺伊州的法律禁止持牌治疗师使用 AI 做出治疗决策或与客户沟通，尽管他们仍可将 AI 用于行政任务。同时，公司也不得提供或宣传 AI 驱动的治疗服务，除非有持牌专业人士的参与。这些禁令出台之际，正值专家对 AI 聊天机器人治疗的潜在风险提出警告。一些 AI 和精神病学专家表示，他们欢迎立法限制这一不可预测的技术在敏感且以人为中心的领域中的使用。
然而，伊利诺伊州的禁令在实际操作中如何执行仍是一个问题。法律的执行可能取决于当局如何解释其对治疗服务的定义。AI 公司是否可以通过在网站上附加免责声明来遵守法律，或者任何自称为治疗师的 AI 聊天机器人是否将受到处罚？违反者将面临不超过 1 万美元的民事罚款。
尽管只有三个州通过了规范 AI 治疗的法律，其他州也在探讨这个问题。加利福尼亚州参议院正在考虑一项法案，任命一个心理健康和人工智能工作组。新泽西州的立法者正在推动一项法案，禁止 AI 开发者将他们的系统宣传为心理健康专业人士。宾夕法尼亚州的一项提议法案将要求父母在学生接受“虚拟心理健康服务”（包括来自 AI 的服务）之前提供同意。
尽管有法律限制，人们可能会继续寻求 AI 提供的情感支持。美国心理学会的 Vaile Wright 表示，即使各州打击 AI 服务自称为治疗工具，人们仍可能继续使用 AI 进行情感支持。她认为，人们使用这些聊天机器人进行这些目的，是一种非常人性化的行为。
HN 热度 383 points | 评论 232 comments | 作者：reaperducer | 1 day ago #
https://news.ycombinator.com/item?id=44893254
- 伊利诺伊州规定 AI 聊天机器人不能替代持牌治疗师或顾问，但个人仍可以自由使用 AI。
- 规定主要针对服务提供者，禁止声称聊天机器人是治疗师，但并未限制个人使用 AI。
- 规定了持牌专业人员如何使用 AI：AI 只能作为辅助工具，专业人员需对所有交互、输出和数据使用负全责。
- 规定了使用 AI 辅助治疗时必须告知患者并获得书面同意。
- 只要个人数据不被共享，使用自动转录系统似乎没有问题。
- 一些流行的医疗转录服务会将数据发送到云端处理，但有额外的合同和规则。
- HIPAA 法规覆盖了个人健康信息的保护，但具体安全措施规定较为模糊。
- 规定可能会影响到聊天机器人正式诊断和向保险公司收费的能力。
- 许多治疗服务在治疗过程中有能力进行诊断。
- 将非医疗事物定义为需要特定私人机构批准的医疗行为是腐败行为。
- 人们需要一个没有动机、只为了帮助他们的人来交谈，而治疗师和牧师都能提供这种帮助。
- 治疗师有经济动机延长治疗时间，而聊天机器人可能更糟糕。
- 技术公司可能会通过游戏化的治疗师来延长用户参与，然后责怪用户“选择”参与。
- 治疗师不会因为服务不佳而失去执照，而聊天机器人则不会。
OCaml as my primary language #
https://xvw.lol/en/articles/why-ocaml.html
这篇文章是作者对 OCaml 语言的个人见解和选择理由的分享。作者自 2012 年起开始频繁使用 OCaml，并逐渐将其作为个人项目的首选语言，这种选择也影响了他的职业发展。尽管有人认为 OCaml 在工业界不够实用，但包括 Meta、Microsoft 在内的多家大公司都在使用 OCaml。
文章分为几个部分，首先介绍了 OCaml 作为一个起源于研究并被工业界使用的编程语言，这种双重身份为 OCaml 带来了先进的语言特性和工业级工具的优势。OCaml 是第一个主流支持用户自定义效果的语言，这是尖端研究的结果。同时，OCaml 也受到工业需求的指导，例如 Jane Street 提出了集成仿射会话以实现线性资源管理。
文章还提到了 OCaml 的一些核心特性，包括静态类型检查、多范式编程、ML 风格的语法、代数类型、模块化编程和模块语言、依赖注入和反转等。OCaml 通过模块和用户定义的效果提供了这些特性。
作者还讨论了 OCaml 生态系统的优势，包括编译、运行时、额外目标、OPAM 包管理器、Dune 构建系统、S 表达式的使用、对编辑器的支持、文档生成器 Odoc 以及可用的库。同时，作者也提到了 OCaml 社区的一些误解和神话，比如 OCaml 和 F#的区别、浮点数的双操作符、ML 和 MLI 文件的分离等。
最后，作者总结说，尽管 OCaml 并非完美，但他在许多情况下认为 OCaml 是一个相关且有用的选择，并分享了一些 OCaml 用户的资源和案例研究，以及一些对 OCaml 持批评态度的文章。作者强调，尽管他现在为 OCaml 生态系统工作，但他在被支付之前就已经在推广 OCaml 了。
HN 热度 370 points | 评论 267 comments | 作者：nukifw | 1 day ago #
https://news.ycombinator.com/item?id=44891759
- Rust 在 Android 团队中的使用表明，从 Python 迁移过来的项目对性能提升的需求并不高，且人们最喜欢的特性是模式匹配和 ADTs，这些特性在 1990 年左右的 ML 语言中就已存在。
- 如果 OCaml 在 2010 年左右解决了多核处理等问题，有可能成为 Rust 的竞争对手，但最终因为学术界和工业界的关注点差异而错失机会。
- OCaml 的主要障碍在于它并非美国开发，且没有像 Rust 那样进行大量的推广。
- 语言的流行并非基于技术优势，而是时尚和推广的结果。
- Python、PHP、Ruby 等语言的成功部分归功于它们得到了美国的接受和推广。
- Linux 的成功也部分归功于其在美国的推广。
- OCaml 在英国（剑桥、JaneStreet）开始进行更多推广后变得更受欢迎。
- Google 倾向于保持一个简短的批准用于生产代码的语言列表，Rust 可以替代/补充 C++，而 OCaml 不能。
- Ada 2005 是 2010 年最接近裸机的表达性语言，但 Ada 的推广不足，且主要在封闭源代码项目中使用。
- Ada 由于早期编译器成本高和性能差的形象问题而被阻碍，尽管技术上有许多优势。
- Ada 的生态系统成熟且完整，尤其是 GNAT 相关工具。
- Ada 语言的发展稳定且持续进行，尽管在论坛上的讨论不多。
Meta accessed women’s health data from Flo app without consent, says court #
2025 年 8 月 7 日，Danny Bradbury 报道，一个陪审团裁定 Meta 公司未经同意就访问了女性生殖健康追踪应用 Flo Health 中的敏感信息。Flo Health 是一款于 2015 年在白俄罗斯开发的用于追踪女性月经周期的应用，后来发展成为追踪女性生殖健康详细、私密方面的应用。
用户 Erica Frasco 在 2021 年对 Flo Health 提起集体诉讼，此前《华尔街日报》在 2019 年发表了一份关于其隐私违规的报告。Flo Health 承诺不会与第三方共享这些数据，除非这对提供其服务是必要的，并且即使共享，也只会共享与网络托管和应用开发相关的信息，不会包括用户输入的关于周期、怀孕、症状、笔记等信息。然而，从 2016 年到 2019 年，Flo Health 与包括 Facebook 和 Google 在内的公司以及移动营销公司 AppsFlyer 和 Yahoo!旗下的移动分析平台 Flurry 共享了这些私密数据。
Flo Health 没有对这些第三方如何使用数据设定规则，实际上允许它们出于与应用无关的目的使用这些数据。到 2020 年 12 月，有 1.5 亿人使用该应用，Flo Health 承诺用户可以信任它。集体诉讼声称 Flo Health 侵犯了隐私权、违反合同和暗示合同、不正当得利以及违反了《存储通信法》和《加州医疗信息保密法》。该诉讼寻求为原告寻求赔偿以及公司部分利润。
Google 和 Flo Health 已经与原告达成和解，但 Meta 尚未和解。陪审团裁定 Meta 故意“使用电子设备窃听和/或记录他们的对话”，并且这样做是未经同意的。这起案件在多个层面上都很重要。除了一般的隐私问题外，在美国最高法院于 2022 年 6 月取消了堕胎的宪法权利之后，女性的月经健康成为一个特别有争议的领域。那一年，Meta 因向警方提供母亲和女儿计划药物流产的私人消息数据而受到审查。我们可以说“不要使用 Flo Health”，但该应用在被发现之前是被信任的。还有多少其他应用以类似不负责任的方式共享数据？我们越来越倾向于不使用追踪这类敏感数据的应用。
然而，还有网站需要担心。Propublica 的一份报告发现，销售堕胎药的在线药房与 Google 等共享敏感数据。这可能会给执法部门提供针对女性的案件证据。技术承诺给我们方便，但其滥用也给用户带来了严重危险。我们不仅报道威胁——我们还帮助保护你的整个数字身份。
HN 热度 362 points | 评论 190 comments | 作者：amarcheschi | 12 hours ago #
https://news.ycombinator.com/item?id=44898934
- Facebook 作为被告是因为 Flo 通过 Facebook SDK 发送了包含私密健康数据的数据，而 Facebook 继续接收、分析并用于自己的营销和数据分析目的。
- Facebook 被指控在公开披露此行为后多年（直至 2021 年）仍然使用这些数据，即使在 Flo 被 FTC 强制停止这种做法后，Facebook 也拒绝审查和销毁之前不当收集的数据。
- 有人认为 Facebook“故意窃听”的说法没有意义，因为 Flo 发送数据给 Facebook，而 Facebook 有政策禁止使用其 SDK 发送医疗/敏感信息。
- 有人认为 Facebook 不应该因为 Flo 通过 SDK 发送医疗数据而被起诉，这就像因为医生使用 Google Drive 存储病历而起诉 Google 一样不合理。
- 有人认为 Facebook 有责任检查使用数据是否合法，但他们没有这样做，因此被判有罪。
- 有人认为大型公司不应该因为管理数据困难而违法，也不应该因为积极管理产品会损害他们的商业模式而免于诉讼。
- 有人认为 Facebook 有 15 年积极滥用数据的历史，这不是一次性事件。
- 有人认为 Facebook 应该对使用的数据负法律责任，如果他们太大而无法做到，或者得到的数据太多而无法管理，答案不是让他们逃避责任。
- 有人认为 Facebook 有足够的资源来实施保护措施，他们应该因为不遵守规定而受到惩罚。
Why LLMs can’t really build software #
https://zed.dev/blog/why-llms-cant-build-software
这篇文章讨论了大型语言模型（LLMs）在软件开发中的作用和局限性。作者通过面试软件工程师的经验，总结了有效软件工程师的工作流程，包括构建需求的心理模型、编写代码、构建代码实际行为的心理模型、识别差异并更新代码或需求。文章指出，尽管 LLMs 在编写代码和更新代码方面表现不错，但它们无法维持清晰的心理模型，容易混淆，无法像人类工程师那样在遇到问题时进行有效的决策和迭代。
文章进一步探讨了 LLMs 在软件开发中的潜在改进，认为需要改变模型构建和优化的方式，以便它们能够超越仅仅生成代码的能力。当前的生成模型存在上下文遗漏、近期偏好和错误细节想象等问题，这些问题直接影响了它们维持清晰心理模型的能力。尽管这些问题有望得到解决，但目前 LLMs 在理解复杂问题和构建软件方面仍有局限。
作者强调，LLMs 对软件工程师来说是有用的工具，可以快速生成代码并整合需求和文档。对于简单任务，LLMs 可以一次性解决问题。然而，对于更复杂的任务，LLMs 无法准确维持足够的上下文来迭代到工作解决方案。因此，软件工程师需要确保需求清晰，代码能够实现其声称的功能。
最后，文章提到 Zed 公司相信人与代理可以合作构建软件，但至少在目前，人类应该处于主导地位，而 LLMs 只是另一种工具。Zed 公司正在寻找更好的编辑器，并邀请对软件开发感兴趣的人加入他们的团队。
HN 热度 347 points | 评论 239 comments | 作者：srid | 10 hours ago #
https://news.ycombinator.com/item?id=44900116
- 程序员需要理解问题的整体情况，确定问题的根源。
- 程序员在编写代码时会调整业务规则，因为规则本身很模糊，需要通过编码过程更正式地定义。
- 不同公司对程序员调整业务规则的灵活性不同。
- 程序员在实现规则时会遇到边缘情况，这些情况只有在编码时才会变得明显。
- 许多程序员专注于使用计算机进行计算，而不仅仅是业务逻辑。
- 程序员在开发软件时，需要了解业务问题。
- 有些程序员被禁止参与业务问题的讨论。
- 程序员需要理解业务问题才能解决它们。
- 程序员通常只编码快乐路径，边缘情况作为生产中发现的 bug 添加。
- 产品开发之外的工程师需要真正了解业务。
- 没有理解领域的情况下进行领域建模是不可能的。
- 所有有用的软件都在模拟某个领域。
- 许多软件是在咨询合同下开发的。
- 软件工程师能够退后一步，思考整体，并确定问题的根本原因。
Arch shares its wiki strategy with Debian #
https://lwn.net/SubscriberLink/1032604/73596e0c3ed1945a/
Arch Linux 项目因其滚动发布模式和 ArchWiki 文档的质量而在 Linux 社区中享有盛名。Debian 项目为了提升自己的文档质量，邀请了 ArchWiki 的维护者 Jakub Klinkovský 和 Vladimir Lavallade 参加在法国布雷斯特举行的 DebConf25 会议，分享 Arch 如何管理其 Wiki。这次交流已经取得了成果，Debian 启动了重振其 Wiki 的努力。
Klinkovský 自 2014 年以来一直是 Wiki 的维护者，同时也是 Arch Linux 的软件包维护者，而 Lavallade 自 2021 年以来为 Wiki 做出了贡献，并最近加入了维护团队。他们使用 SWOT 分析（优势、劣势、机会和威胁）来解释 Wiki 的运作方式，重点关注内容和维护团队如何保持页面质量。
ArchWiki 成立于 2004 年，最初使用 PhpWiki 作为后端，但很快迁移到了至今仍在使用的 MediaWiki。Wiki 的维护和翻译团队大约在 2010 年成立，负责贡献指南、风格规范、组织结构等。目前，Wiki 拥有超过 4000 个主题页面，如果包括讨论页面、重定向和帮助页面，则接近 30000 页。自 2006 年以来，Wiki 已经进行了超过 84 万次编辑，由超过 86000 名编辑者完成，平均每月有超过 2000 次编辑，由大约 300 名活跃贡献者完成。
Lavallade 列举了 ArchWiki 的三大优势：全面的内容覆盖、高质量和最新的内容更新，以及超越 Arch 社区的影响力。他提到，由于 Arch 是滚动发布分布，每个页面都需要更新以反映最新的软件包，这得益于社区的高度参与。他还提到了 ArchWiki 的贡献和内容指南，包括编辑摘要的使用、避免复杂编辑、以及在讨论页面上宣布重大更改。
ArchWiki 的维护工作包括工具和模板，以帮助贡献者更容易地进行工作。例如，审核者可能会使用准确性模板来标记可能不准确的内容。项目还有机器人可以添加一些模板（如死链接）甚至修复一些问题。Klinkovský 强调，每个人都可以参与审核，不仅仅是 Wiki 的维护者。如果发现错误，人们有权自行修复，或者使用模板标记以便他人处理。维护者在必要时做出权威决策和调解争议。
Klinkovský 将 Wiki 上的内容审核称为“巡逻”，并提出了一些基本规则，包括“假设善意”和“在做出仓促决定之前与他人讨论变化”。如果必须撤销更改，审核者应始终解释撤销的原因，以便原始贡献者有机会回来修复问题或以不同的方式解决。
HN 热度 337 points | 评论 115 comments | 作者：lemper | 14 hours ago #
https://news.ycombinator.com/item?id=44898300
- Arch wiki 是 Linux 社区最好的产出之一，像是一个现代、改进且更完整的 TLDP 版本。
- Arch wiki 对多种工具的支持和文档使其在不同系统上都非常有用。
- Arch wiki 的指令通常适用于任何发行版，因为它很少对上游软件进行更改。
- 有人提议创建一个通用的 Linux wiki。
- Arch wiki 描述的是上游软件包，因为它尽量使用上游软件并描述配置选择。
- 其他发行版倾向于为你做出选择，配置和修改上游软件以适应发行版。
- Arch wiki 可能会扩展以支持不同发行版的切换，并链接回一个通用的 Linux wiki。
- 有人担忧 Arch wiki 可能会删除针对其他发行版的特别说明。
- 有人回忆起 Gentoo wiki 在早期也是一个很好的资源，但后来丢失了。
- 有人提到 Gentoo wiki 在 2008 年丢失了数据库，并且没有适当的备份。
- 有人比较了 Linux 和 BSD 的文档质量，认为 Linux 的文档相比之下很差。
- BSD 的文档涵盖了所有内容，而 Linux 的文档通常是从不同的工具中组装而来。
- Linux 工具的文档存在多种常见问题，如文档过短、不友好的参考型文档、过多关于古老系统的信息、关键词选择不当等。
- 有人喜欢文档中的历史轶事，但承认这在工作场景中并不总是必需的。
- 有人指出，Linux 没有一个统一的操作系统，而是许多不同的操作系统都使用 Linux 内核。
Blood oxygen monitoring returning to Apple Watch in the US #
https://www.apple.com/newsroom/2025/08/an-update-on-blood-oxygen-for-apple-watch-in-the-us/
苹果公司宣布将为部分 Apple Watch Series 9、Series 10 和 Apple Watch Ultra 2 用户在美国推出重新设计的血氧监测功能。这项更新将通过 iPhone 和 Apple Watch 的软件更新实现，用户需要将配对的 iPhone 更新至 iOS 18.6.1，Apple Watch 更新至 watchOS 11.6.1。更新后，Apple Watch 上的血氧监测应用收集的数据将在配对的 iPhone 上进行测量和计算，结果可以在健康应用的呼吸部分查看。此次更新得益于美国海关的一项最新裁决。
此前已购买包含原始血氧监测功能的 Apple Watch 设备，以及在美国以外地区购买的 Apple Watch 设备，将不会受到此次更新的影响。苹果团队致力于创造以科学为基础、以隐私为核心的健康、健身和安全功能。Apple Watch Series 9、Series 10 和 Apple Watch Ultra 2 还为用户提供了不规则心律通知、心电图应用、睡眠呼吸暂停通知、跌倒检测、睡眠追踪、手腕温度感应、生命体征应用、噪音应用、药物应用和正念应用等多种实用工具，帮助用户过上更健康的生活。
HN 热度 310 points | 评论 223 comments | 作者：thm | 10 hours ago #
https://news.ycombinator.com/item?id=44899999
- 苹果与 Masimo 就血氧监测功能存在专利纠纷，苹果的解决方案是利用 iPhone 计算血氧，使用 Apple Watch 的传感器。
- 软件专利是祸害。
- 苹果挖角了 Masimo 的 25 名员工，包括 CTO，并在 Masimo 办公室附近购买了一栋建筑供他们工作。
- 苹果为员工提供双倍薪水，这对员工来说是个好消息。
- 苹果的这种做法可能会扼杀竞争，不利于市场多元化。
- 消费者可能不会单独购买血氧监测设备，而是希望 Apple Watch 具备更多功能。
- 有人质疑为何不考虑 Masimo 的产品，回应者表示他们不会仅为了血氧监测而购买一个单独的设备。
- 如果苹果没有复制 Masimo 的工作，他们可能不得不购买或授权 Masimo 的技术，这样消费者的钱就会流向 Masimo 而不是苹果。
- 有人提到，即使不信任智能手表的睡眠监测功能，但对于一些健康问题（如睡眠呼吸暂停）来说，智能设备是有帮助的。
- 有人反对苹果在每个行业中拥有垄断力量，认为这会导致购买多个设备以利用不同功能，对环境造成损害。
- Masimo 支付的薪水不高，苹果提供的双倍薪水可能只是让员工达到湾区的平均水平。
- 有人担心苹果在拥有核心知识产权并消除主要竞争对手后，可能会大规模裁员。
- Masimo 拥有核心知识产权，苹果拥有其他知识产权，市场上现在有两个提供商，这对消费者是有利的。
- 有人提到，Masimo 不仅仅提供消费者可穿戴的心率监测器和 O2 传感器，他们还做更多的事情。
“None of These Books Are Obscene”: Judge Strikes Down Much of FL’s Book Ban Bill #
https://bookriot.com/penguin-random-house-florida-lawsuit/
美国佛罗里达州中区法院的法官卡洛斯·门多萨（Judge Carlos Mendoza）在一项关于书籍禁令的重大案件中，做出了有利于原告的裁决。该裁决认为，自 2023 年通过的佛罗里达州法律——众议院法案 1069 号（HB 1069）——因“过于宽泛且违宪”而被推翻。该法案要求学校图书馆移除包含“性内容”的材料，不论书籍的价值如何，并允许家长或县居民对材料提出异议，一旦提出异议，相关材料必须在五天内被移除，并在正式审查前不得上架。该法案没有规定审查材料的时间表，也没有要求即使在正式审查后将材料重新放回书架。
企鹅兰登书屋（Penguin Random House）和其他五家出版社、作家协会、作家朱莉娅·阿尔瓦雷斯（Julia Alvarez）、劳里·霍尔斯·安德森（Laurie Halse Anderson）、约翰·格林（John Green）、乔迪·皮考尔特（Jodi Picoult）和安吉·托马斯（Angie Thomas）以及两名学生和两名家长于 2024 年 8 月对佛罗里达州的公共官员提起诉讼，声称 HB 1069 中关于书籍的部分导致了学校材料的广泛移除，并违反了第一修正案。该法案导致了书籍的移除，而不考虑它们的文学或艺术价值。佛罗里达州教育部的培训进一步鼓励学校图书馆员在材料选择上“谨慎行事”，指出如果图书馆有“性行为”的材料，可能会导致惩罚。
佛罗里达自由阅读项目（Florida Freedom to Read Project）的斯蒂芬娜·费雷尔（Stephana Ferrell）表示：“法官的命令明确指出，我们不能仅凭封面或恶意挑选的摘录来判断一本书。这意味着那些未经仔细考虑其价值就被禁止学生接触的数千本书应立即重新上架。佛罗里达州不能在公然侵犯我们最年轻公民的第一修正案权利的同时，还自称是‘最自由的州’。”
原告的律师丹·诺瓦克（Dan Novak）称这一决定是“完全的胜利。法院在没有一个问题上不支持原告”，据《奥兰多哨兵报》报道。
门多萨法官的裁决中有两个关键点值得强调。首先，关于在评估材料时“性行为”的考虑方式和地点。HB 1069 鼓励移除任何包含“性行为”的材料——一个州内没有具体参数的短语——而裁决强调，材料应根据最高法院的标准，即米勒测试（Miller Test）来评判。米勒测试要求整体审查材料，而不是通过段落或摘录。这甚至适用于儿童材料的审查，这是佛罗里达州官员一直在强调的（先例是 Ginsberg v. New York）。
门多萨法官写道，由于这些术语未定义，佛罗里达州允许家长根据“我一看就知道”的方法对材料提出异议。这种测试方式没有被最高法院采纳来定义淫秽。在这里，既没有禁止描述“性行为”的内容，也没有所谓的“色情”内容考虑到米勒测试的第三点。这两种禁令都缺乏识别淫秽材料所需的具体性。鉴于佛罗里达州法律已经禁止向未成年人提供淫秽材料，因此这些术语必须针对非淫秽材料。
这一裁决重申了过去几年知识自由倡导者的观点：学校和公共图书馆中没有供未成年人使用的淫秽材料。这些材料是非法的，不能分发或购买给这些机构。
裁决的第二个关键部分是关于在学校图书馆中规范书籍是否构成“政府言论”。州官员辩称，他们有权对这些收藏中的材料做出决定，因为它们构成了“政府言论”，因此不受第一修正案的约束。
门多萨法官不同意这一观点。他写道：“全面的内容禁令，而不是基于个性化策展的禁令，几乎不表达任何有意的政府信息。将‘政府言论’的标签贴在书籍移除上，只会压制不受欢迎的观点。”虽然家长有权对“指导孩子的成长和教育”提出异议，但政府不能将他们的发言“重新包装并作为自己的发言”。
目前尚不清楚这一裁决对佛罗里达州学校下架的数百本书意味着什么，除了这些移除行为公然违反了第一修正案。在过去的几周里，佛罗里达州教育委员会威胁公立学校移除他们认为“明显色情”的数十本书，至少有九个地区同意在未经审查的情况下撤下这些标题。
这一裁决将在其他已通过法律允许从公立学校移除被认为“不适当”的书籍的州中发挥什么作用，目前也不清楚。门多萨法官提到了许多从佛罗里达学校撤下的书籍，称这些书籍不符合米勒测试的“淫秽”法律定义。这些书籍中的许多在犹他州和南卡罗来纳州等州已被禁止。
HN 热度 286 points | 评论 395 comments | 作者：healsdata | 9 hours ago #
https://news.ycombinator.com/item?id=44900302
- 许多被禁书籍具有巨大的文学价值，如《紫色》、《使女的故事》、《追风筝的人》等，这些书籍并非随意被禁，而是文学经典。
- 共和党人明确表示他们想要去人性化棕色人种、女性和其他少数群体，他们对审查媒体、对教育获取的蔑视是透明的，这些不是孤立事件，而是一个系统性的方法。
- 左派在审查方面也不比右派好多少，例如根据“敏感度读者”的反馈重写罗尔德·达尔的书籍。
- 没有人试图通过法律来净化达尔的书籍或在图书馆禁止他的书籍，这是一个出版商单方面改变他们拥有的作品的行为。
- 审查的问题从来不是关于任何具体的应用，而是原则问题。当审查在文化上被接受时，自我审查和政治极化就会随之而来。
- 政府审查和私营公司审查之间的巨大区别不太可能影响人们对它的反应。
- 如果左派能够的话，他们也会制定这样的法律，类似的事情发生在其他国家。
- 这种论点是典型的“什么主义”，用来转移对事实真相的讨论，转向人为的中性条件。
- 左派和右派都在变得更加威权，解决方案可能是采用不同的投票系统，允许多个政党存在，迫使不同的政治派别相互交流和妥协。
- 共和党试图非法禁止书籍、压制抗议和在大学校园内的言论自由、将美国公民非法绑架并驱逐到外国集中营、违宪向各州部署军队、持续的选区划分等，而民主党变得更加极端的例子则难以想到。
Kodak has no plans to cease, go out of business, or file for bankruptcy #
https://www.kodak.com/en/company/blog-post/statement-regarding-misleading-media-reports/
柯达公司针对近期媒体关于其停止运营、破产或申请破产保护的不实报道发表声明。这些报道基于公司向美国证券交易委员会（SEC）提交的第二季度财报中的技术性披露，但存在误导和缺乏关键背景。柯达明确表示，公司没有停止运营、破产或申请破产保护的计划，相反，公司有信心在到期日或之前偿还、延长或再融资其债务和优先股。
柯达预计，通过计划中的交易，将在明年初完成，届时公司将拥有比过去几年更强的资产负债表，几乎无净债务。所谓的“持续经营披露”是会计规则要求的技术性报告，公司将继续履行对所有养老金计划参与者的义务。
在养老金计划终止方面，柯达已做好准备，并预计在 2025 年 12 月交易关闭时收到约 5 亿美元的资产，其中约 3 亿美元为现金，约 2 亿美元为将转换为现金的投资资产。柯达目前有 4.77 亿美元的定期债务和 1 亿美元的优先股。根据贷款文件，公司必须使用预计在 12 月收到的 3 亿美元现金偿还定期债务，然后解决剩余的 1.77 亿美元定期债务和 1 亿美元优先股。
除了减少债务和利息支出外，柯达认为其业务稳定且自给自足。在 2025 年第二季度，公司仅使用了 300 万美元现金，主要用于投资增长计划，与第一季度相比有显著改善，且公司不计划依赖养老金计划交易的现金来资助运营。简而言之，柯达对其履行所有义务的计划充满信心，并对未来发展持乐观态度。
有关此主题的更详细信息，请参阅柯达于 2025 年 8 月 11 日向 SEC 提交的 10-Q 表格，包括该文件中关于前瞻性声明的警告性语言，这些声明在此被引用。
HN 热度 275 points | 评论 124 comments | 作者：whicks | 8 hours ago #
https://news.ycombinator.com/item?id=44901330
- Kodak 迅速透明地回应了财务问题，显示了公司的积极态度。
- 有关 Kodak 衰落的讨论已持续多年，此次事件被媒体过度解读。
- 财务报告中的某些表述是标准的风险提示语言，不应被过度解读。
- 即使财务报告中有负面表述，Kodak 有足够的收入，不太可能被债权人强制清算。
- 公司可能会通过债务重组或再融资来解决问题。
- 会计标准要求公司在财务报告中包含某些警示性声明，但这并不意味着公司真的面临倒闭。
- 即使公司可能被收购，也不意味着公司会立即倒闭。
- 财务报告中的某些表述是审计标准的一部分，不应被视为公司真实状况的直接反映。
- 许多看似稳定的公司也会在财务报告中使用类似的风险提示语言。
- 公司可能正在进行债务重组计划，以避免破产。
Hacker News 精彩评论及翻译 #
Arch shares its wiki strategy with Debian #
https://news.ycombinator.com/item?id=44899196
The Arch wiki is one of the best things the Linux community has produced. It’s like a modern, improved and more complete version of TLDP.
I haven’t even used Arch on any of my machines but can’t count how many times I’ve found their wiki useful for my workstations, servers and even custom Yocto-built systems. Arch supports many ways of doing a thing, so whatever tool I’m dealing with, Arch probably supports that and documents it on the wiki. And Arch makes few changes from upstream so the wiki instructions are often applicable on any distro. Sure, it takes some familiarity to recognize when something is e.g. Debian-specific and should be done in a Debian way, but as a user fairly familiar with Linux, I often find Arch to be the best source of documentation.
ACS_Solver
Arch Wiki 是 Linux 社区产出的最佳成果之一。它就像 TLDP 一个现代化、改进且更完整的版本。
我甚至从未在任意机器上使用过 Arch，却数不清有多少次在处理我的工作站、服务器，甚至是定制化的 Yocto 构建系统时，发现他们的 Wiki 非常有用。Arch 支持完成一件事的多种方式，因此无论我使用什么工具，Arch 大概率都支持该工具，并在 Wiki 上记录了相关文档。而且 Arch 很少对上游进行修改，因此 Wiki 上的指南通常适用于任何发行版。当然，要识别某些东西（例如特定于 Debian 的）并采用相应的方式（如 Debian 的方式）处理，需要一定熟悉度，但作为一名相当熟悉 Linux 的用户，我常常发现 Arch 是最佳的文档来源。
PYX: The next step in Python packaging #
https://news.ycombinator.com/item?id=44895593
Well I started with pip because it’s what I was told to use. But it was slow and had footguns. And then I started using virtualenv, but that only solved part of the problem. So I switched to conda, which sometimes worked but wrecked my shell profile and often leads to things mysteriously using the wrong version of a package. So someone told me to use pipenv, which was great until it was abandoned and picked up by someone who routinely broke the latest published version. So someone told me to use poetry, but it became unusably slow. So I switched back to pip with the built-in venv, but now I have the and problems I had before, with fewer features. So I switched to uv, because it actually worked. But the dependency I need is built and packaged differently for different operating systems and flavor of GPU, and now my coworkers can’t get the project to install on their laptops.
I’m so glad all the Python packaging challenges are “solved”
bastawhiz
好吧，我从 pip 开始，因为有人告诉我应该用这个。但它的速度很慢，而且还容易出问题（有‘坑’）。然后我开始用 virtualenv，但这只解决了部分问题。于是我换成了 conda，它有时能用，但会搞乱我的 shell 配置文件，而且经常导致一些东西神秘地使用了错误版本的包。然后有人让我用 pipenv，它本来很棒，直到它被原作者抛弃，后来接手的人还老是破坏最新发布的版本。于是又有人让我用 poetry，但它变得慢到无法忍受。所以我又回到了 pip 和内置的 venv，但现在我又遇到了以前同样的问题，而且还少了些功能。于是我换到了 uv，因为它确实能用。但是，我需要的那个依赖项，会根据不同的操作系统和 GPU 种类进行不同的构建和打包，现在我的同事们没法在他们的笔记本电脑上把项目安装成功了。我真高兴，所有的 Python 打包难题都‘解决了’。
Illinois limits the use of AI in therapy and psych… #
https://news.ycombinator.com/item?id=44893926
Here is what Illinois says:
I get the impression that it is now illegal in Illinois to claim that an AI chatbot can take the place of a licensed therapist or counselor. That doesn’t mean people can’t do what they want with AI. It only means that counseling services can’t offer AI as a cheaper replacement for a real person.
Am I wrong? This sounds good to me.
hathawsh
伊利诺伊州的规定如下： https://idfpr.illinois.gov/content/dam/soi/en/web/idfpr/news/2025/2025-08-04-idfpr-press-release-hb1806.pdf
我的印象是，在伊利诺伊州，现在声称AI聊天机器人可以取代持牌治疗师或辅导员是违法的。但这并不意味着人们不能随心所欲地使用AI。它只意味着咨询服务不能将AI作为一种比真人更便宜的替代品。
我的理解有误吗？我觉得这听起来不错。