ATProto Browser

Record data

{
  "uri": "at://did:plc:j7ri4agbraq6g3dfmyccxep2/app.bsky.feed.post/3loouqah7v22s",
  "cid": "bafyreicpydsi4znk43vfgpl5imiqfy2nc7cyzlupx3qrn5oem3rtkgr7g4",
  "value": {
    "text": "yeah, like every refinement type system ^^ (e.g. f* and liquid haskell)",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreiaepfywkwygsmgyonxzlie362k76mto5atjetyvnmlqvvfqiqgmhi",
        "uri": "at://did:plc:rmplvmo2uq2mlth23rqhgcvx/app.bsky.feed.post/3loouhhqkl22v"
      },
      "parent": {
        "cid": "bafyreiaepfywkwygsmgyonxzlie362k76mto5atjetyvnmlqvvfqiqgmhi",
        "uri": "at://did:plc:rmplvmo2uq2mlth23rqhgcvx/app.bsky.feed.post/3loouhhqkl22v"
      }
    },
    "createdAt": "2025-05-08T21:38:41.885Z"
  }
}