tla-ts brings TLA+ formal proofs to TypeScript, runs in browser and Node
aidenybai · x · 2026-11-03
Aiden Bai introduces TLA-ts: formally verified proofs written 100% in TypeScript. TLA+/TLC is normally limited to model checking, but tla-ts lets you write full formal proofs that run anywhere JavaScript runs — browser, Node, or Bun.
More from coding & agent
- Free map infers what every building in 77 cities is used for, built with Claude Code — Kingleyend · 2026-11-03
- Codex now defaults to cloud environments, ignoring the machine you assigned — sloppenheimer · 2026-11-03
- One Commit Touches 1241 Files, +25066/-9 Lines: A 'Yolo' AI Coding Masterpiece — tomjohndesign · 2026-11-03
- Dev shares 6-step privacy-safe analytics setup for a WhatsApp agent using SHA256-hashed IDs — petrusenko_max · 2026-11-03
- Dev embeds in-context feedback to kickoff background agents fixing his app in a couple clicks — SubtleGradient · 2026-11-03
- Grok Bot Shelf hits 978 community-shared Grok bot templates, 22 short of 1,000 — Phil_Holland · 2026-11-03