ATProto Browser

{
  "text": "I can barely find my way around tools like Rocq, Lean, or Agda, but I am really excited about this field of research! I am very much looking forward to your work!",
  "$type": "app.bsky.feed.post",
  "langs": [
    "en"
  ],
  "reply": {
    "root": {
      "cid": "bafyreidhhiikm55cgpb654gzm67mq645bbkcmrwgdid3wjux4isme3cptu",
      "uri": "at://did:plc:i32jjsch6xqcguzsf2lgbfyu/app.bsky.feed.post/3lp3cwlhonk2y"
    },
    "parent": {
      "cid": "bafyreidhhiikm55cgpb654gzm67mq645bbkcmrwgdid3wjux4isme3cptu",
      "uri": "at://did:plc:i32jjsch6xqcguzsf2lgbfyu/app.bsky.feed.post/3lp3cwlhonk2y"
    }
  },
  "createdAt": "2025-05-13T21:45:38.010Z"
}