这个语言概念旨在为深度嵌套的不可变数据结构提供简洁、非修改的更新。核心思想围绕着 `alt` 关键字，它推广了运算符赋值。与其写 `x += 1`，不如写 `alt x + 1`。
真正的力量体现在自定义中缀运算符，如 `.=` 和 `]=`，它们能够优雅地更新对象属性和列表元素，*而不会*修改原始数据。例如，`alt l[1][1].age.=9` 更新嵌套猫的年龄，而不会发生变异。
这避免了为等效的不可变操作所需的冗长临时变量赋值。该语言还引入了使用波浪号 (`~`) 的中缀函数应用，例如 `alt l~push~5` 用于将元素添加到列表末尾。
作者设想一种在外观上是不可变的语言，但在逻辑上等效时，利用编译时的可变结构来提高性能，其灵感来自 Swift 和 Rust 的内存管理方法。
每日HackerNews RSS
对不起。
CXG / Sphinx （36） Excalibur （31） Fidelity （29） Mephisto （50） Novag （53） Scisys, Saitek, enz. （86） Tandy, Radio Shack （23） Diversen （103）
对不起。
## 长寿命密钥的问题 长寿命加密密钥随着时间的推移会带来日益增加的安全风险，原因在于潜在的暴露、暴力破解尝试以及最终的密码学退化。通过严格的范围限制和定期轮换来管理这些风险具有挑战性，并且常常导致运营上的麻烦——密钥泄露、文档过时，甚至轮换期间的停机。 一种更好的方法是**尽可能用短暂（短寿命）密钥替换长寿命密钥**。这会将“轮换”转化为内置功能，从而显著降低风险。例如，使用 EC2 Instance Connect 代替静态 SSH 密钥，以及使用受信任的发布者进行软件包发布，而不是静态 PyPI 令牌。 虽然消除*所有*长寿命密钥并非总是可行的（例如用于签署 SSO 断言的密钥），但减少它们的数量可以集中安全工作。这使得能够对关键基础设施进行重点加固，并能够以更严格、更谨慎的方式进行安全管理——将安全优先级分配给专门的团队，而不是给普通工程师增加负担。 定期轮换（至少每季度一次）可以培养运营肌肉记忆并改进工具。最终，最大限度地减少长寿命密钥可以减少重复性工作并加强整体安全态势。
对不起。
FusionCore：ROS 2 传感器融合（IMU、GPS 和编码器）
FusionCore: ROS 2 sensor fusion (IMU and GPS and encoders)
2 天前
## FusionCore：一个强大的ROS 2传感器融合SDK
FusionCore是一个ROS 2软件包，旨在通过智能结合IMU、轮式编码器和GPS的数据，为移动机器人提供可靠的位置估计。它解决了现有解决方案（如`robot_localization`和`fuse`）的局限性，提供了原生ECEF GPS融合、IMU偏差估计和自适应噪声协方差调整等功能——这些功能之前缺失或不完整。
该核心使用一个22维状态的无迹卡尔曼滤波器（UKF），自动估计偏差并处理传感器延迟。它具有强大的异常值抑制能力，并实时适应传感器噪声，最大限度地减少手动调整。
在NCLT数据集上的测试表明，FusionCore性能优越，在6个序列中赢得了5个，优于`robot_localization`。它包括全面的功能，如ZUPT、TF验证和诊断，并且与Nav2兼容。
FusionCore采用Apache 2.0许可，并积极维护，问题响应时间为24小时。它专为商业用途设计，并欢迎社区反馈以推动其发展。
对不起。
## 流动音乐：AI驱动的音乐创作
流动音乐是一个利用人工智能力量进行音乐创作、发布和分享的一站式平台。它提供工具，使用Lyria 3模型创作带有动态人声的完整歌曲，甚至使用Veo视频模型生成音乐视频——所有这些都不需要传统设备或专业知识。
除了歌曲创作，流动音乐还允许用户通过“Vibe-code”功能构建自定义音频工具和DAW。该平台通过歌单分享、艺人发现和关注来培养社区。
流动音乐通过学习你的音乐风格，提供混音工具、音频效果和音轨分离来个性化体验。它免费开始，无需信用卡，并为各种功能提供每日额度。本质上，它的目标是 democratize 音乐创作，使其人人可及。
## Google Flow Music 摘要
谷歌最近推出了基于人工智能的音乐生成工具“Flow Music”（flowmusic.app），在Hacker News上引发讨论。用户普遍感到不甚满意，认为其输出内容平庸，缺乏创作控制，尽管界面设计精良。许多人将其与Suno和Udio等现有平台进行不利比较，指出Flow Music在遵循提示和处理细微的音乐请求方面存在困难。
虽然该工具提供音乐视频制作等功能，但评论员强调了其局限性——难以生成特定流派（如环境音乐或前卫金属），倾向于产生公式化的结果，以及缺乏对人声时机和乐器平衡等元素的控制。
人们对谷歌放弃项目的记录以及潜在的AI生成“劣质音乐”泛滥音乐平台表示担忧。然而，一些人认为该工具的迭代能力以及它可能发展成AI辅助DAW具有潜力。最终，共识是Flow Music来得太晚，目前尚未提供比成熟竞争对手更具吸引力的优势。
启用 JavaScript 和 Cookie 以继续。
## Lightwhale 3：一个简化的 Docker 主机操作系统
Zta77 发布了 Lightwhale 3，一个免费、不可变的 Linux 系统，旨在轻松自托管 Docker 容器。它直接启动到 Docker Engine，无需传统的操作系统安装、配置和持续维护。创建者将其定位为希望无需复杂性即可自托管的解决方案，尤其是在当前 RAM 资源有限的情况下。
然而，评论者指出了一些类似的项目，例如 Flatcar Container Linux、Fedora CoreOS、Talos Linux 和 IncusOS，质疑 Lightwhale 的独特价值主张。讨论强调了简单性和功能之间的权衡，一些人提倡更强大、社区支持更完善的选项。
虽然一些人赞扬了该项目的概念，但另一些人强调*所有*软件都需要维护，即使是不可变系统也不例外。人们对补丁、升级以及缺乏传统软件包管理器表示担忧。尽管存在这些问题，但仍然存在兴趣，特别是对于那些寻求简化解决方案用于家庭服务器或 Swarm 集群的人。
彭博社 需要帮助？请联系我们 我们检测到您的计算机网络存在异常活动 要继续，请点击下面的框来确认您不是机器人。 为什么会发生这种情况？ 请确保您的浏览器支持 JavaScript 和 cookies，并且没有阻止它们加载。 有关更多信息，您可以查看我们的服务条款 和 Cookie 政策。 需要帮助？ 如对本消息有疑问，请联系 我们的支持团队并提供以下参考ID。 阻止参考ID：f38c4022-4028-11f1-bd12-3a8bfeee34a7 通过彭博社订阅，随时掌握最重要的全球市场新闻。 立即订阅
## 谷歌大力投资 Anthropic，预示着人工智能竞争与算力担忧
谷歌计划向领先的人工智能公司 Anthropic 投资高达 400 亿美元，首期 100 亿美元，后续根据业绩再投入 300 亿美元。 此举紧随亚马逊的类似投资之后，表明 Anthropic 面临算力瓶颈，需要大量资金来扩大规模。
讨论的中心在于 Anthropic 近期的成功是否可持续，一些人质疑其高估值是否合理。 许多人认为谷歌的投资并非为了收购竞争对手，而是为了确保获得 Anthropic 的算力需求，并对抗 Nvidia 加强其 TPU 芯片业务。
这项投资也引发了关于更广泛人工智能格局的争论，人们担心估值虚高、潜在的反垄断问题以及基础模型的商品化。 一些人认为谷歌此举是战略性布局，旨在对冲风险并确保其在快速发展的人工智能竞赛中不落后，而另一些人则质疑巨额投资是否合理。 最终，这笔交易凸显了人工智能领域的激烈竞争和大量资本涌入。
## HNswered：你的 Hacker News 回复收件箱
HNswered 是一个 Chrome 扩展程序，为你的 Hacker News (HN) 公开评论和文章的直接回复提供了一个专门的侧边栏收件箱。只需设置你的 HN 用户名 – 无需登录或服务器连接！
它会持续监控公开的 HN 数据，本地匹配回复到你发表的内容，即使在评论线程的深处。该扩展程序会显示未读徽章，并允许你过滤已读和未读的回复。
HNswered 完全在你的浏览器内运行，本地存储数据以保护隐私和安全。它易于使用 – 提供了一个预构建版本，无需 Node 或构建步骤。该项目优先考虑透明度，并提供现成的安全审计。本质上，它利用 HN 现有的父回复结构来通知你对*你的*贡献的回复。
对不起。
对不起。
## 从沮丧到自动化：Driggsby & Claude 代码例程
受限于一个不可靠的DIY财务跟踪系统——使用Codex CLI构建且容易出错——Matt构建了Driggsby，一个利用Plaid进行安全金融账户访问的7.5万行Rust应用程序。最初通过与Claude交互使用，他意识到自动化常见任务（如净资产跟踪和余额审查）的潜力。
Claude代码例程的发布带来了突破。与需要复杂基础设施的传统代理循环不同，例程允许简单的基于提示的自动化。Matt成功地重现了他想要的每日财务概览邮件，克服了通过自定义Driggsby工具发送邮件的初始障碍。
除了每日邮件，他迅速扩展到信用卡交易的每周异常检测以及支票账户流出的每日监控。简易的设置甚至让他的注册会计师妻子也能构建自己的自定义自动化。
Matt强调，例程的力量在于其低实验门槛——允许用户快速部署和完善自动化，而无需大量的基础设施开销，最终释放了数据驱动洞察的新可能性。