A 2× faster drop-in replacement for TLC, written 100% in TypeScript
This is a dev post classified by AGK Intelligence as Testing & observability (a tool drop), kept by the Dev Radar because it carries real work, not commentary.
Introducing TLA-ts A 2× faster drop-in replacement for TLC, written 100% in TypeScript Why? TLA+ for formal verification and model checking is great!... but is written in Java (ew), unusable in browser, and slow
Posted by Aiden Bai (70.6k followers) 2 days ago · 431 likes · 34.6k views · view the original post on X. Kept by the Dev Radar as Testing & observability.
More dev work like this
- https://x.com/i/article/2116237202783186944 — @posthog
- The best way to speed up your CI is to run only the tests that matter. — @o_kwasniewski
- first mega QA is live with @theo 🔥 — @greg_rog
- Announcing Dagger for GitHub. — @dagger_io
- Did you miss our recent workshop on debugging agents in different environments? — @sentry
- Stop overpaying for slow CI — @hanghuang_
- A coding agent built an RSVP website from a single prompt. — @techNmak
- e2e just crossed 500k weekly downloads on npm 🔥 — @o_kwasniewski
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 20:27 UTC. Full method.