{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreig5324cceqssozrw332p5srycok7qff7hjbs7hsc3blarmptbscjy",
    "uri": "at://did:plc:oldu4osfqstkn27t4qzsrgtf/app.bsky.feed.post/3mlf4gifq5ob2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreiduqfa6yk4qnuinj5h3go4rwt5ireuue5anppwjtnohmm5rbbqxdy"
    },
    "mimeType": "image/jpeg",
    "size": 87911
  },
  "path": "/2026/can-llms-model-real-world-systems-in-tla/",
  "publishedAt": "2026-05-08T16:21:56.000Z",
  "site": "https://www.sigops.org",
  "tags": [
    "Comments"
  ],
  "textContent": "Comments",
  "title": "Can LLMs model real-world systems in TLA+?"
}