ATProto Browser

Record data

{
  "uri": "at://did:plc:kis5bnrceksghgqo5xecrntl/app.bsky.feed.post/3lmdeno3yjk2p",
  "cid": "bafyreibfdc6wrvp7tbuflmykfhfi3d73bjeu4jrwzpxyyf3c6nmu73blfi",
  "value": {
    "text": "found a legit use-case for petri nets at my job. now I'm evaluating what it'd take to write a model checker",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "createdAt": "2025-04-08T21:01:15.286Z"
  }
}