Aiden Bai 发布 TLA-ts：纯 TypeScript 重写 TLC，模型检查提速 2 倍
aidenybai · x · 2026-10-29
作者发布了 TLA-ts——用 100% TypeScript 编写的 TLC 替代品，可直接 drop-in 替换官方 Java 版 TLA+ 模型检查器，速度提升约 2 倍，且能在浏览器中运行。
配图展示了 API 用法：通过 check() 传入 TLA+ 模块源码和 config 字符串，即可得到不变量违反结果与反例 trace 长度。动机是官方 TLC 基于 Java、无法在浏览器使用且速度慢。
所属事件:Aiden Bai 开源 TLA-ts：TypeScript 版 TLA+ 检查器提速 2 倍(2 条相关)→
「编程与Agent」频道最新
- 纳德拉发布 Copilot Fusion：快 40%、成本降 77%，重构智能体 SDLC — satyanadella · 2026-10-29
- 创业新标准：如果 agent 点几下就能做到，你的公司还剩什么 — dunkhippo33 · 2026-10-29
- Hustle Fund 合伙人:vibe coding 终结 2.5 万美元 CRM 溢价时代 — dunkhippo33 · 2026-10-29
- GitHub 发布 Copilot Projects：跨仓库项目级 AI 编码代理上线 — 0xkarasy · 2026-10-29
- Lor 开启私测:用成百上千 agent 包揽整个 AI 实验室的代码与实验 — vjkaruna · 2026-10-29
- Fizgig H3 静态图 Latent 节点可嵌入任意 ComfyUI 工作流 — robertwellesley · 2026-10-29