Hacker News 中文摘要

Meta因肯尼亚外包公司Sama员工爆料在AI训练中看到智能眼镜用户隐私画面（如上厕所和性行为）后，终止了与Sama的合作并导致千余人失业。Meta称是因Sama未达标准，但肯尼亚劳工组织质疑这是报复行为。Sama否认未达标指控。Meta未回应报复指控，仅重申终止合作是因标准不符。

BidProwl是一个聚合政府拍卖信息的平台，整合了GSA、GovDeals等30余家拍卖源的7.5万条实时清单，涵盖全美50州。平台每日更新两次，提供拍卖品评分系统，直接链接原始拍卖，不收取佣金。用户可按类别或地区浏览各类政府剩余资产拍卖。

比利时决定停止核电站退役计划，将与运营商ENGIE谈判国有化事宜，以保障能源安全与供应自主。政府计划收购全部7座核反应堆及相关资产，并考虑新建核电站，改变2003年制定的2025年全面弃核政策。

GCC 16版本带来了多项改进，包括对Solaris平台的数据类型调整、线程选项变更，移除了JSON诊断格式改用SARIF标准。新增了链接时优化功能，改进了虚拟化处理。这些变化可能影响代码兼容性，建议用户查阅移植指南。

Vera是一种专为大型语言模型(LLM)设计的编程语言，旨在帮助LLMs编写代码。该项目托管在GitHub平台上，展示了AI代码创建领域的最新进展。

IBM发布开源企业级语言模型Granite 4.1系列，其中80亿参数的密集架构模型性能媲美其前代320亿参数模型。该系列采用Apache 2.0许可，基于15万亿token训练数据，展现了高效的数据处理能力。这一突破性表现可能源于其优化的训练流程和严格的数据过滤机制。

Mozilla在GitHub上讨论Prompt API标准提案，该提案旨在规范AI提示交互的接口标准，相关讨论涉及技术实现和标准化立场。

Mike是一款开源法律AI工具，提供类似Harvey和Legora的功能但无需企业合约。它具有智能助手聊天界面、项目管理和表格审查等功能，支持用户使用自己的AI模型密钥，保持对数据的完全控制。

细菌的基因组拉直后长度远超细胞本身，如大肠杆菌的基因组可延伸至月球往返多次。细胞内部极其拥挤，所有生化分子紧密堆积、相互碰撞，完全不同于教科书描绘的宽敞空间。生物学家比喻细胞更像一个塞满食材的墨西哥卷饼，而非空旷的液体环境。这种高度拥挤却高效运转的状态令人惊叹。

文章建议函数式程序员关注Zig语言，认为其编译时计算能力能有效减少代码噪音，帮助专注领域逻辑；同时Zig的类型系统支持构建正确性强的系统，且语言设计能减少开发中的意外情况。作者通过三个维度评估Zig：表达效率、类型系统能力和开发可预测性。