ATProto Browser

Record data

{
  "uri": "at://did:plc:kirxoberra2ele3y5uok2d36/app.bsky.feed.post/3lllopfxjcc2v",
  "cid": "bafyreibvslq4cazoiacull3trieor3s4dmvpeymcip44cbc7jedcn6veaa",
  "value": {
    "text": "accidentally said \"the first verified decompiler pipeline\" out loud near my local systems girlie. I guess we now have our Interactive Theorem Proving project!",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "createdAt": "2025-03-30T10:57:17.556Z"
  }
}