Hacker News 中文摘要

随着代码生产成本因AI工具而大幅下降，约一半的传统工程管理规则已失效。作者指出，虽然AI使产出代码更便宜，但工程组织是否因此显著提速尚未证实，代码审查、文档等环节并未过时。

近期大型语言模型推翻多项长期数学猜想，引发数学界精神危机。作者认为，即使AI能高效证明定理、构建理论，数学家仍将在评估、呈现和理解这些成果中发挥作用，但当前应对方式掩盖了问题的核心。

本文详细介绍了Fedora 45如何将源代码和软件包转化为可下载安装的制品，包括ISO镜像、云镜像、容器镜像和OSTree部署，并说明了整个流程从打包者提交代码到最终发布版本的过程。

开源权重模型正成为下一代AI生态的基础，美国应积极参与竞争而非自我封闭。这类似于2013年Mesosphere公司基于Apache Mesos构建开源云原生平台，但后来被Kubernetes取代的历史。Kubernetes凭借完全开源和社区力量，吸引了全球顶尖工程师，催生了大量创新和创业公司。

这是一个去中心化的点对点消息应用，采用蓝牙Mesh和Nostr协议双传输架构，支持离线与全球通信。无需账户、手机号或中央服务器，注重隐私保护，提供端到端加密。

该网站是“灭绝媒体博物馆”东京馆的官方页面，展示和收藏已灭绝或濒临灭绝的媒体设备与技术，如磁带、软盘等，旨在记录和保存这些即将消失的数字文化遗产。

MouthPad是一款定制口腔设备，通过舌头和头部细微动作实现对手持设备及电脑的免提触控操作，支持光标移动、点击、滚动和拖拽等功能。

英国人工智能安全研究所与美国人工智能标准与创新中心联合评估了月之暗面公司最新模型Kimi K3的网络能力。评估发现，Kimi K3在漏洞利用开发基准测试中表现出较强的网络攻击能力，其性能与部分前沿模型相当。

ARC Prize官网的排行榜页面，展示了ARC-AGI基准测试的验证排行榜、社区排行榜以及多个竞赛的排名情况。

圣安德鲁斯大学和纳沙泰尔大学研究发现，抹香鲸通过释放气泡调节浮力，从而在海面附近保持独特的垂直睡眠姿势。这一机制帮助它们避免海浪干扰，同时节省下潜能量。