{
  "id": "5f95da1bade4",
  "url": "https://reasonable.io/blog/tla-tutorial/",
  "title": "The internet discovers TLA+. Now what? | Reasonable",
  "note": "I had never heard of TLA+. Looks interesting.",
  "voice": "jamie",
  "saved": "2026-09-29T00:56:45Z",
  "host": "reasonable.io",
  "kind": "page",
  "tags": [],
  "record": "https://links.thingelstad.xyz/links/5f95da1bade4/",
  "markdown": "https://links.thingelstad.xyz/links/5f95da1bade4.md",
  "issues": [
    {
      "number": 352,
      "slug": "352",
      "title": "Interviewing Otto for the Job",
      "date": "2026-10-03T12:00:00Z",
      "section": "Briefly",
      "position": 16,
      "url": "https://weekly.thingelstad.com/archive/352/",
      "page": "https://links.thingelstad.xyz/issues/352/"
    }
  ],
  "connections": {
    "same_host": {
      "count": 0,
      "page": "https://links.thingelstad.xyz/hosts/reasonable.io/",
      "nearest": []
    },
    "same_week": {
      "count": 25,
      "nearest": [
        {
          "id": "5b8530a78b4e",
          "title": "Don’t confuse space and time.",
          "url": "https://www.cjchilvers.com/blog/dont-confuse-space-and-time/",
          "record": "https://links.thingelstad.xyz/links/5b8530a78b4e/"
        },
        {
          "id": "b6c23f3fc1b4",
          "title": "Kids turned the comment section of an NPR podcast into a group chat | The Verge",
          "url": "https://www.theverge.com/entertainment/1001056/this-american-life-npr-kids-group-chat-comment-section",
          "record": "https://links.thingelstad.xyz/links/b6c23f3fc1b4/"
        },
        {
          "id": "6cc44afe1983",
          "title": "It’s sinister that Meta’s Muse AI mascot is so cute | The Verge",
          "url": "https://www.theverge.com/column/999999/optimizer-meta-muse-ai-cute?view_token=eyJhbGciOiJIUzI1NiJ9.eyJpZCI6IkFlVU9GbXpuZFUiLCJwIjoiL2NvbHVtbi85OTk5OTkvb3B0aW1pemVyLW1ldGEtbXVzZS1haS1jdXRlIiwiZXhwIjoxNzkwNzAxNDAwLCJpYXQiOjE3OTAyNjk0MDB9.chaHCz3wgiI4jn9EzA11I7fHhqQkEmn17aCiXtOBPEU",
          "record": "https://links.thingelstad.xyz/links/6cc44afe1983/"
        },
        {
          "id": "4b85cd620462",
          "title": "What Even Is An OS Now? — A Final Ward",
          "url": "https://sockpuppet.org/blog/2026/09/25/what-even-is-an-os-now/",
          "record": "https://links.thingelstad.xyz/links/4b85cd620462/"
        },
        {
          "id": "e9873e4f0928",
          "title": "Plan mode is dead | Ayman Nadeem",
          "url": "https://www.aymannadeem.com/artificial/intelligence,/developer/tools/2026/09/24/plan-mode-is-dead.html",
          "record": "https://links.thingelstad.xyz/links/e9873e4f0928/"
        }
      ]
    },
    "mentions": [],
    "mentioned_by": [],
    "saved_twice": []
  },
  "elsewhere": {
    "wayback": "https://web.archive.org/web/*/https://reasonable.io/blog/tla-tutorial/"
  }
}