ATProto Browser

Record data

{
  "uri": "at://did:plc:rhguh3itfxkwccuulouhdqcu/app.bsky.feed.post/3lotcse5i6s2o",
  "cid": "bafyreiaos3s2exebr2cb76e6u7o7wpz35eqksqmm6zojbibxehgird524e",
  "value": {
    "text": "Are we serious about using TLA+ for performance modeling, i.e. statistical or probabilistic properties? emptysqua.re/blog/are-we-...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreig7zikt3umcxzcas2u6b44cgkmft3rzx6vah2k6hnddlcqbtdr4z4"
          },
          "mimeType": "image/jpeg",
          "size": 479262
        },
        "title": "Are We Serious About Using TLA+ For Statistical Properties?",
        "description": "Should the temporal logic of actions also do performance modeling?"
      }
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 132,
          "byteStart": 104
        },
        "features": [
          {
            "uri": "https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-05-10T16:01:04.208Z"
  }
}