{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreieygctt7t4pqk5s2xosspb5e3phqxqyrbiumh6shauxjetpt2atv4",
    "uri": "at://did:plc:wvbzyoyqr6q5pgezutm4sf3v/app.bsky.feed.post/3mg6hzc3nlpz2"
  },
  "path": "/blog/2026/02/28/when-ai-writes-the-worlds-software.html",
  "publishedAt": "2026-03-03T15:58:52.000Z",
  "site": "https://leodemoura.github.io",
  "tags": [
    "formalmethods",
    "vibecoding",
    "logiclangs",
    "Comments"
  ],
  "textContent": "Comments",
  "title": "When AI Writes the World's Software, Who Verifies It?"
}