ATProto Browser

Record data

{
  "uri": "at://did:plc:ure4qdue3bs7xqaugjwmw3nr/app.bsky.feed.post/3lhmhhhezcs2n",
  "cid": "bafyreihrgjtcfbrzrsxesbtfnrqzeewj6d6zuawkvak3nqlqhuoezeghka",
  "value": {
    "text": "#DARPA just announced a forthcoming program entitled \"Exponentiating Mathematics\", focusing on challenges to auto-formalization (and auto-decomposition of large proofs into small lemmas).  The preliminary announcement (still short on many details) can be found at sam.gov/opp/4def3c13...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://sam.gov/opp/4def3c13ca3947069b",
        "title": "SAM.gov",
        "description": ""
      }
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 6,
          "byteStart": 0
        },
        "features": [
          {
            "tag": "DARPA",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 287,
          "byteStart": 264
        },
        "features": [
          {
            "uri": "https://sam.gov/opp/4def3c13ca3947069b",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-02-07T20:39:27.647Z"
  }
}