introducing TLA-ts proofs, written 100% in TypeScript
This is a dev post classified by AGK Intelligence as Languages & runtimes (a launch), kept by the Dev Radar because it carries real work, not commentary.
introducing TLA-ts proofs, written 100% in TypeScript TLA+/TLC is normally used for model checking (a subset) But now you can write full on formally verified proofs that run anywhere (browser, Node, Bun)!
Posted by Aiden Bai (70.5k followers) 1 h ago · 91 likes · 4k views · view the original post on X. Kept by the Dev Radar as Languages & runtimes.
More dev work like this
- Thinking in Traits — @rustaceans_rs
- Goodbye https://onorca.dev. Hello https://orca.dev — @orca_build
- We just released ruNNtime v0.2.0! — @swmansion
- In the year 2000, Joel Spolsky (founder of Stack Overflow) wrote a famous article titled… — @ryanlpeterman
- migrated tsgo to oj typecheck (tsrs under the hood) — @raphamorims
- `slog` has been in @golang's standard library since 2023. Most projects barely use it.… — @TechAtBloomberg
- In the next version of Bun — @bunjavascript
- In the next version of Bun — @bunjavascript
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, 9k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-02 19:02 UTC. Full method.