{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreicgd4rp7xlmbm3ptzyvmvdfhbgklqdcdr4g5ud3yid4i25k33l62m",
    "uri": "at://did:plc:wvbzyoyqr6q5pgezutm4sf3v/app.bsky.feed.post/3mmb7lbap6gw2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreig7fewnisz6obpj6zxlsltp2adxsmfqdgbnhkdftcpqcyqbrg6e3a"
    },
    "mimeType": "image/png",
    "size": 59478
  },
  "path": "/blog/how-we-used-quint-to-find-over-10-bugs-in-sqlite",
  "publishedAt": "2026-05-19T15:43:19.000Z",
  "site": "https://turso.tech",
  "tags": [
    "databases",
    "formalmethods",
    "Comments"
  ],
  "textContent": "Comments",
  "title": "How we used Quint to find over 10 bugs in SQLite while hardening Turso"
}