Aiden Bai 发布 tla-ts：纯 TypeScript 写 TLA+ 形式化证明
aidenybai · x · 2026-11-03
Aiden Bai（作者 of Anthropic 的 research on agents）介绍 TLA-ts：用 100% TypeScript 编写并运行 TLA+ 形式化证明。TLA+/TLC 传统上只用于模型检查这一子集，新工具让完整形式化验证证明可在浏览器、Node、Bun 等任何 JS 运行环境执行。
「编程与Agent」频道最新
- 开发者做 Claude Code 伴侣角色：$12 生成动画还能变卡通讲解视频 — OdinLovis · 2026-11-03
- 原型工具：自动朗读 Claude Code 回答，并用 H3 Max 生成 1939 风格讲解视频 — OdinLovis · 2026-11-03
- KOL 点破职业套利窗口：老板半懂 AI 时你最能超神 — brandon_galang · 2026-11-03
- LangChain Interrupt 27 Agent 大会明年 3 月旧金山举办 — LangChain · 2026-11-03
- 用 Agent 当项目经理:一条 prompt 自动产出进度汇报+甘特图幻灯 — nlarusstone · 2026-11-03
- 开源 MCPlama 把 MCP 权限拓扑画成一张可交互网络图 — kirto_am · 2026-11-03