Hacker News 中文摘要

比利时决定停止核电站退役计划，将与运营商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：表达效率、类型系统能力和开发可预测性。

该研究探讨了大语言模型微调过程中可能引发对受版权保护书籍的逐字回忆问题。项目提供了数据处理、微调脚本、记忆评估等代码，包含部分示例文件但不含完整书籍内容。研究论文已发布在arXiv上，并提供了演示链接。

作者偶然发现国际执法机构运营的虚假DDoS租赁网站"蜜罐"，在调查过程中导致对方惊慌关闭该站点。该行动由多国警方联合开展，荷兰警方主要负责基础设施运营，已查获约100个域名并逮捕数人。