{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiaikymtlmoc3y44pj3yqo3ghei7gvm64bqnnrvobztq5b6vmtlz54",
    "uri": "at://did:plc:oldu4osfqstkn27t4qzsrgtf/app.bsky.feed.post/3mfiw5j34j662"
  },
  "path": "/blog/2026-02-16-halleyyoung-a3/",
  "publishedAt": "2026-02-18T21:10:09.000Z",
  "site": "https://risemsr.github.io",
  "tags": [
    "Comments"
  ],
  "textContent": "Comments",
  "title": "How to train your program verifier"
}