Kastor 是一个厂商中立的“AI 智能体版 Terraform”，它提供了一种声明式的方法来定义、版本化和管理智能体工作流。Kastor 不会将智能体硬编码在特定的框架中，而是使用基于 HCL 的类型化规范（.agent、.tool、.prompt 文件）来创建单一事实来源。 该工具链具备两种运行模式： 1. **构建（Build）：** 将声明式规范编译为 LangGraph 等框架的可运行项目。 2. **调和（Reconcile/Plan/Apply）：** 将智能体作为长生命周期资源进行管理，提供跨托管平台的偏差检测和状态管理（计划于 v0 版本实现）。 Kastor 并非一种新的运行时，而是一个弥合智能体设计与部署之间差距的管理层。通过将基础设施配置与智能体逻辑分离，它使开发者能够维护可复现、可审查的智能体定义。 目前，Kastor 支持针对 LangGraph 的项目验证和编译。这是一个处于早期阶段的概念验证项目，未来的路线图包括直接的平台部署（AWS/Azure）以及自动化的偏差检测。开发者可以通过 Homebrew、Go 或手动安装二进制文件来开始使用。详细的文档和架构决策记录在项目的 `SPEC.md` 中。
每日HackerNews RSS
Show HN: Kastor – 用于 AI 智能体的 Terraform 风格规范 Show HN: Kastor – Terraform-style specs for AI agents
3 天前
抱歉。
Chatto 是一款全新的群组与团队聊天应用，现已正式开源并支持私有化部署。它主打轻量、快捷与隐私保护，对所有静态数据进行加密，并支持端到端加密（E2EE）的语音、视频及屏幕共享功能。该应用专为便捷部署于自有基础设施而设计，提供适用于 Linux、macOS 和 Windows 的二进制文件。
对于倾向于使用托管服务的用户，“Chatto Cloud”即将开启公测。它将提供包含自动扩容与备份的专业托管服务，并保持与私有化部署版本的完全兼容，从而避免供应商锁定。
目前 Chatto 版本为 0.4，已达到生产环境的稳定水平。后续更新将专注于审核工具及多服务器功能的改进。该项目计划在未来 6 到 12 个月内发布 1.0.0 正式版。用户可通过 Homebrew 或访问官方文档开始使用。如需获取 Chatto Cloud 公测及未来发布的最新资讯，用户可订阅该项目的低频简报。
**Chatto** 是一款新推出的自托管群聊平台，现已作为开源软件发布（后端采用 AGPL 协议，前端采用 Apache-2.0 协议）。该项目旨在为 Slack、Discord 和 Mattermost 提供一种高性能、现代化的替代方案，并强调通过紧凑的二进制文件和基于 NATS 的架构来实现便捷的自托管。
**社区讨论重点：**
* **性能与设计：** 用户称赞 Chatto 相比主流软件常有的卡顿体验，表现得更加快速、灵敏。其界面设计灵感源自行业领先产品，令新用户感到熟悉。
* **技术栈：** Chatto 使用 NATS 作为轻量级消息代理，并利用 LiveKit 提供音视频通话功能。目前该应用以渐进式 Web 应用（PWA）形式构建，桌面端和移动端的原生封装程序正处于早期开发阶段。
* **关于 AI 与“编程氛围感”（Vibe Coding）的争论：** 项目开发者 Hendrik Mans 因其技术专长以及利用智能体编程构建软件而受到认可。这引发了关于“AI 辅助开发是否能带来可持续、可维护的软件”或是否会导致“产品质量劣化”的激烈讨论。
* **功能现状：** 目前该应用尚不支持端到端加密（E2EE）和原生移动端 App，这是用户普遍关心的问题。虽然尚未实现联邦功能，但开发者正在为未来的更新探索轻量级的身份验证方案。
**CVE-2026-57589 摘要** OpenBSD 7.9 及之前版本中发现了一个严重安全漏洞。该缺陷被归类为“释放后重用”（Use-After-Free，CWE-416），存在于 `sys/kern/sysv_sem.c` 文件中。具体而言，在 `sys_semget()` 函数的 `tsleep` 调用之后会出现上下文切换引发的释放后重用问题。 此漏洞风险极大，因为它允许本地提权，可能使攻击者获得系统的 root 级访问权限。CISA 已将该漏洞的技术严重程度评估为“完全（total）”。建议用户查看 OpenBSD 官方存储库以获取针对此问题的补丁。
Robostral Navigate 是一款专为自动具身导航设计的 8B 参数新模型。与依赖深度传感器或激光雷达的传统系统不同，该模型仅凭单个 RGB 摄像头即可实现业内领先的性能。它能够成功遵循自然语言指令穿越复杂的陌生环境，在 R2R-CE 基准测试中表现优于现有的多传感器系统。 该模型通过预测摄像头视野中的目标坐标或利用局部位移指令进行导航。它完全自主构建，在 40 万条模拟轨迹上进行训练，并利用“前缀缓存”（prefix-caching）将训练速度提升了 22 倍。此外，通过在线强化学习（CISPO）的应用，该模型能够通过反复试验不断自我优化，使成功率提高了 3.2%。 Robostral Navigate 兼容轮式、足式及飞行机器人等多种机器人平台，对不同的摄像头内参和环境尺度具有强大的鲁棒性。通过证明高性能导航可以源于视觉语言基础模型，团队旨在将此模型打造为制造业、物流业和酒店业通用机器人的基础构建模块。
Mistral AI 发布了 **Robostral Navigate**，这是一款无需地图的最先进机器人导航模型。与依赖预先采集地图或激光雷达（LiDAR）的传统系统不同，该模型仅通过文本提示和 RGB 摄像头输入即可在环境中进行导航。
Hacker News 社区的反应褒贬不一：
* **技术兴趣：** 开发人员对其极简主义且与硬件无关的设计印象深刻，一些人希望它能解决业余机器人爱好者的路径规划问题。Mistral 已确认该模型甚至可以处理“返回起点”的指令。
* **商业策略：** 批评者指出，Mistral 似乎更专注于企业合作伙伴关系（工业/物流），而非个人爱好者。许多人对该模型的可靠性提出质疑，并指出在机器人领域，76% 的成功率往往不足以支持现实世界的部署，因为边缘情况频繁出现且故障代价高昂。
* **“利基”之争：** 讨论涉及了专用模型与通用模型的可行性。支持者认为，对于机器人而言，小型、本地运行的专用模型优于庞大且依赖云端的大型语言模型（LLM），因为前者具有更低的延迟、更高的成本效益和更好的隐私保护。
总体而言，虽然社区看到了 Mistral“具身智能”战略的潜力，但在模型可供更广泛测试和进行现实世界验证之前，许多人仍持怀疑态度。
我们的网站安全防护已触发拦截。如果您认为这是误判，请发送电子邮件至 [email protected]。请注明您是如何访问此网页的，并附上页面底部的 Cloudflare Ray ID。 Cloudflare Ray ID: a17fd09efefb3e35 返回 The Atlantic
《大西洋》杂志近期刊登了一篇文章，提出“阅读时代”可能只是历史上的暂时性异常，这在 Hacker News 上引发了激烈辩论。许多评论者认为，阅读并未消亡，而是在演变；尽管传统书籍的阅读量有所下降，但人们在数字平台上阅读的文字量比以往任何时候都多。
此次讨论凸显了几个核心议题：
* **“注意力危机”：** 许多参与者承认，社交媒体、短视频以及基于通知的生活方式削弱了他们进行深度、持续专注的能力。用户分享了“重拾”注意力的成功策略，例如参加读书会、卸载社交媒体，或使用电子阅读器来替代手机使用习惯。
* **重新定义读写能力：** 关于“阅读”是否必须指代实体书，各方争论不休。文章的批评者认为，将“阅读”与“读（实体）书”混为一谈属于精英主义，并指出技术文档、文章甚至字幕都是有效的阅读形式。
* **教育隐忧：** 另一些人对阅读理解能力下降的报告表示深切担忧，例如学生难以分析复杂句子或将隐喻进行字面解读，他们认为这是教育体系的失败。
最终，该社区在哀叹“深度”接触的丧失者与拥抱高效信息获取新方式者之间，依然存在分歧。
请启用 JavaScript 和 Cookie 以继续。
Cloudflare 正在开发 **Meerkat**，这是一项内部分布式共识服务，旨在管理全球控制平面的状态。在 330 多个数据中心之间管理数据，要求系统即使在网络链路故障或波动时，也能保持高容错性和强一致性（线性一致性）。 常见的共识算法（如 Raft）在不可预测的广域网中往往表现不佳，因为它们依赖于单一领导者。如果该领导者发生故障或出现网络降级，整个系统就会阻塞，直到选出新的领导者——而在全球性环境中，这一过程往往会受到不可靠超时的阻碍。 为了解决这个问题，Meerkat 使用了 **QuePaxa**，这是一种消除了对稳定领导者要求的共识算法。在 QuePaxa 中，任何副本都可以提出写入请求，只要大多数副本可达，系统就能持续运行。这种设计避免了“超时的暴政”，防止了全系统的瓶颈，使其对于互联网不可预测的延迟具有更强的弹性。 虽然 Meerkat 由于需要全球共识的往返次数而产生更高的延迟，但它非常适合处理关键的控制平面数据。Meerkat 目前处于开发阶段，正被内部用于提高系统可靠性，并将成为未来研究更新的主题。
Cloudflare 最近发布了一篇博客文章，介绍了基于 QuePaxa 协议（该协议于 2023 年 SOSP 会议上提出）的分布式共识服务“Meerkat”。与 Raft 等基于领导者的协议不同，QuePaxa 是异步且无领导者的，旨在不依赖超时机制的情况下保持活性。
然而，Hacker News 社区对此反应冷淡，持怀疑态度。批评者认为该文章过于模糊，未能阐明 Meerkat 相比现有无领导者协议（如 Paxos 的变体）有何优势，且缺乏关于其实际生产性能的细节，并指出它目前仅是一个概念验证。许多评论者认为该文章更侧重于“营销包装”和人工智能生成的趋势，而非技术实质。
工程师们强调，虽然底层的 QuePaxa 研究因其在应对波动网络条件方面的能力而引人注目，但其实现难度极大，且容易出现难以察觉的故障模式。另一些人指出，该文章未能解决全局、可线性化共识中固有的重大性能权衡问题。总的来说，社区认为该公告发布得为时尚早，建议 Cloudflare 在声称该协议具有实际用途之前，应提供更多的技术透明度和经过生产环境验证的数据。
美国食品药品监督管理局（FDA）驳回了图森环境正义工作组（TEJTF）的一项法律请愿，该请愿要求对食品中具有毒性的“永久化学物质”（PFAS）设定强制性安全限值。尽管美国环保署（EPA）已认定食品是PFAS暴露的主要来源——PFAS与癌症、免疫系统疾病及其他严重健康风险有关——但FDA坚称目前“证据不足”，无法设定可执行的阈值。 该机构计划转而采用非强制性的“行动水平”，这意味着受污染的产品无需从货架上撤下。批评人士认为，这使公众处于危险的暴露之中，因为检测显示，从海鲜、牛奶到农产品和啤酒，各类食品中普遍存在污染。倡导者特别担忧该机构过去使用的检测方法似乎低估了污染水平。在遭到拒绝后，TEJTF计划起诉FDA，理由是如果供水中的PFAS受到监管，那么食品供应中的PFAS也必须受到监管。对于那些期望政府对这些不可降解、有毒化合物进行更严格联邦监管的公共卫生倡导者来说，这一驳回决定是一个重大打击。
抱歉。
日本宇宙航空研究开发机构（JAXA）的“隼鸟2号”探测器已成功完成对小行星“鸟船”（Torifune）的高速飞掠。在本次任务中，探测器以每秒5公里的速度接近至距离小行星800米处，并拍摄了近距离影像。 该任务是继2020年隼鸟2号从小行星“龙宫”成功取样返回后的延伸项目。隼鸟2号目前正前往其最终目的地，预计于2031年抵达。JAXA旨在利用此次飞掠获取的数据，进一步提升航天器的高精度机动能力。最终，该机构计划将这些技术进步应用于“行星防御”，以开发能够偏转潜在威胁地球的小行星的能力。JAXA计划在近期发布关于此次“鸟船”飞掠任务的更多细节及相关影像。
抱歉。
一家名为 Deep Green 的初创公司正在通过在英国游泳池现场安装小型、洗衣机大小的数据中心，帮助其应对飙升的能源成本。这些“数字锅炉”利用计算机服务器（用于处理人工智能和机器学习数据）产生的热量来加热泳池水。
该过程将计算机浸入矿物油中，由矿物油捕捉热量，并通过热交换器将水温加热至 30°C。Deep Green 免费为休闲中心提供该设备，甚至还会承担这些设备的电费。
对于像埃克斯茅斯休闲中心（Exmouth Leisure Centre）这样面临能源账单可能增加 10 万英镑的设施来说，这种创新的合作方式提供了一条至关重要的生命线。自 2019 年以来，由于成本上升，英国已有 65 家游泳池关闭，而该举措为数据中心余热浪费这一行业顽疾提供了切实可行的解决方案。目前，英格兰已有另外七家游泳池加入了该计划，凸显了重新利用工业余热以支持重要公共基础设施这一日益增长的趋势。
抱歉。