ATProto Browser

Record data

{
  "uri": "at://did:plc:7o7wempidhea35g3wiaxenoi/app.bsky.feed.post/3lj5hlvwpvc2d",
  "cid": "bafyreie4qq6gxqpjqkiemvuiruwdzzhm4x6wvfveppwsfuta2ewywz3fda",
  "value": {
    "text": "This will be my birthday gift! A tool written by a french from Inria and someone from Microsoft that can convert C to safe Rust. arxiv.org/abs/2412.15042",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://arxiv.org/abs/2412.15042",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreibmwume2q2jvfyf5jvz62lbuyuyxmwh2ewnlggfcjyro263dps63m"
          },
          "mimeType": "image/jpeg",
          "size": 103016
        },
        "title": "Compiling C to Safe Rust, Formalized",
        "description": "The popularity of the Rust language continues to explode; yet, many critical codebases remain authored in C, and cannot be realistically rewritten by hand. Automatically translating C to Rust is thus ..."
      }
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreibidvtp3i3knbkietrxwclklyzriuvbdanphxmpsgh6qyitum5im4",
        "uri": "at://did:plc:3danwc67lo7obz2fmdg6jxcr/app.bsky.feed.post/3lj3p2wkgas2x"
      },
      "parent": {
        "cid": "bafyreicboj4ejyidfsiej42c4tsk4ld24jg3hviguce6xn4cefyimaqcne",
        "uri": "at://did:plc:3danwc67lo7obz2fmdg6jxcr/app.bsky.feed.post/3lj546bwr2s2e"
      }
    },
    "facets": [
      {
        "index": {
          "byteEnd": 153,
          "byteStart": 129
        },
        "features": [
          {
            "uri": "https://arxiv.org/abs/2412.15042",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-02-27T08:22:24.305Z"
  }
}