{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreifp4rt5w4u5jnkodx2r3sogop73hw36lp462ndoxdzmzn77ql4fce",
    "uri": "at://did:plc:wvbzyoyqr6q5pgezutm4sf3v/app.bsky.feed.post/3mjfgdznwkpd2"
  },
  "path": "/posts/log-who-watches-the-watchers.html",
  "publishedAt": "2026-04-13T16:04:27.000Z",
  "site": "https://kirancodes.me",
  "tags": [
    "security",
    "formalmethods",
    "plt",
    "vibecoding",
    "Comments"
  ],
  "textContent": "Comments",
  "title": "Lean proved this program was correct; then I found a bug"
}