ATProto Browser

Record data

{
  "uri": "at://did:plc:cbkjy5n7bk3ax2wplmtjofq2/app.bsky.feed.post/3lnl2g6w4a22c",
  "cid": "bafyreibusvz2q7mgm2gcddcpdjo2ayimcosuieqgis7hwqabiywivg7xcu",
  "value": {
    "text": "\"Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct.\" Clingo for rust when?",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://github.com/verus-lang/verus",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreif7fpjh6p4uk3pysxraxacm76dctkws7wpbcijknjxeqsux6xpffu"
          },
          "mimeType": "image/jpeg",
          "size": 279669
        },
        "title": "GitHub - verus-lang/verus: Verified Rust for low-level systems code",
        "description": "Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub."
      }
    },
    "langs": [
      "en"
    ],
    "createdAt": "2025-04-24T15:44:36.599Z"
  }
}