ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lkc7ab5uac24",
  "cid": "bafyreihi7cyl6hptxkn74exc7hqylfmhqiy7cj62vyfg64rfneqw45bu6a",
  "value": {
    "text": "Oops... Inlay hints *are* available right now, but in not in Lean 4.17 😅 Rather, you'll find them in Lean 4.18rc1 (Release Candidate 1) - which many downstream users are probably already using! 🎉\n\nThe official stable release of Lean 4.18 will be arriving in a few weeks (with inlay hints and more!)",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreidw43i2hmxbnjsvr6qzis4enpy7w5x5hv2eusaxfn2x76affqx7ae",
        "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lkbqxptkwc24"
      },
      "parent": {
        "cid": "bafyreidw43i2hmxbnjsvr6qzis4enpy7w5x5hv2eusaxfn2x76affqx7ae",
        "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lkbqxptkwc24"
      }
    },
    "createdAt": "2025-03-13T23:01:13.806Z"
  }
}