ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3lkbqxptkwc24",
  "cid": "bafyreidw43i2hmxbnjsvr6qzis4enpy7w5x5hv2eusaxfn2x76affqx7ae",
  "value": {
    "text": "👩‍💻Lean users: Lean 4.17 adds inlay hints for automatically-inserted implicit parameters: With autoImplicit enabled you’ll see in-editor visual feedback for parameters that Lean has automatically inferred, improving readability and making code less error-prone!\n\n#LeanLang #LeanProver #DeveloperTools",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreigzsrecc57jnx43vvpve42lrgflieknprm2byp54yyurbov4x5zvu"
            },
            "mimeType": "image/jpeg",
            "size": 70989
          },
          "aspectRatio": {
            "width": 448,
            "height": 276
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 282,
          "byteStart": 273
        },
        "features": [
          {
            "tag": "LeanLang",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 294,
          "byteStart": 283
        },
        "features": [
          {
            "tag": "LeanProver",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 310,
          "byteStart": 295
        },
        "features": [
          {
            "tag": "DeveloperTools",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      }
    ],
    "createdAt": "2025-03-13T18:45:54.822Z"
  }
}