ATProto Browser

Record data

{
  "uri": "at://did:plc:ure4qdue3bs7xqaugjwmw3nr/app.bsky.feed.post/3lo4tvzz4zc2h",
  "cid": "bafyreibvjcvup73th4ji6fhxqshwmd4nzrjdypdvh4ytrvuzmtl2gaak4m",
  "value": {
    "text": "DARPA's \"Exponentiating mathematics\" (expMath) program, which is launching a challenge to develop and evaluate \"AI collaborators\" for assist in decomposing and formalizing informal mathematical proofs, is now taking short abstract proposal submissions: sam.gov/opp/869c8d73...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://sam.gov/opp/869c8d7351c04234be",
        "title": "SAM.gov",
        "description": ""
      }
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 276,
          "byteStart": 253
        },
        "features": [
          {
            "uri": "https://sam.gov/opp/869c8d7351c04234be",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-05-01T17:36:07.424Z"
  }
}