# The internet discovers TLA+. Now what? | Reasonable

<https://reasonable.io/blog/tla-tutorial/>

- Host: [reasonable.io](https://links.thingelstad.xyz/hosts/reasonable.io/)
- Saved: September 28, 2026 (2026-09-29T00:56:45Z)
- Record: https://links.thingelstad.xyz/links/5f95da1bade4/
- JSON: https://links.thingelstad.xyz/links/5f95da1bade4.json

## What Jamie wrote

I had never heard of TLA+. Looks interesting.

## Facts

- Kind: [Page](https://links.thingelstad.xyz/kinds/page/)

## Appears in

- [WT352: WT352 — Interviewing Otto for the Job](https://weekly.thingelstad.com/archive/352/), Briefly

## Saved the same week

- [Don’t confuse space and time.](https://links.thingelstad.xyz/links/5b8530a78b4e/) (cjchilvers.com, September 28, 2026)
- [Kids turned the comment section of an NPR podcast into a group chat | The Verge](https://links.thingelstad.xyz/links/b6c23f3fc1b4/) (theverge.com, September 28, 2026)
- [It’s sinister that Meta’s Muse AI mascot is so cute | The Verge](https://links.thingelstad.xyz/links/6cc44afe1983/) (theverge.com, September 28, 2026)
- [What Even Is An OS Now? — A Final Ward](https://links.thingelstad.xyz/links/4b85cd620462/) (sockpuppet.org, September 28, 2026)
- [Plan mode is dead | Ayman Nadeem](https://links.thingelstad.xyz/links/e9873e4f0928/) (aymannadeem.com, September 28, 2026)

## Elsewhere

- Wayback Machine: https://web.archive.org/web/*/https://reasonable.io/blog/tla-tutorial/