GitHub · 去对齐工具与仓库·· 2 小时前精选AI 评分58
Hirð v0.1 发布：面向 BEAM 的类型化长时 Agent 系统语言
no-materials/hird
来源与原文
GitHub · 去对齐工具与仓库
发布时间：（北京时间）
阅读原始来源 · github.com ↗完整链接与内容说明
https://github.com/no-materials/hird
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
no-materials 发布 Hirð v0.1，一种运行在 BEAM 上的类型化语言，用 effect-row 跟踪、typed actors 和 OTP supervision 让 Agent 系统的每次工具调用与 actor 消息在类型中可见。所有工具调用无条件记录为规范 JSON 审计流，录制文件可确定性回放，作为无需维护 oracle 的回归测试和对比程序变体的固定环境；demo/agent_fleet 演示三个受监督 actor 在 Executor 崩溃后按 rest_for_one 重启并持续运行。
推荐理由
原文给出了录制回放与效果图查询的具体命令和演示结果，读者可以据此评估这套类型化 Agent 运行时是否值得上手。
来源：GitHub · 去对齐工具与仓库 · github.com